Sortiert nach
1st ed. 2022, 2022
- Link zum Volltext
1st ed. 2008, 2008
- Link zum Volltext
1st ed. 2005, 2005
- Link zum Volltext
1st ed. 2010, 2010
- Link zum Volltext
Undergraduate Topics in Computer Science
1st ed. 2019, 2019
SpringerBriefs in Computer Science
2017
1st ed. 2017, 2017
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Institute of Electrical and Electronics Engineers,
- Margaria, Tiziana
- Steffen, Bernhard
- Biffl, Stefan
- Winkler, Dietmar
- Felderer, Michael
- International Conference on Formal Engineering Methods
- Bergsmann, Johannes
- Legay, Axel
- Liu, Shaoying
- CAV (Conference)
- Duan, Zhenhua
- Havelund, Klaus
- Liu, Zhiming
- International SPIN Workshop
- International Symposium of Formal Methods Europe
- Maciaszek, Leszek A
- Merayo, Mercedes G
- Wolff, Burkhart
- Abrahamsson, Pekka
Erscheinungsform
Schlagwort
- Software Engineering
- Computer science
- Programming languages (Electronic computers)
- Computer logic
- Computer programming
- Computer Communication Networks
- Programming Languages, Compilers, Interpreters
- Logics and Meanings of Programs
- Software Engineering/Programming and Operating Systems
- Programming Techniques
- Artificial intelligence
- Computer communication systems
- Computers
- Artificial Intelligence
- Management information systems
- Mathematical logic
- Application software
- Theory of Computation
- Algorithms
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts