Sortiert nach
1st ed. 2006, 2006
1st ed. 2006, 2006
1st ed. 2010, 2010
1st ed. 2009, 2009
Mathematics and Its Applications : 497
1999
- Link zum Volltext
1st ed. 2005, 2005
1st ed. 2008, 2008
Lecture Notes in Computational Science and Engineering : 10
2000
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- ECOOP (Conference)
- Langtangen, Hans Petter
- Dongarra, Jack
- European Symposium on Programming
- Havelund, Klaus
- International Conference on Conceptual Modeling
- International Conference on Formal Engineering Methods
- International Joint Conference on Theory and Practice of Software Development
- International Workshop on Declarative Agent Languages and Technologies
- LPAR (Conference)
- Voronkov, Andrei
- Aksit, Mehmet
- Artikis, Alexander
- Baldoni, Matteo
- Bibel, Wolfgang
- Bidoit, Michel
- Bjørner, Dines
- Bonsangue, Marcello M
- Bosch, Jan
- Bubak, Marian
Erscheinungsform
Schlagwort
- Software engineering
- Software Engineering
- Programming Techniques
- Computer programming
- Computers
- Programming Languages, Compilers, Interpreters
- Computer logic
- Logics and Meanings of Programs
- Programming languages (Electronic computers)
- Artificial intelligence
- Artificial Intelligence
- Computer Communication Networks
- Computer communication systems
- Theory of Computation
- Computer science
- Algorithms
- Mathematical Logic and Formal Languages
- Mathematical logic
- Application software
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts