Valencia frank (18 Ergebnisse)

Zustand: Very Good. . Pocket Book. Good clean copy with some slight shelf wear. . . . . Books ship from the US and Ireland.

Zustand: Very Good. . Pocket Book. Good clean copy with some slight shelf wear. . . . .

Zustand: Fine. Très bon état - légères marques de lecture et/ou de stockage mais du reste en très bon état- expédié soigneusement depuis la France. poche. 2006. Poche. 445 pages. Fine.

Zustand: New. In.

Zustand: New. In.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60thbirthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles.These contributions are a tribute to Catuscia Palamidessi's intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015.The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.…

Taschenbuch. Zustand: Neu. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy | Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday | Mário S. Alvim (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiv | Englisch | 2019 | Springer | EAN 9783030311742 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Theoretical Aspects of Computing - ICTAC 2015 | 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings | Martin Leucker (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2015 | Springer | EAN 9783319251493 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 644 pages. 9.25x6.10x1.46 inches. In Stock.

Zustand: New. In.

Zustand: Gut. Zustand: Gut | Seiten: 692 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in ¿pindleruv Mlýn, Czech Republic, in January 2009.The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.…

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. SOFSEM 2009: Theory and Practice of Computer Science | 35th Conference on Current Trends in Theory and Practice of Computer Science, ¿pindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings | Mogens Nielsen (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783540958901 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 2009 edition. 687 pages. 9.25x6.25x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlýn, Czech Republic, in January 2009.The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.…