Applied Logic Series : 9
1998
- Link zum Volltext
Lecture Notes in Computational Science and Engineering : 10
2000
- Link zum Volltext
Nonconvex Optimization and Its Applications : 13
1996
- Link zum Volltext
2nd ed. 1987, 1987
- Link zum Volltext
1st ed. 2011, 2011
Applied Optimization : 60
2001
- Link zum Volltext
1st ed. 2010, 2010
1st ed. 2010, 2010
1st ed. 2010, 2010
- Link zum Volltext
1st ed. 2010, 2010
- Link zum Volltext
1st ed. 2010, 2010
- Link zum Volltext
1st ed. 1985, 1985
- Link zum Volltext
1st ed. 2005, 2005
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Dongarra, Jack
- ECOOP (Conference)
- Voronkov, Andrei
- Ada-Europe International Conference on Reliable Software Technologies
- European Symposium on Programming
- LPAR (Conference)
- Wirsing, Martin
- CAV (Conference)
- Margaria, Tiziana
- Steffen, Bernhard
- ACM/IFIP/USENIX International Middleware Conference
- Alexander, Michael
- Bjørner, Dines
- Boles, Dietrich
- Bonsangue, Marcello M
- Broy, Manfred
- Dastani, Mehdi
- Graf, Susanne
- Havelund, Klaus
- International Conference on Conceptual Modeling
Erscheinungsform
Schlagwort
- Software Engineering
- Computer programming
- Programming Techniques
- Programming languages (Electronic computers)
- Software Engineering/Programming and Operating Systems
- Programming Languages, Compilers, Interpreters
- Computer logic
- Computer science
- Logics and Meanings of Programs
- Artificial intelligence
- Computer Communication Networks
- Artificial Intelligence
- Computer communication systems
- Mathematical logic
- Computers
- Mathematical Logic and Formal Languages
- Algorithms
- Theory of Computation
- Application software
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts