Recent trends in algebraic development techniques

: 18th international workshop ; revised selected papers / WADT 2006, La Roche-en-Ardenne, Belgium, June 1 - 3, 2006. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4409)

ISBN 978-3-540-71998-4

Lizenzpflichtig

Quelle: DNB

Recent trends in algebraic development techniques

: 12th international workshop ; selected papers / WADT '97, Tarquinia, Italy, June 3 - 7, 1997. Francesco Parisi Presicce (ed.). - Berlin : Springer, 1998. - VIII, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1376)

ISBN 978-3-540-64299-2 / 3-540-64299-4 kart. : DM 90.00

Literaturangaben

Quelle: DNB

Recent trends in algebraic development techniques

: 15th international workshop ; selected papers / WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001. Maura Cerioli ; Gianna Reggio (ed.). - Berlin : Springer, 2002. - X, 343 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2267)

ISBN 978-3-540-43159-6 / 3-540-43159-4 kart. : EUR 48.15

Literaturangaben

Quelle: DNB

Recent trends in data type specification

: selected papers / 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995. Magne Haveraaen ... (ed.). - Berlin : Springer, 1996. - VIII, 550 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1130)

ISBN 978-3-540-61629-0 / 3-540-61629-2 kart. : DM 110.00

Literaturangaben

Quelle: DNB

Recent trends in data type specification

: selected papers / 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Hartmut Ehrig ; Fernando Orejas (ed.). - Berlin : Springer, 1994. - VIII, 350 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 785)

ISBN 978-3-540-57867-3 / 3-540-57867-6 kart. : DM 72.00

Literaturangaben

Quelle: DNB

Recent trends in data type specification

: selected papers / 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.). - Berlin : Springer, 1995. - VIII, 523 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 906)

ISBN 978-3-540-59132-0 / 3-540-59132-X kart. : DM 102.00

Literaturangaben

Quelle: DNB

Recent trends in data type specification

: proceedings / 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.). - Berlin : Springer, 1991. - VIII, 379 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 534)

ISBN 978-3-540-54496-8 / 3-540-54496-8 kart. : DM 55.00

Literaturangaben

Quelle: DNB

Recent trends in data type specification

: selected papers / 8th Workshop on Specification of Abstract Data Types joint with the 3rd Compass Workshop, Dourdan, France, August 26 - 30, 1991. M. Bidoit ; C. Choppy (ed.). - Berlin : Springer, 1993. - X, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 655)

ISBN 978-3-540-56379-2 / 3-540-56379-2 kart. : DM 72.00

Literaturangaben

Quelle: DNB

Recent trends in German and European constitutional law

: German reports presented to the XVIIth International Congress on Comparative Law, Utrecht, 16 to 22 July 2006 / Eibe Riedel ; Rüdiger Wolfrum (ed.). - Berlin : Springer, 2006. - VI, 287 S.; 24 cm - (Beiträge zum ausländischen öffentlichen Recht und Völkerrecht; Bd. 188)

ISBN 978-3-540-34667-8 / 3-540-34667-8 Pp. : EUR 80.20 (freier Pr.), sfr 127.00 (freier Pr.)

Quelle: DNB Verlagsmeldungen

Recent trends in molecular recognition

: with 8 tables / F. Diederich ; H. Künzer ed.. - Berlin : Springer, 1998. - XIII, 243 S. : Ill., graph. Darst.; 22 cm - (Ernst Schering Research Foundation workshop; 26)

ISBN 978-3-540-65072-0 / 3-540-65072-5 Pp. : DM 129.00

Literaturangaben

Quelle: DNB