Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
XV, 559 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2215. Sprache: Englisch.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 41,31
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 47,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Brook Bookstore, Milano, MI, Italien
Zustand: new.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 20,40
Anzahl: 1 verfügbar
In den WarenkorbJP Oversized. Zustand: Brand New. Japanese language. 9.92x7.32x0.47 inches. In Stock.
EUR 74,25
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 440 Illus.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 70,99
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 296 pages. 9.25x6.10x9.21 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 72,59
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 288 pages. 9.25x6.10x9.33 inches. In Stock.
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Anbieter: moluna, Greven, Deutschland
EUR 39,60
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Sprache: Englisch
Verlag: Springer, Berlin|Springer Nature Switzerland|ETAPS Society|Springer, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Anbieter: moluna, Greven, Deutschland
EUR 39,60
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642122507 ISBN 13: 9783642122507
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,01
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2010 edition. 362 pages. 9.00x6.00x0.75 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,44
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 484 pages. 9.25x6.10x1.20 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3662476657 ISBN 13: 9783662476659
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 84,67
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 760 pages. 9.25x6.10x1.73 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 87,13
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572300 ISBN 13: 9783031572302
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: Infinite games; categorical semantics; automata and synthesis;Part II: Types and programming languages; logic and proofs; infinite-state systems.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031572270 ISBN 13: 9783031572272
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: Infinite games; categorical semantics; automata and synthesis;Part II: Types and programming languages; logic and proofs; infinite-state systems.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Foundations of Software Science and Computation Structures | 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I | Naoki Kobayashi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2024 | Springer | EAN 9783031572272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540489371 ISBN 13: 9783540489375
Anbieter: moluna, Greven, Deutschland
EUR 62,59
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. The 22 revised full papers presented together with 2 invited talks and 1 tutorial exam.
Sprache: Englisch
Verlag: Springer, Springer Spektrum, 2010
ISBN 10: 3642122507 ISBN 13: 9783642122507
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19 21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion,theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan).
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this volume shows, TACS is an international symposium, with participants from many di erent institutions and countries. TACS 2001 was the fourth symposium in the TACS series, following TACS'91, TACS'94, and TACS'97, whose proceedings were published as Volumes 526, 789, and 1281, respectively, of Springer-Verlag's Lecture Notes in Computer Science series. The TACS 2001 technical program consisted of invited talks and contributed talks. In conjunction with this program there was a special open lecture by Benjamin Pierce; this lecture was open to non-registrants. TACS 2001 bene ted from the e orts of many people; in particular, members of the Program Committee and the Organizing Committee. Our special thanks go to the Program Committee Co-chairs: Naoki Kobayashi (Tokyo Institute of Technology) Benjamin Pierce (University of Pennsylvania).
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2015
ISBN 10: 3662476657 ISBN 13: 9783662476659
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Functional and Logic Programming | 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings | Matthias Blume (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2010 | Springer | EAN 9783642122507 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Theoretical Aspects of Computer Software | 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings | Naoki Kobayashi (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540427360 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Automata, Languages, and Programming | 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II | Magnús M. Halldórsson (u. a.) | Taschenbuch | xxxix | Englisch | 2015 | Springer | EAN 9783662476659 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 113,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.