Order Total (1 Item Items):
Shipping Destination:
Aceto Luca (106 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (106)
- 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 (83)
- As New, Fine or Near Fine (14)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (5)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (39)
- Not Print on Demand (90)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Computer Science Aalborg University : Research Evaluation 1996-2000
Published by Aalborg University, 2000
Seller: George Cross Books, Lexington, MA, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. First ition edition. Very Good/No Jacket (11023) Very good in lightly worn wraps. Research evaluation of the Department of Computer Science at Aalborg University in Denmark. . 245.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Condition: New. pp. 760 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. pp. 760.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: New. pp. 760.
-
Automata, Languages and Programming. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220118 ISBN 13: 9783642220111
688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7840 9783642220111 Sprache: Englisch Gewicht in Gramm: 900.
-
Automata, Languages and Programming. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220118 ISBN 13: 9783642220111
688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7804 9783642220111 Sprache: Englisch Gewicht in Gramm: 900.
-
-
Foundations of Software Science and Computational Structures (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2006
ISBN 10: 3540330453 ISBN 13: 9783540330455
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
Models, Algorithms, Logics and Tools (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2017
ISBN 10: 3319631209 ISBN 13: 9783319631202
First Edition
Paperback. Condition: new. Paperback. This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
Soft Cover. Condition: Very Good. No Jacket.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
International EditionCondition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
-
Reactive Systems: Modelling, Specification and Verification
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
Hard Cover. Condition: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. 284 pages. Ex-Library.
-
Automata, Languages and Programming. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220053 ISBN 13: 9783642220050
824 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7803 9783642220050 Sprache: Englisch Gewicht in Gramm: 900.
-
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3921)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.11
US$ 16.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.57
US$ 16.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European . (Lecture Notes in Computer Science)
Language: English
Published by Springer Berlin Heidelberg 2010-06-02, 2010
ISBN 10: 3540330453 ISBN 13: 9783540330455
US$ 68.22
US$ 21.39 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 68.36
US$ 21.39 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Reactive Systems: Modelling, Specification and Verification
Language: English
Published by Cambridge University Press, 2007
ISBN 10: 0521875463 ISBN 13: 9780521875462
US$ 69.46
US$ 18.50 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521875462.
-
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 71.89
US$ 20.71 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Software Science and Computational Structures : 9th International Conference, Fossacs 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25-31, 2006, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 71.51
US$ 20.71 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
