Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 161
Sie haben nicht gefunden, wonach Sie gesucht haben? Dann versuchen Sie es doch mit einer Fernleihe oder machen Sie einen Kaufvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
computer programs -- verification
70
computer programs--verification
14
real-time data processing
13
verification
11
computer programs verification
10
programming languages (electronic computers)
10
mehr ...
analyse statique
7
computational complexity
7
computer programming
7
computer software -- development
7
information and computing sciences not elsewhere classified
7
machine theory
7
other information and computing sciences not elsewhere classified
7
computer programs -- correctness
6
computer programs. verification
6
java (computer program language)
6
logique temporelle
6
machine design -- congresses
6
parallel programs (computer programs) -- verification
6
systems engineering
6
temps reel
6
analyse
5
aspect-oriented programming
5
automate
5
completion
5
computer algorithms
5
computer programs -- testing
5
computer science
5
computer security
5
holisme
5
weniger ...
Verlag
university of malta. faculty of ict
18
hal ccsd
9
university of malta
6
air force institute of technology
5
university of oslo. department of informatics
4
ccsd
3
mehr ...
massachusetts institute of technology
3
springer berlin heidelberg
3
springer, cham
3
stellenbosch : stellenbosch university
3
universitat ulm
3
universite libre de bruxelles
3
universite libre de bruxelles, faculte des sciences - informatique, bruxelles
3
university of oxford
3
bilkent university
2
faculty of information and communication technology. department of computer science
2
institute of electrical and electronics engineers inc.
2
monterey, california. naval postgraduate school
2
springer nature switzerland ag
2
springer, berlin, heidelberg
2
springer-verlag berlin, heidelberg
2
universitat ulm. fakultat fur ingenieurwissenschaften und informatik
2
university of st andrews
2
university of stirling
2
university of ulm. faculty of engineering and computer science
2
unsw, sydney
2
virginia polytechnic institute and state university
2
acm
1
animo repository
1
argonne national laboratory
1
weniger ...
Sprache
Sammlung
University Of Malta: Oar@Um / L-Universita Ta' Malta
55
The University Of Texas At Austin: Texas Scholarworks
10
Kilthub Research From Carnegie Mellon University
7
Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe)
4
Oparu (Open Access Repository Of Ulm University)
3
Stellenbosch University: Sunscholar Research Repository
3
mehr ...
Universite De Rennes 1: Publications Scientifiques (Hal)
3
University Of North Texas: Unt Digital Library
3
University Of Stirling: Stirling Digital Research Repository
3
Bilkent University: Institutional Repository
2
Oxford University Research Archive (Ora)
2
Theses.Fr
2
Universite Rennes 1: Dissertations
2
Cleveland State University: Engagedscholarship@Csu
1
Cuir - Chulalongkorn University Intellectual Repository
1
Di-Fusion : Depot Institutionnel De L'universite Libre De Bruxelles (Ulb)
1
Dspace@Mit (Massachusetts Institute Of Technology)
1
Ecole Centrale Paris: Hal-Ecp
1
Georgia Institute Of Technology: Smartech - Scholarly Materials And Research At Georgia Tech
1
Indian Instiute Of Science, Bangalore: Etd@Iisc (Electronic Theses And Disserations)
1
Kansas State University: K-State Research Exchange (K-Rex)
1
Monash University: Figshare
1
Naval Postgraduate School: Calhoun
1
Portland State University: Pdxscholar
1
Publikationsdatenbank Der Fraunhofer-Gesellschaft
1
The Chinese University Of Hong Kong: Cuhk Digital Repository / 香港中文大學數碼典藏
1
The Hong Kong University Of Science And Technology: Hkust Institutional Repository
1
Tufts Digital Library (Tdl)
1
University Of St Andrews: Digital Research Repository
1
Unsw Sydney (The University Of New South Wales): Unsworks
1
weniger ...
Datenbank
Erscheinungsjahr
Filter