hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Formale Sprache
53 Treffer
Seite < 1 2 3 4 5 6 >
Cover

Problem solving methods

: understanding, description, development, and reuse / Dieter Fensel. - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1791 : Lecture notes in artificial intelligence)

ISBN 978-3-540-44936-2

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4421)

ISBN 978-3-540-71316-6

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - XVII, 538 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4421)

ISBN 978-3-540-71314-2 / 3-540-71314-X kart. : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Programming languages and systems

: proceedings / 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. David Schmidt (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2986)

ISBN 978-3-540-24725-8

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4960)

ISBN 978-3-540-78739-6

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: proceedings / 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006. Peter Sestoft (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3924)

ISBN 978-3-540-33096-7

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

: third Asian symposium ; proceedings / APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005. Kwangkeun Yi (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3780)

ISBN 978-3-540-32247-4

Lizenzpflichtig

Quelle: DNB

Cover

Programming languages and systems

/ 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Mooly Sagiv (ed.). - Berlin : Springer, 2005. - XIII, 438 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3444)

ISBN 978-3-540-25435-5 / 3-540-25435-8 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Programming languages and systems

: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - XIII, 397 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4960)

ISBN 978-3-540-78738-9 kart. : EUR 59.92 (freier Pr.), sfr 97.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Recent advances in formal languages and applications

: with 12 tables / Zoltan Esik .... - Berlin : Springer, 2006. - VIII, 373 S. : Ill., graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 25)

ISBN 978-3-540-33460-6 / 3-540-33460-2 Pp. : EUR 139.05 (freier Pr.), sfr 220.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Seite < 1 2 3 4 5 6 >
Projekte . Kooperationen
Advertorial