Sortiert nach
1. ed., corr. 2. print, 2005
Signatur: TXL1997
1st ed. 2011, 2011
- Link zum Volltext
1st ed. 2009, 2009
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Hankin, Chris
- Lämmel, Ralf
- Nielson, Flemming
- Banci, Lucia
- Barron, David W
- Bertini, Ivano
- Fernandes, João M
- Friedman, Daniel P
- GTTSE 2009
- Gaševic, Dragan
- Ivrii, Victor
- Luchinat, Claudio
- Nielson, Hanne Riis
- Riis Nielson, Hanne
- SLE 2008
- Saraiva, João
- Stumpfl, Eugen F
- Symposium on Central European Alkaline Volcanic Rocks
- Visser, Joost
- Wand, Mitchell
Erscheinungsform
Schlagwort
- Programming languages (Electronic computers)
- Programmanalyse
- Programming Languages, Compilers, Interpreters
- Software Engineering
- Software Engineering/Programming and Operating Systems
- Software engineering
- Asymptotik
- Axiomatische Semantik
- Computer logic
- Computer programming
- Computer science
- Computer simulation
- Elektronenspinresonanz
- Funktionale Semantik
- Logics and Meanings of Programs
- Magnetische Kernresonanz
- Management information systems
- Management of Computing and Information Systems
- Mathematical Logic and Formal Languages
- Mathematical logic
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts