Franck van breugel (41 resultados)

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Condición: New. pp. 520.

Condición: New.

Paperback. Condición: Brand New. 1st edition. 524 pages. 9.00x6.00x1.25 inches. In Stock.

Hardcover. Condición: Gut. 220 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780817639273 Sprache: Englisch Gewicht in Gramm: 550.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19-22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science.…

HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Condición: Neu. CONCUR 2008 - Concurrency Theory | 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings | Franck van Breugel (u. a.) | Taschenbuch | xiii | Englisch | 2008 | Springer | EAN 9783540853602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Horizons of the Mind. A Tribute to Prakash Panangaden | Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | Franck van Breugel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2014 | Springer | EAN 9783319068794 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Condición: Brand New. illustrated edition. 215 pages. 10.00x7.00x0.50 inches. In Stock.

Paperback. Condición: new. Paperback. This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science. This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: New.

Condición: New. In English.

Condición: New.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 540 | Sprache: Englisch | Produktart: Bücher | This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19¿22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri?cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri?cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume. …

Hardback. Condición: New. New copy - Usually dispatched within 4 working days.

Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.…

Condición: New. Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems. Editor(s): Panangaden, Prakash; Breugel, Franck van. Series: CRM Monograph Series. Num Pages: 215 pages, illustrations. BIC Classification: PBT. Category: (P) Professional & Vocational. Weight in Grams: 624. . 2004. Hardcover. . . . .…

Condición: New. Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems. Editor(s): Panangaden, Prakash; Breugel, Franck van. Series: CRM Monograph Series. Num Pages: 215 pages, illustrations. BIC Classification: PBT. Category: (P) Professional & Vocational. Weight in Grams: 624. . 2004. Hardcover. . . . . Books ship from the US and Ireland.…

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

Buch. Condición: Neu. Neuware - Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems.…

Condición: As New. Unread book in perfect condition.