Sortiert nach
1st ed. 1980, 1980
- Link zum Volltext
1st ed. 2011, 2011
- Link zum Volltext
1st ed. 1982, 1982
- Link zum Volltext
1st ed. 1974, 1974
- Link zum Volltext
2nd ed. 1988, 1988
- Link zum Volltext
1st ed. 2016, 2016
- Link zum Volltext
4th ed. 1988, 1988
- Link zum Volltext
1st ed. 1983, 1983
- Link zum Volltext
1st ed. 2011, 2011
- Link zum Volltext
1st ed. 1976, 1976
- Link zum Volltext
1st ed. 2011, 2011
- Link zum Volltext
1st ed. 1997, 1997
- Link zum Volltext
4th ed. 1988, 1988
- Link zum Volltext
4th ed. 1994, 1994
- Link zum Volltext
4th ed. 1988, 1988
- Link zum Volltext
2nd ed. 2017, 2017
- Link zum Volltext
3rd ed. 1988, 1988
- Link zum Volltext
1st ed. 1977, 1977
- Link zum Volltext
1st ed. 2011, 2011
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Bernardo, Marco
- International Static Analysis Symposium
- European Symposium on Programming
- Abts, Dietmar
- Dongarra, Jack
- European PVM/MPI Users' Group Meeting
- Goll, Joachim
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems
- Mailund, Thomas
- Schader, Martin
- Broy, Manfred
- International Symposium of Formal Methods Europe
- Kuhlins, Stefan
- Voronkov, Andrei
- Ada-Europe International Conference on Reliable Software Technologies
- ECOOP (Conference)
- Havelund, Klaus
- International Conference on Formal Engineering Methods
- International Conference on Formal Methods for Open Object-Based Distributed Systems
- International Workshop on Declarative Agent Languages and Technologies
Erscheinungsform
Schlagwort
- Programming Languages, Compilers, Interpreters
- Programming languages (Electronic computers)
- Software engineering
- Computer programming
- Programming Techniques
- Software Engineering
- Computer logic
- Logics and Meanings of Programs
- Software Engineering/Programming and Operating Systems
- Mathematical logic
- Mathematical Logic and Formal Languages
- Artificial intelligence
- Artificial Intelligence
- Computer science
- Computers
- Computer Communication Networks
- Computer communication systems
- Theory of Computation
- Compilers (Computer programs)
- Compilers and Interpreters
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts