Sortiert nach
2nd ed. 1983, 1983
- Link zum Volltext
Advances in Intelligent Systems and Computing : 965
1st ed. 2020, 2020
- Link zum Volltext
iwb Forschungsberichte, Berichte aus dem Institut für Werkzeugmaschinen und Betriebswissenschaften der Technischen Universität München : 93
1st ed. 1995, 1995
- Link zum Volltext
SpringerBriefs in Computer Science
2012
2020
- Link zum Volltext
Theoretical Computer Science and General Issues : 11152
2018
Texts in Theoretical Computer Science An EATC Series
2006
2012
2014
2014
2012
2011
2nd ed. 1992, 1992
- Link zum Volltext
2011
2009
Springer Series in Adaptive Environments
2019
Lecture Notes in Computer Science : 6128
2010
2011
Programming and Software Engineering : 11128
2018
2013
Texts in Theoretical Computer Science An EATCS Series
2006
2014
2013
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
- Rozenberg, Grzegorz
- Graf, Susanne
- Bernardo, Marco
Erscheinungsform
Schlagwort
- Logic design
- Computer science
- Computer Communication Networks
- Artificial intelligence
- Formale Methode
- Softwareentwicklung
- Information Systems
- Model Checking
- Computer software
- Software Engineering
- Operating systems (Computers)
- Programmverifikation
- Verifikation
- Online-Ressource
- Programmanalyse
- Programmierung
- Computer simulation
- Computer system performance
- Information systems
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts