Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Informatik-Fachberichte : 177
1st ed. 1989, 1989
Volltextzugriff (PDF)
Hochschultext
1st ed. 1975, 1975
Volltextzugriff (PDF)
Lehrbuch Informatik
2nd ed. 1992, 1992
Volltextzugriff (PDF)
Trends in Logic, Studia Logica Library : 53
1st ed. 2020, 2020
Volltextzugriff (PDF)
Monographs in Computer Science
2005
Volltextzugriff (PDF)
2018
Volltextzugriff (PDF)
2014
Volltextzugriff (PDF)
Hochschultext
2nd ed. 1980, 1980
Volltextzugriff (PDF)
2008
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Steffen, Bernhard
- Vardi, Moshe Y
- Nierstrasz, Oscar
- Hutchison, David
- Kanade, Takeo
- Kittler, Josef
- Kleinberg, Jon M
- Mattern, Friedemann
- Mitchell, John C
- Naor, Moni
- Pandu Rangan, C
- Sudan, Madhu
- Terzopoulos, Demetri
- Tygar, Doug
- Weikum, Gerhard
- Voronkov, Andrei
- Bonsangue, Marcello M
- Boer, Frank S
- Bernardo, Marco
- LaMeres, Brock J
Erscheinungsform
Schlagwort
- Logic design
- Computer science
- Software engineering
- Artificial intelligence
- Computer Communication Networks
- Formale Methode
- Softwareentwicklung
- Operating systems (Computers)
- Information Systems
- Model Checking
- Online-Ressource
- Information systems
- Verifikation
- Programmverifikation
- Logische Programmierung
- Programmierung
- Algebra
- Software Engineering
- Computer simulation
- Computational complexity
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts