Sortiert nach
1st ed. 2006, 2006
1st ed. 2005, 2005
- Link zum Volltext
1st ed. 2015, 2015
1st ed. 2017, 2017
- International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
- International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
- Beck, J. Christopher[Herausgeber]
- Smith, Barbara[Herausgeber]
1st ed. 2006, 2006
Texts and Monographs in Computer Science
1982
- Link zum Volltext
1st ed. 2011, 2011
1st ed. 2011, 2011
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Meyer, Bertrand
- Voronkov, Andrei
- Ada-Europe International Conference on Reliable Software Technologies
- Bjørner, Dines
- Broy, Manfred
- Graf, Susanne
- Havelund, Klaus
- International Conference on Formal Methods for Open Object-Based Distributed Systems
- International EURO-PAR Conference
- LPAR (Conference)
- Margaria, Tiziana
- Reggio, Gianna
- Steffen, Bernhard
- ACM/IFIP/USENIX International Middleware Conference
- Aksit, Mehmet
- Alexander, Michael
- Astesiano, Egidio
- Bonsangue, Marcello M
- Dastani, Mehdi
- Dongarra, Jack
Erscheinungsform
Schlagwort
- Software engineering
- Computer programming
- Programming Techniques
- Programming Languages, Compilers, Interpreters
- Programming languages (Electronic computers)
- Computer logic
- Logics and Meanings of Programs
- Computer Communication Networks
- Computer science
- Software Engineering/Programming and Operating Systems
- Artificial intelligence
- Computer communication systems
- Artificial Intelligence
- Mathematical logic
- Mathematical Logic and Formal Languages
- Algorithms
- Computers
- Computer Science Logic and Foundations of Programming
- Theory of Computation
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts