Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2000. - X, 379 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1912)
ISBN 978-3-540-67959-2 / 3-540-67959-6 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1912)
ISBN 978-3-540-44518-0
Lizenzpflichtig
Quelle: DNB
Applied semantics
: advanced lectures / G. Barthe ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2395)
ISBN 978-3-540-45699-5
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: third international conference ; proceedings / FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005. Paul Pettersson ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3829)
ISBN 978-3-540-31616-9
Lizenzpflichtig
Quelle: DNB
Formal syntax and semantics of Java
/ Jim Alves-Foss (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1523)
ISBN 978-3-540-48737-1
Lizenzpflichtig
Quelle: DNB
Frege, Gottlob: Funktion, Begriff, Bedeutung
: fünf logische Studien / Gottlob Frege. Hrsg. und eingel. von Günther Patzig. - 7., bibliogr. erg. Aufl. - Göttingen : Vandenhoeck und Ruprecht, 1994. - 106 S.; 19 cm - (Kleine Vandenhoeck-Reihe; 1144)
ISBN 978-3-525-33377-8 / 3-525-33377-3 kart. : DM 12.80, sfr 13.80, S 100.00
Quelle: DNB
Logical aspects of computational linguistics
: first international conference ; selected papers / LACL '96, Nancy, France, September 1996. Christian Retoré (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1328 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69631-5
Lizenzpflichtig
Quelle: DNB
Logic programming and knowledge representation
: third international workshop ; selected papers / LPKR '97, Port Jefferson, New York, USA, October 1997. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1471 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49872-8
Lizenzpflichtig
Quelle: DNB
Logic programming and knowledge representation
: third international workshop ; selected papers / LPKR '97, Port Jefferson, New York, USA, October 17, 1997. Jürgen Dix ... (ed.). - Berlin : Springer, 1998. - VIII, 246 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1471 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64958-8 / 3-540-64958-1 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Semantics in data and knowledge bases
: third international workshop ; revised selected papers / SDKB 2008, Nantes, France, March 29, 2008. Klaus-Dieter Schewe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4925)
ISBN 978-3-540-88594-8
Lizenzpflichtig
Quelle: DNB