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
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- ECOOP (Conference)
- Langtangen, Hans Petter
- Botto-Tobar, Miguel
- 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
- Abts, Dietmar
- Aksit, Mehmet
- Anderson, Jonathan
- Artikis, Alexander
- Baldoni, Matteo
- Bibel, Wolfgang
- Bidoit, Michel
- Bjørner, Dines
Schlagwort
- Software engineering
- Software Engineering
- Computers
- Artificial intelligence
- Computer programming
- Programming Techniques
- Artificial Intelligence
- Programming Languages, Compilers, Interpreters
- Computer logic
- Logics and Meanings of Programs
- Programming languages (Electronic computers)
- Computer Communication Networks
- Computer communication systems
- Theory of Computation
- Computer science
- Application software
- Mathematical Logic and Formal Languages
- Mathematical logic
- Algorithms
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts