Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Herausgegeben:Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Herausgegeben:Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming,…mehr
- Dines Bjorner / Manfred Broy / Alexandre V. Zamulin (eds.)Perspectives of System Informatics77,99 €
- Pierre Deransart / Martin Jourdan (eds.)Attribute Grammars and their Applications40,99 €
- Michael Rusinowitch / Jean-Luc Remy (eds.)Conditional Term Rewriting Systems40,99 €
- Dezani-CiancagliniTyped Lambda Calculi and Applications40,99 €
- Marc Bezem / Jan F. Groote (eds.)Typed Lambda Calculi and Applications40,99 €
- Tamas GergelyFirst-Order Programming Theories79,99 €
- Jean-Yves Girard (ed.)Typed Lambda Calculi and Applications39,99 €
-
-
-
The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.
- Produktdetails
- Lecture Notes in Computer Science 1181
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-62064-8
- 1996.
- Seitenzahl: 472
- Erscheinungstermin: 4. Dezember 1996
- Englisch
- Abmessung: 235mm x 155mm x 26mm
- Gewicht: 610g
- ISBN-13: 9783540620648
- ISBN-10: 3540620648
- Artikelnr.: 09220000
- Lecture Notes in Computer Science 1181
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-62064-8
- 1996.
- Seitenzahl: 472
- Erscheinungstermin: 4. Dezember 1996
- Englisch
- Abmessung: 235mm x 155mm x 26mm
- Gewicht: 610g
- ISBN-13: 9783540620648
- ISBN-10: 3540620648
- Artikelnr.: 09220000