Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by KIT Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by LM Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer, 2003
ISBN 10: 3540404937ISBN 13: 9783540404934
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by KIT Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by KIT Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. 2011. Paperback. Num Pages: 138 pages, colour photos & illus. BIC Classification: JN. Category: (G) General (US: Trade). Dimension: 305 x 229 x 13. Weight in Grams: 796. . . . . .
Published by KIT Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by KIT Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. 2011. Paperback. Num Pages: 138 pages, colour photos & illus. BIC Classification: JN. Category: (G) General (US: Trade). Dimension: 305 x 229 x 13. Weight in Grams: 796. . . . . . Books ship from the US and Ireland.
Published by KIT Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by LM Publishers, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Book
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer Berlin Heidelberg Jun 2003, 2003
ISBN 10: 3540404937ISBN 13: 9783540404934
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003.The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambda-calculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems. 1240 pp. Englisch.
Published by Springer, 2003
ISBN 10: 3540404937ISBN 13: 9783540404934
Seller: getbooks GmbH, Bad Camberg, HE, Germany
Book
Taschenbuch. Condition: Gut. 1199 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 821932.01 Sprache: Englisch Gewicht in Gramm: 1792.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540404937ISBN 13: 9783540404934
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Therefereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003.The 84 revised full papers presented together with six invited papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections on algorithms, process algebra, approximation algorithms, languages and programming, complexity, data structures, graph algorithms, automata, optimization and games, graphs and bisimulation, online problems, verification, the Internet, temporal logic and model checking, graph problems, logic and lambda-calculus, data structures and algorithms, types and categories, probabilistic systems, sampling and randomness, scheduling, and geometric problems.
Published by KIT Publishers, Amersterdam, 2011
ISBN 10: 9460221289ISBN 13: 9789460221286
Seller: CitiRetail, Stevenage, United Kingdom
Book
Paperback. Condition: new. Paperback. This book can serve as a source of inspiration, but it may also meet with resistance. It is about an educational concept that is so different from what we are used to that not everybody will at first be convinced of its potential. And yet that potential is enormous. Virtual Action Learning (VAL) has been developed over the years through deliberation and implementation, and through feedback and reflection. New insights and experience have been gained by means of pilots and training programmes. The result is this well-documented book, which can really only describe 80% of VAL. The essence of VAL is that it is constantly changing. This also shows in the critical reflections of educators, advisors and managers who know the concept from practice, but who continue to pursue clarification. In this book, VAL is not described using classical chapters, but in objects, as that is what best links up with the VAL concept. You can read the book in many different ways, which will be explained on the following page. The editorial team consists of Merel Martens, KarienKuijpers, Karlijn Brouwers, Len Knoester, MajBritta de Ruiter, Jolenta Weijers and Claudia Wrede. Virtual Action Learning (VAL) has been developed over the years through deliberation and implementation, and through feedback and reflection. This book documents the result of VAL. It describes VAL in objects, as that is what best links up with the VAL concept. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540404937ISBN 13: 9783540404934
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The refereed proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP 2003, held in Eindhoven, The Netherlands in June/July 2003.The 84 revised full papers presented together with six invited papers were .
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999
ISBN 10: 3540664254ISBN 13: 9783540664253
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement. Editor(s): Baeten, J. C. M.; Mauw, Sjouke. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 1820. . 1999. Paperback. . . . .
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999
ISBN 10: 3540664254ISBN 13: 9783540664253
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement. Editor(s): Baeten, J. C. M.; Mauw, Sjouke. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 1820. . 1999. Paperback. . . . . Books ship from the US and Ireland.