Order Total (1 Item Items):
Shipping Destination:
Amadio Roberto (74 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (74)
- 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 (62)
- As New, Fine or Near Fine (8)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (25)
- Not Print on Demand (49)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
CONCUR 2003 - Concurrency Theory (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2003
ISBN 10: 3540407537 ISBN 13: 9783540407539
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models. This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Foundations of Software Science and Computational Structures (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2008
ISBN 10: 3540784977 ISBN 13: 9783540784975
Paperback. Condition: new. Paperback. ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvite d lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement.The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New.
-
-
-
-
Les mille visages de la méditation. Écoles, philosophies, personnages
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
CONCUR 2003: Concurrency Theory; 14th International Conference, Marseille, France, September 3-5, 2003 Proceedings
Language: English
Published by Springer Verlag, New York, 2003
ISBN 10: 3540407537 ISBN 13: 9783540407539
Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2761.[xi, 524 p. : ill. ; 24 cm].
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer 29.09.2003., 2003
ISBN 10: 3540407537 ISBN 13: 9783540407539
Condition: Sehr gut. Auflage: 2003. 544 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,6 x 15,5 x 3,0 cm, Taschenbuch.
-
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Condition: New.
-
Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4962)
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.
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2761)
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.
-
US$ 68.23
US$ 21.39 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Concur 2003 : Concurrency Theory
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.
-
Domains and Lambda-Calculi (Paperback)
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
First Edition
Paperback. Condition: new. Paperback. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New. pp. 544.
-
Condition: New. pp. 526.
-
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.
-
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 86.22
US$ 16.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Domains and Lambda Calculi (Cambridge Tracts in Theoretical Computer Science)
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
US$ 84.44
US$ 21.39 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Domains and Lambda-Calculi
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press CUP, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Condition: New. pp. 504.
-
Domains and Lambda-Calculi
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, GB, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 107.86
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,
Language: English
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 3540784977 ISBN 13: 9783540784975
US$ 96.39
US$ 17.26 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2008 edition. 504 pages. 9.00x6.00x1.25 inches. In Stock.
-
Domains and Lambda-Calculi
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1998
ISBN 10: 0521622778 ISBN 13: 9780521622776
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1998
ISBN 10: 0521622778 ISBN 13: 9780521622776
Seller: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Hardcover. Condition: Good-. Ex-lib with shelfwear, otherwise in very good condition. Binding is tight, sturdy, and square; math and text also very good. Ships from Dinkytown in Minneapolis, Minnesota.
-
Foundations of Software Science and Computational Structures
Language: English
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540784977 ISBN 13: 9783540784975
Kartoniert / Broschiert. Condition: New. Finding Your Way in a Forest: On Different Types of Trees and Their Properties.- Simple Stochastic Games with Few Random Vertices Are Easy to Solve.- The Complexity of Nash Equilibria in Infinite Multiplayer Games.- Stochastic Games with Lossy Channels.- Si.
-
DOMAINS AND LAMBDA-CALCULI
Book 23 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1998
ISBN 10: 0521622778 ISBN 13: 9780521622776
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
