[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Frontiers of Combining Systems

Language EnglishEnglish
Book Paperback
Book Frontiers of Combining Systems Bernhard Gramlich
Libristo code: 01561181
Publishers Springer, Berlin, November 2004
This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Com... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Metaphor in Culture Zoltán Kövecses / Paperback
common.buy 52.12 €
Matrix-Analytic Methods in Stochastic Models Guy Latouche / Hardback
common.buy 134.22 €
Die deutsche Industrie 1948 im Spiegel der Fachzeitschriften. Karl-Georg Mahnke / Paperback
common.buy 21.30 €
Data Structures and Network Algorithms Robert Endre Tarjan / Paperback
common.buy 49.02 €
India Vacuum Society Symposium on thin Films: Science & Technology N.K. Sahoo / Paperback
common.buy 166.01 €
International Handbook of School Effectiveness and Improvement Tony Townsend / Hardback
common.buy 917.24 €
Soliton-driven Photonics A.D. Boardman / Hardback
common.buy 266.63 €
Mineralogical Applications of Crystal Field Theory Roger G. Burns / Hardback
common.buy 310.09 €
Boundary Behavior of Holomorphic Functions of Several Complex Variables. (MN-11) Elias M. Stein / Hardback
common.buy 115.17 €
Erziehungsmethoden der nationalpolitischen Erziehungsanstalten Heike Doll / Paperback
common.buy 19.21 €
Durchblick Gesellschaftslehre - Differenzierende Ausgabe 2014 / Hardback
common.buy 36.93 €
English Unlimited for Spanish Speakers Upper Intermediate Coursebook with E-portfolio Leslie Anne HendraAlex TilburyTheresa ClementsonDavid Rea / Paperback
common.buy 27.82 €
Ghost Stories of Charles Dickens Charles Dickens / Audio CD
common.buy 13.26 €

This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria, in September 2005.§The 19 revised full papers presented including 2 system descriptions were carefully reviewed and selected from 28 submissions. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

About the book

Full name Frontiers of Combining Systems
Author Bernhard Gramlich
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 321
EAN 9783540290513
ISBN 3540290516
Libristo code 01561181
Publishers Springer, Berlin
Weight 472
Dimensions 155 x 235 x 17

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account