Sortiert nach
2nd ed. 2013, 2013
- Link zum Volltext
1st ed. 1993, 1993
- Link zum Volltext
2nd ed. 1994, 1994
- Link zum Volltext
1st ed. 2014, 2014
- Link zum Volltext
2nd ed. 2017, 2017
- Link zum Volltext
1st ed. 2009, 2009
- Link zum Volltext
1st ed. 2008, 2008
- Link zum Volltext
3rd ed. 1998, 1998
- Link zum Volltext
1st ed. 2011, 2011
- Link zum Volltext
2nd ed. 2017, 2017
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- ECOOP (Conference)
- European Symposium on Programming
- International Static Analysis Symposium
- Voronkov, Andrei
- Dongarra, Jack
- International Symposium of Formal Methods Europe
- Kaier, Ekkehard
- Ada-Europe International Conference on Reliable Software Technologies
- ILP (Conference)
- Karczewski, Konrad
- LPAR (Conference)
- Romanovsky, Alexander
- Wyrzykowski, Roman
- International Conference on Formal Methods for Open Object-Based Distributed Systems
- International Conference on Software Reuse
- Broy, Manfred
- Meyer, Bertrand
- Wirsing, Martin
- Barthe, Gilles
- Bjørner, Dines
Erscheinungsform
Schlagwort
- Computer programming
- Software engineering
- Software Engineering
- Programming Languages, Compilers, Interpreters
- Programming languages (Electronic computers)
- Software Engineering/Programming and Operating Systems
- Computer logic
- Logics and Meanings of Programs
- Computer Communication Networks
- Artificial intelligence
- Artificial Intelligence
- Computer science
- Computer communication systems
- Mathematical logic
- Mathematical Logic and Formal Languages
- Algorithms
- Computers
- Theory of Computation
- Application software
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts