Order Total (1 Item Items):
Shipping Destination:
Smolka Scott (79 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (79)
- 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 (55)
- As New, Fine or Near Fine (14)
- Very Good or Good (8)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (4)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (45)
- Not Print on Demand (58)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Book 2 of 116: Undergraduate Topics in Computer ScienceLanguage: English
Published by Springer London, Limited, 2007
ISBN 10: 1846288428 ISBN 13: 9781846288425
First Edition
Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Book 2 of 116: Undergraduate Topics in Computer ScienceLanguage: English
Published by Springer London, Limited, 2007
ISBN 10: 1846288428 ISBN 13: 9781846288425
First Edition
Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
OSP: An Environment for Operating System Projects
Seller: Book Lover's Warehouse, Johnson City, TN, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: As New. price printed on title page with date. The pages of this book are clean and unmarked.
-
CONCUR '95 - Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 1995 - Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1995
ISBN 10: 3540602186 ISBN 13: 9783540602187
Condition: Good. 1995th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Book 2 of 116: Undergraduate Topics in Computer ScienceLanguage: English
Published by Springer London, Limited, 2007
ISBN 10: 1846288428 ISBN 13: 9781846288425
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
First Edition
Condition: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science, 962)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
CONCUR '95: 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 - Proceedings (Lecture Notes in Computer Science 962)
Language: English
Published by Springer-Verlag GmbH, Berlin, Germany, 1995
ISBN 10: 3540602186 ISBN 13: 9783540602187
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 962, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.
-
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Seller: George Cross Books, Lexington, MA, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (34593) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 962 This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics. 547.
-
INTERACTIVE COMPUTATION The New Paradigm
Language: English
Published by Springer, 2006. 9783540346661, 2006
ISBN 10: 354034666X ISBN 13: 9783540346661
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United Kingdom
Seller rating 5 out of 5 stars
First Edition
1st edn. Tall 8vo. Original laminated pictorial boards (Fine), no dustwrapper. Pp. xiv + 487, illus with 84 figures (previous owner's neat inscription on front free endpaper).
-
-
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint . Computer Science and General Issues)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Condition: As New. Unread book in perfect condition.
-
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Book 2 of 116: Undergraduate Topics in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science, 962)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
-
Paperback. Condition: New.
-
Runtime Verification : 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, Tacas 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Book 2 of 116: Undergraduate Topics in Computer ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. xii + 172 Index 1st Edition.
-
Paperback. Condition: Brand New. 1st edition. 172 pages. 9.25x7.00x0.50 inches. In Stock.
-
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.
-
Tools and Algorithms for the Construction and Analysis of Systems
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2013, 2013
ISBN 10: 3642367410 ISBN 13: 9783642367410
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013.The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.
