Sortiert nach
1st ed. 1998, 1998
- Link zum Volltext
1. ed., corr. 2. print, 2005
Signatur: TXL1997
1st ed. 1996, 1996
- Link zum Volltext
Lecture Notes in Computer Science : 9560
1st ed. 2016, 2016
1st ed. 2005, 2005
- Link zum Volltext
Undergraduate Topics in Computer Science
1, 2009
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Hankin, Chris
- Ciancarini, Paolo
- Nielson, Flemming
- Nielson, Hanne Riis
- ACM Symposium on Principles of Programming Languages
- Abramsky, Samson
- COORDINATION '96
- European Symposium on Programming
- Fernández, Maribel
- Hansen, René Rydhof
- International Static Analysis Symposium
- Kozen, Dexter
- Mackie, Ian
- Pitts, Andrew
- Probst, Christian W
- Riis Nielson, Hanne
- Siveroni, Igor
- Skiena, Steven
- Stewart, Ian
- Zhang, David
Erscheinungsform
Schlagwort
- Software engineering
- Computer logic
- Computer programming
- Mathematical logic
- Programming Techniques
- Programming languages (Electronic computers)
- Computer science
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Programmanalyse
- Programming Languages, Compilers, Interpreters
- Software Engineering
- Software Engineering/Programming and Operating Systems
- Algorithms
- Architecture, Computer
- Berechnungstheorie
- Computation by Abstract Devices
- Computer Communication Networks
- Computer Science
- Computer System Implementation
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts