Anbieter: BooksRun, Philadelphia, PA, USA
Paperback. Zustand: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: Bradford Books,U.S., Cambridge, Massachusetts, U.S.A., 1989
ISBN 10: 0262610582 ISBN 13: 9780262610582
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Erstausgabe
EUR 13,20
Anzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. First Edition.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 38,67
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 65,55
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xi + 359 Illus.
Softcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Sprache: Englisch Gewicht in Gramm: 550.
Anbieter: Vedams eBooks (P) Ltd, New Delhi, Indien
Erstausgabe
Hardcover. Zustand: New. 1st Edition. The book will deliver different issues identified with managing individuals and organizations. There are numerous possibilities that could be acknowledged at the business and socio-economic development front and this book will attempt to demonstrate and present the research lessons learned on how to set supporting rules and guidelines for future implementations consolidating hypothetical establishments and theoretical foundations with genuine real practical cases. A one of a kind element of this book is that it is interdisciplinary. It doesn't constrain itself to execution pointers from business management perspective yet in addition incorporates a social point of view. What binds together different researchers is their enthusiasm for building up a superior comprehension of the issues which torment businesses today and its dimensions. The book likewise was a forum for the researchers to re-assess huge numbers of traditional management practices and encourage a versatile adaptive response to novel issues that have risen. A key concentration is the response to complexity in the society and how issues of morals and social responsibility are interconnected with all business choices.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319677284 ISBN 13: 9783319677286
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,32
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 328 pages. 9.25x6.10x0.67 inches. In Stock.
Zustand: New.
Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319085867 ISBN 13: 9783319085869
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 8562. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XXVIII, 528 Seiten, Englisch 938g.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319677284 ISBN 13: 9783319677286
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Sep 2017, 2017
ISBN 10: 3319677284 ISBN 13: 9783319677286
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319476769 ISBN 13: 9783319476766
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions.The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319085867 ISBN 13: 9783319085869
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 11 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers have been organized in topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and temporal reasoning, SMT and SAT, modal logic, complexity, description logics and knowledge representation and reasoning.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319476769 ISBN 13: 9783319476766
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,55
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 344 pages. 9.25x6.10x0.78 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,83
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 556 pages. 9.30x6.20x1.26 inches. In Stock.
Sprache: Deutsch
Verlag: The MIT Press, Cambridge
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Hardcover. Ehemaliges Bibliotheksexemplar in gutem bis akzeptablen Zustand. Sprache: Deutsch Gewicht in Gramm: 950.
Sprache: Französisch
Verlag: Ecole Nationale Supérieure Des Beaux-arts De Paris, 2005
ISBN 10: 2840561832 ISBN 13: 9782840561835
Anbieter: RECYCLIVRE, Paris, Frankreich
Zustand: Très bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
Sprache: Französisch
Verlag: Ecole Nationale Supérieure Des Beaux-arts De Paris, 2005
ISBN 10: 2840561832 ISBN 13: 9782840561835
Anbieter: RECYCLIVRE, Paris, Frankreich
Zustand: Bon. Attention: Ancien support de bibliothèque, plastifié, étiquettes. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
Sprache: Englisch
Verlag: Berlin, Heidelberg, New York: Springer-Verlag, 1992
ISBN 10: 3540556028 ISBN 13: 9783540556022
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Vol. 607. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 793 Seiten, Englisch 1120g.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540878262 ISBN 13: 9783540878261
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 149,38
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 359 pages. 9.25x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540878262 ISBN 13: 9783540878261
Anbieter: moluna, Greven, Deutschland
Zustand: New. This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Seiten: 358 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540556028 ISBN 13: 9783540556022
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countries. Papers covered many topics including:resolution; term rewriting; natural deduction; theoremproving, in particular in algebra and geometry; paralleltheoremprovers; unification theory; constraint solving;logic programing; verification; multivalued, temporal andnonclassical logics; non-monotonic reasoning; planning;proof theory; higher-order logics; and inductive theoremproving. Each submission was reviewed by at least threeprogram committee members and 46 papers were selected forpresentation and publication. This volume also containsshort descriptions of 23 implementations of automateddeduction systems. The volume opens with a keynote addressby Larry Wos, winner of the first Herbrand Award forDistinguished Contributions to Automated Reasoning.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2008
ISBN 10: 3540878262 ISBN 13: 9783540878261
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.