Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
EUR 35,33
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 42,28
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 502 Illus.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 56,99
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 472 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319677284 ISBN 13: 9783319677286
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,13
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 328 pages. 9.25x6.10x0.67 inches. In Stock.
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York : Springer, 2005
ISBN 10: 3540253041 ISBN 13: 9783540253044
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: Gut. XIV, 562 S. : graph. Darst. ; Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 865.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030642755 ISBN 13: 9783030642754
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,27
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 317 pages. 9.25x6.10x0.70 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3642034659 ISBN 13: 9783642034657
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,37
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2009 edition. 357 pages. 9.21x6.06x0.79 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030325040 ISBN 13: 9783030325046
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,62
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 424 pages. 9.25x6.10x0.91 inches. In Stock.
Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,34
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 445 pages. 9.21x5.98x1.02 inches. In Stock.
Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,76
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 495 pages. 9.25x6.10x1.54 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540857613 ISBN 13: 9783540857617
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,93
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2008 edition. 454 pages. 9.25x6.25x1.25 inches. In Stock.
Zustand: new.
Zustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642034659 ISBN 13: 9783642034657
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642232825 ISBN 13: 9783642232824
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 97,71
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 277 pages. 9.20x6.00x0.70 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 99,86
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 271 pages. 9.25x6.10x0.70 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Okt 2022, 2022
ISBN 10: 3031177142 ISBN 13: 9783031177149
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2020, 2020
ISBN 10: 3030642755 ISBN 13: 9783030642754
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Dez 2015, 2015
ISBN 10: 331925149X ISBN 13: 9783319251493
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015held in Cali, Colombia, in October 2015.The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 644 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10: 3642397174 ISBN 13: 9783642397172
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642034659 ISBN 13: 9783642034657
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18¿20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia,industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me- ods and tools for system development. The series also promotes cooperation in research and education between participants and their institutions, from dev- oping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281), Macao SAR, China (2007, LNCS 4711), and Istanbul, Turkey (2008, LNCS 5160). This year, 81 submissions were received, distributed over 70 full research papers and 11 tool papers. Each submission was reviewed by at least three P- gram Committee members. We thank the members of the Program Committee and the other specialist referees for the e ort and skill that they invested in the review and selection process, which was managed using EasyChair. The C- mittee decided to accept 20 papers: 17 full research papers and 3 tool papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2008, 2008
ISBN 10: 3540857613 ISBN 13: 9783540857617
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited for modelling and analyzing intended computing systems before the expensive c- mitment is made to real programs and hardware. Recent years have seen major improvements in the cost-e ectiveness of tools supporting the exploitation of theories through proof, model-checking and testing. Against this encouraging background, we are pleased to present papers that show something of the live- ness and diversity of research in theoretical aspects of computing today. ICTAC 2008, the 5th International Colloquium on Theoretical Aspects of Computing, was held on 1-3 September 2008 in Istanbul, Turkey, hosted by - banc University. The ICTAC series was founded by the International Institute for SoftwareTechnologyof the United Nations University(UNU-IIST). It brings together practitioners and researchers from academia, industry and government to present results and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methodsandtoolsforsystemdevelopment. Theseriesalsopromotescooperation in research and education between participants and their institutions, from - veloping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281) and Macau SAR, China (2007, LNCS 4711).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2019, 2019
ISBN 10: 3030325040 ISBN 13: 9783030325046
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
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.