larsen kim (84 Ergebnisse)

XI, 581 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. 2154. Sprache: Englisch.

Hardcover. Zustand: Good. 7. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.

Board book. Zustand: Good. No Jacket. Larsen Chang, Tara (illustrator). Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.92.

Board book. Zustand: As New. No Jacket. Larsen Chang, Tara (illustrator). Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.95.

Zustand: Used - Very Good. 2009. 8th Edition. Hardcover. Very Good.

Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 472 | Sprache: Englisch | Produktart: Bücher.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 448 | Sprache: Englisch | Produktart: Bücher.

Paperback. Zustand: Brand New. 2nd edition. 178 pages. 8.50x5.43x0.43 inches. In Stock.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Hardcover. Zustand: Brand New. 268 pages. 6.14x0.82x9.21 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Hardcover. Zustand: Fine. Sealed in shrink wrap.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools and theories for automatic verification of(finite) state systems. The workshop provides a uniqueopportunity for comparing the numerous verification methodsand associated verification tools, and the extent to whichthey may be utilized in application design. The emphasis isnot only on new research results but also on the applicationof existing results to real verification problems.The papers in the volume areorganized into sections onequivalence checking, model checking, applications, toolsfor process algebras, the state explosion problem, symbolicmodel checking, verification and transformation techniques,higher order logic, partial order approaches, hardwareverification, timed specification and verification, andautomata.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universität des Saarlandes) and a special session on (commercial) formal methods in industry.The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Gyldendal, København 2006. 2. oplag. 189 sider. Enkelte illustrationer i s/h og farver. Orig. illustreret kartonbind. Pæn.

Forlaget Heatherhill, Vejby 2018. 1. oplag. Kvadratisk 4to. 203 sider. Rigt illustreret med fotos i s/h og farver. Orig. illustreret kartonbind. Med lidt ydre brugsspor.

Forlaget Heatherhill, Vejby 2018. 1. oplag. Kvadratisk 4to. 203 sider. Rigt illustreret med fotos i s/h og farver. Orig. illustreret kartonbind. Med brugsspor.

Zustand: Good. Good condition. From the collection of Tom Verlaine. Verlaine was a guitarist, singer, and songwriter who was a founding member of the seminal punk rock band Television. He was known for his innovative guitar playing and songwriting, and he is considered to be one of the most important and influential musicians of the past 50 years. [9789188705044] (Art Exhibitions).

Politikens Forlag, København 2018. 3. oplag. 326 sider. Illustreret med fotos i s/h. Orig. illustreret kartonbind. Spor efter prismærkat på baginderpermen og let slitage ved kapitælerne.

Gyldendal, København 2011. 279 sider. Illustreret med fotos i s/h. Orig. illustreret kartonbind med smudsomslag.

Lindhardt og Ringhof, København 2010. 253 sider. Illustreret med fotos i s/h. Orig. illustreret kartonbind.

Politikens Forlag, København 2018. 2. oplag. 326 sider. Illustreret med fotos i s/h. Orig. illustreret kartonbind. Læseskæv. Ganske lette brugsspor på bindet.

First edition. Softcover. Exhibition catalog for a show that ran January 18 through February 10, 1991. Text by Corey Postiglione and Wade Wilson. Includes, with the covers, 9 color illustrations. A fine copy in stapled wrappers. Uncommon.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.89.