Order Total (1 Item Items):
Shipping Destination:
Thomas Wies (109 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (109)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (89)
- As New, Fine or Near Fine (13)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
Language (3)
Free Shipping
Seller Location
Seller Rating
-
GREAT KIPLING STORIES, TOGETHER WITH A LIFE OF RUDYARD KIPLING- - - signed- - - -
Published by The John C Winston Co, 1936
Seller: Melanie Nelson Books, Livingston, NY, NY, U.S.A.
Seller rating 4 out of 5 stars
Signed
Hardcover. Condition: Very Good. --------Red cloth covers with gilt, book is near 9" tall, thick book. 634 pages, with color frontispiece and 9 other illustrations.VERY GOOD CONDITION- - - no dust jacket.- - - -SIGNED BY LOWELL THOMAS, ON FLYLEAF - - - -. Signed by Author(s).
-
In der Blütenwelt flanieren: Gedichte (German Edition)
Language: German
Published by Bod - Books on Demand, 2019
ISBN 10: 3749410194 ISBN 13: 9783749410194
Condition: New.
-
In der Blütenwelt flanieren: Gedichte (German Edition)
Language: German
Published by Bod - Books on Demand, 2019
ISBN 10: 3749410194 ISBN 13: 9783749410194
Condition: New.
-
ECDL Start - Das komplette Wissen (Module 2, 3, 4, 6) mit Office 2010 und Windows 7 gemäß Syllabus 5 Schülerbuch
Published by Herdt Verlag
ISBN 10: 3862490432 ISBN 13: 9783862490431
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
ECDL Start - Das komplette Wissen (Module 2, 3, 4, 6) mit Office 2010 und Windows 7 gemäß Syllabus 5 Schülerbuch
Published by Herdt Verlag
ISBN 10: 3862490432 ISBN 13: 9783862490431
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
-
Programming Languages and Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031300432 ISBN 13: 9783031300431
First Edition
Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Verified Software. Theories, Tools, and Experiments (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2017
ISBN 10: 3319723073 ISBN 13: 9783319723075
First Edition
Paperback. Condition: new. Paperback. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
In der Blütenwelt flanieren: Gedichte (German Edition)
Language: German
Published by Bod - Books on Demand, 2019
ISBN 10: 3749410194 ISBN 13: 9783749410194
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 22.34
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
In der Bl�tenwelt flanieren: Gedichte
Language: German
Published by Books On Demand 2019-02-25, 2019
ISBN 10: 3749410194 ISBN 13: 9783749410194
US$ 19.02
US$ 21.41 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
On the Pursuit of Insight and Elegance (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032137101 ISBN 13: 9783032137104
Paperback. Condition: new. Paperback. Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques. Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
Programming Languages and Systems (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 55.96
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Condition: new.
-
Networked Systems (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031377648 ISBN 13: 9783031377648
First Edition
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 2224, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including, e.g., cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning, multi-core architectures, networks, and security. This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 2224, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and ... Paris, France, April 22-27, 2023, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 63.08
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Networked Systems: 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 63.08
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
-
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.20
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Networked Systems: 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.20
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
-
US$ 67.85
US$ 21.41 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
