Order Total (1 Item Items):
Shipping Destination:
Soeken Mathias (82 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (82)
- 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 (72)
- As New, Fine or Near Fine (8)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (32)
- Not Print on Demand (50)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Advanced Boolean Techniques. Selected Papers from the 13th International Workshop on Boolean Problems.
Language: English
Published by Cham, Springer International Publishing,, 2020
ISBN 10: 3030203220 ISBN 13: 9783030203221
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
1 Online-Ressource (VIII, 265 p. 53 illus., 34 illus. in color). Hardcover. 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. Sprache: Englisch.
-
Formal Specification Level. Algorithms, Concepts and Methods.
Language: English
Published by Cham, Springer International Publishing., 2015
ISBN 10: 3319086987 ISBN 13: 9783319086989
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
235 mm x 155 mm. viii, 138 p. Hardcover. 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. Stamped. Sprache: Englisch.
-
Condition: New.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Natural Language Processing for Electronic Design Automation
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.92
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Natural Language Processing for Electronic Design Automation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Reversible Computation : 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24?25, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Natural Language Processing for Electronic Design Automation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New.
-
Hardcover. Condition: Brand New. 111 pages. 9.50x6.25x0.50 inches. In Stock.
-
Reversible Computation : 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24?25, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Reversible Computation : 11th Internatio
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 2425, 2019, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030214990 ISBN 13: 9783030214999
Paperback. Condition: Brand New. 360 pages. 9.25x6.10x3.19 inches. In Stock.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to explain the state-of-the-art in natural language processing, enabling designers to integrate these techniques into algorithms, through existing frameworks.
-
Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24ż25, 2019, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030214990 ISBN 13: 9783030214999
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
-
Formal Specification Level: Concepts, Methods, and Algorithms
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 95.42
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Taschenbuch. Condition: Neu. Reversible Computation | 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings | Michael Kirkedal Thomsen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2019 | Springer | EAN 9783030214999 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
-
Formal Specification Level: Concepts, Methods, and Algorithms
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
