Gesamtpreis (1 Artikel Artikel):
Versandziel:
larsen kim (310 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (278)
- Magazine & Zeitschriften (31)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (1)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (32)
- Signiert (2)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (128)
- Keine Print-on-Demand Angebote (265)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Anbieter: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 2,24
Währung umrechnenEUR 6,95 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 9,19
Gebraucht ab EUR 77,93
Mehr entdecken Softcover
-
CONCUR 2001 - Concurrency Theory. 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
EUR 7,00
Währung umrechnenEUR 3,00 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbXI, 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 10,00
Mehr entdecken Softcover
-
EUR 4,41
Währung umrechnenEUR 6,83 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. 7. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 68,03
Gebraucht ab EUR 11,24
Mehr entdecken Hardcover
-
The Friendly Beasts Sing a Story Handled Board Book with CD
Anbieter: ThriftBooks-Phoenix, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 6,55
Währung umrechnenEUR 5,90 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbBoard 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.
-
Happy Birthday, Jesus Sing a Story Handled Board Book with CD
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 7,32
Währung umrechnenEUR 6,09 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbUnknown. 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.
-
The Healer's Call (Healers all)
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 9,36
Währung umrechnenEUR 4,17 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.65.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 37,41
Gebraucht ab EUR 13,53
Mehr entdecken Softcover
-
Direct Social Work Practice : Theory and Skills
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 7,33
Währung umrechnenEUR 13,99 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Used book that is in clean, average condition without any missing pages.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 78,95
Gebraucht ab EUR 21,32
Mehr entdecken Hardcover
-
Kim Soren Larsen
Verlag: Galleri K, 1991
Anbieter: Redux Books, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 9,99
Währung umrechnenEUR 9,82 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Paperback. Pages are clean and unmarked. Covers show very minor shelving wear.; 100% Satisfaction Guaranteed! Ships same or next business day!
-
Agribusiness and Innovation Systems in Africa (Agriculture and Rural Development Series)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 17,35
Währung umrechnenEUR 12,39 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Ex-library copy with usual markings.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 45,34
Gebraucht ab EUR 29,74
Mehr entdecken Softcover
-
EUR 11,00
Währung umrechnenEUR 21,14 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Near Fine. No Jacket. Numerous color and b/w illustrations.
-
HR Transformation: Lead Your Business Into HR 3.0 and Beyond
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 16,14
Währung umrechnenEUR 17,08 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 27,02
Gebraucht ab EUR 34,01
Mehr entdecken Softcover
-
Direct Social Work Practice: Theory and Skills, International Edition
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 27,13
Währung umrechnenEUR 8,81 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Verlag: Springer International Publishing, 2019
ISBN 10: 3030223477 ISBN 13: 9783030223472
Sprache: Englisch
EUR 36,99
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 448 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 36,99
Mehr entdecken Softcover
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720128 ISBN 13: 9783030720124
Sprache: Englisch
EUR 39,60
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720152 ISBN 13: 9783030720155
Sprache: Englisch
EUR 39,60
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,60
Gebraucht ab EUR 68,39
Mehr entdecken Softcover
-
Wounded Workers: Tales from a Working Man's Shrink
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,83
Währung umrechnenEUR 11,58 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 268 pages. 6.14x0.82x9.21 inches. In Stock.
-
Tools And Algorithms For The Construction And Analysis Of Systems/first International Workshop, Tacas *95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,29
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,29
Gebraucht ab EUR 56,46
Mehr entdecken Softcover
-
EUR 13,20
Währung umrechnenEUR 21,36 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoftcover art journal, very good condition; light rubbing to covers; no internal marks. Foreign shipping may be extra.
-
Direct Social Work Practice: Theory and Skills
Verlag: Brooks/Cole Cengage Learning, 2012
ISBN 10: 0840028644 ISBN 13: 9780840028648
Sprache: Englisch
EUR 14,55
Währung umrechnenEUR 31,90 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: ninth ] Publisher: Brooks Cole Pub Date: 1/1/2012 Binding: Hardcover Pages: 676 ninth edition.
-
EUR 26,39
Währung umrechnenEUR 21,36 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoftcover, 108 pages, as new condition, clean and crisp; no internal marks. Foreign shipping may be extra.
-
Dependable Software Engineering. Theories, Tools, and Applications
Verlag: Springer International Publishing, 2017
ISBN 10: 3319694820 ISBN 13: 9783319694825
Sprache: Englisch
EUR 48,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 78,06
Mehr entdecken Softcover
-
![Bild des Verkäufers für Gaypocket San Francisco [aka Gay Pocket]: vol. 1, #78, Spring, 2020 zum Verkauf von Bolerium Books Inc.](https://pictures.abebooks.com/inventory/md/md31261908311.jpg)
Gaypocket San Francisco [aka Gay Pocket]: vol. 1, #78, Spring, 2020
Verlag: Gay Pocket Guides/Kim Larsen, San Francisco, 2020
Anbieter: Bolerium Books Inc., San Francisco, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Magazin / Zeitschrift Erstausgabe
EUR 15,92
Währung umrechnenEUR 22,21 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbMagazine. 44p., 4x5.25 inches, photos, ads, maps, bar and club info, theatre, music, dating, very good pocket-guide on glossy stock in stapled camp pictorial wraps. Quarterly gay travel guide with the Summer issues focused on Pride events in SF.
-
![Bild des Verkäufers für Gaypocket San Francisco [aka Gay Pocket]: vol. 1, #74, Spring, 2019 zum Verkauf von Bolerium Books Inc.](https://pictures.abebooks.com/inventory/md/md30492712712.jpg)
Gaypocket San Francisco [aka Gay Pocket]: vol. 1, #74, Spring, 2019
Verlag: Gay Pocket Guides/Kim Larsen, San Francisco, 2019
Anbieter: Bolerium Books Inc., San Francisco, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Magazin / Zeitschrift Erstausgabe
EUR 15,92
Währung umrechnenEUR 22,21 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbMagazine. 44p., 4x5.25 inches, photos, ads, maps, bar and club info, theatre, music, dating, very good pocket-guide on glossy stock in stapled camp pictorial wraps. Quarterly gay travel guide with the Summer issues focused on Pride events in SF.
-
![Bild des Verkäufers für Gaypocket San Francisco [aka Gay Pocket]: vol. 1, #71, Summer, 2018 zum Verkauf von Bolerium Books Inc.](https://pictures.abebooks.com/inventory/md/md30492710799.jpg)
Gaypocket San Francisco [aka Gay Pocket]: vol. 1, #71, Summer, 2018
Verlag: Gay Pocket Guides/Kim Larsen, San Francisco, 2018
Anbieter: Bolerium Books Inc., San Francisco, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Magazin / Zeitschrift
EUR 15,92
Währung umrechnenEUR 22,21 für den Versand von USA nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbMagazine. 44p., 4x5.25 inches, photos, ads, maps, bar and club info, theatre, music, dating, very good pocket-guide on glossy stocky in stapled camp pictorial wraps. Quarterly gay travel guide with the Summer issues focused on Pride events in SF.
-
Deep-Sea Tanaidacea (Peracarida) from the Gulf of Mexico (Crustaceana Monographs) (Crustaceana Monographs)
Verlag: Brill Academic Publishers, 2006
ISBN 10: 900414210X ISBN 13: 9789004142107
Sprache: Englisch
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 40,07
Währung umrechnenEUR 12,39 für den Versand von USA nach DeutschlandAnzahl: 4 verfügbar
In den WarenkorbHardcover. Zustand: Fine. Sealed in shrink wrap.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 139,27
Gebraucht ab EUR 52,46
Mehr entdecken Hardcover
-
Så mange var ordene. Larsen, Rifbjerg og den danske sang.
Anbieter: Vangsgaards Antikvariat Aps, Copenhagen, Dänemark
Verkäuferbewertung 5 von 5 Sternen
EUR 10,35
Währung umrechnenEUR 13,45 für den Versand von Dänemark nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbGyldendal, København 2006. 2. oplag. 189 sider. Enkelte illustrationer i s/h og farver. Orig. illustreret kartonbind. Pæn.
-
Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319459937 ISBN 13: 9783319459936
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 77,69
Mehr entdecken Softcover
-
Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540551794 ISBN 13: 9783540551799
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 108,61
Mehr entdecken Softcover
-
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540216715 ISBN 13: 9783540216711
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 67,59
Mehr entdecken Softcover
-
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30¿31, 2019, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030270076 ISBN 13: 9783030270070
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. 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.
