Caires luis (28 Ergebnisse)

.Paperback. Zustand: Wie neu. XIII, 506 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 890.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 212 pages. 9.25x6.10x0.55 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools,and applications for distributed systems.…

Zustand: New.

Paperback. Zustand: Brand New. 1st edition. 507 pages. 9.10x6.10x1.20 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 28thEuropean Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.…

Zustand: New.

Paperback. Zustand: Brand New. 834 pages. 9.25x6.10x1.73 inches. In Stock.

Zustand: New. Presents the refereed proceedings of the 17th International Conference on Concurrency TheoryIncludes thirty carefully reviewed full papers and three important invited papersCovers model checking, process calculi, minimization and equivalenc.

Taschenbuch. Zustand: Neu. Programming Languages and Systems | 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings | Luís Caires | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2019 | Springer | EAN 9783030171834 | 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. Formal Techniques for Distributed Objects, Components, and Systems | 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings | Christel Baier (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2018 | Springer | EAN 9783319926117 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New. In English.

Taschenbuch. Zustand: Neu. CONCUR 2007 - Concurrency Theory | 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings | Luís Caires (u. a.) | Taschenbuch | xiii | Englisch | 2007 | Springer | EAN 9783540744061 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Kartoniert / Broschiert. Zustand: New. KlappentextrnrnThis open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Pr.

Gebunden. Zustand: New. KlappentextrnrnThis open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Pr.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C. Mitchell (Stanford), Burkhard Monien (Paderborn), and Leslie Valiant (Harvard). The program had an additional invited lecture by Adi Shamir (Weizmann Institute) which does not appear in these proceedings. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The rst ICALP took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, automata, complexity and games) and track B (focusing on logic, semantics and theory of programming), and innovated on the structure of its traditional scienti c program with the inauguration of a new track C (focusing on security and cryptography foundation). In response to a call for papers, the Program Committee received 407 s- missions, 258 for track A, 75 for track B and 74 for track C. This is the highest number of submitted papers in the history of the ICALP conferences. The P- gram Committees selected 113 papers for inclusion in the scienti c program. In particular, the Program Committee for track A selected 65 papers, the P- gram Committee for track B selected 24 papers, and the Program Committee for track C selected 24 papers. All the work of the Program Committees was done electronically. …

Zustand: New. In English.

Zustand: New.

Hardcover. Zustand: Brand New. 314 pages. 8.27x5.83x8.27 inches. In Stock.

Zustand: New. 2023. Hardcover. . . . . . Books ship from the US and Ireland.

Zustand: New.

Zustand: New.

Zustand: New.