Sortiert nach
Universitext
2000
- Link zum Volltext
Second Edition, 1996
- Link zum Volltext
Modern Birkhäuser Classics
1, 1991
- Link zum Volltext
1st ed. 2005, 2005
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Broy, Manfred
- Dongarra, Jack
- ECOOP (Conference)
- Rudolph, Larry
- Voronkov, Andrei
- Ada-Europe International Conference on Reliable Software Technologies
- Bjørner, Dines
- European PVM/MPI Users' Group Meeting
- European Symposium on Programming
- International Conference on Formal Methods for Open Object-Based Distributed Systems
- International Conference on Typed Lambda Calculi and Applications
- International EURO-PAR Conference
- LPAR (Conference)
- Nierstrasz, Oscar
- Riolo, Rick
- Soule, Terence
- ACM/IFIP/USENIX International Middleware Conference
- Abts, Dietmar
- Alexander, Michael
- Boles, Dietrich
Erscheinungsform
Schlagwort
- Computer programming
- Software engineering
- Programming Languages, Compilers, Interpreters
- Programming languages (Electronic computers)
- Software Engineering
- Artificial intelligence
- Computer Communication Networks
- Artificial Intelligence
- Software Engineering/Programming and Operating Systems
- Computer logic
- Algorithms
- Computer science
- Logics and Meanings of Programs
- Computer communication systems
- Computers
- Mathematical logic
- Theory of Computation
- Mathematical Logic and Formal Languages
- Algorithm Analysis and Problem Complexity
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts