hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Typentheorie
18 Treffer
Seite < 1 2 >
Cover

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

Cover

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

Cover

Logical aspects of computational linguistics

: second international conference ; selected papers / LACL '97, Nancy, France, September 22 - 24, 1997. A. Lecomte ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1582 : Lecture notes in artificial intelligence)

ISBN 978-3-540-48975-7

Lizenzpflichtig

Quelle: DNB

Cover

Logical aspects of computational linguistics

: third international conference ; selected papers / LACL '98, Grenoble, France, December 14 - 16, 1998. M. Moortgat (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2014 : Lecture notes in artificial intelligence)

ISBN 978-3-540-45738-1

Lizenzpflichtig

Quelle: DNB

Cover

Logical aspects of computational linguistics

: 4th international conference ; proceedings / LACL 2001, Le Croisic, France, June 27 - 29, 2001. P. de Groote ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2099 : Lecture notes in artificial intelligence)

ISBN 978-3-540-48199-7

Lizenzpflichtig

Quelle: DNB

Cover

Object oriented programming

: 13th European conference ; proceedings / ECOOP '99, Lisbon, Portugal, June 14 - 18, 1999. Rachid Guerraoui (ed.). - Berlin : Springer, 1999. - XIII, 528 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1628)

ISBN 978-3-540-66156-6 / 3-540-66156-5 kart. : DM 110.00

Literaturangaben

Quelle: DNB

Cover

Object oriented programming

: 13th European conference ; proceedings / ECOOP '99, Lisbon, Portugal, June 1999. R. Guerraoui (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1628)

ISBN 978-3-540-48743-2

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: first Asian symposium / APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2895)

ISBN 978-3-540-40018-9

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: proceedings / 12th European Symposium on Programming, ESOP 2003 ... Warsaw, Poland, April 7 - 11, 2003. P. Degano (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2618)

ISBN 978-3-540-36575-4

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: proceedings / 11th European Symposium on Programming, ESOP 2002 ... Grenoble, France, April 8 - 12, 2002. D. Le Métayer (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2305)

ISBN 978-3-540-45927-9

Lizenzpflichtig

Quelle: DNB

Seite < 1 2 >
Projekte . Kooperationen