Importe total (1 artículo artículos):
Destino del pedido:
amadio roberto (64 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (64)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (53)
- Como nuevo, Excelente o Muy bueno (7)
- Bueno o Aceptable (4)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (5)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (23)
- No impresión bajo demanda (41)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 35,24
Envío por EUR 5,98
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Les mille visages de la méditation. Écoles, philosophies, personnages
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 44,36
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
-
CONCUR 2003: Concurrency Theory; 14th International Conference, Marseille, France, September 3-5, 2003 Proceedings
Idioma: Inglés
Publicado por Springer Verlag, New York, 2003
ISBN 10: 3540407537 ISBN 13: 9783540407539
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,48
Envío por EUR 4,71
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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].
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,43
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,96
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2761)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,96
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,05
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Concur 2003 : Concurrency Theory
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,85
Envío por EUR 2,26
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Concur 2003 : Concurrency Theory
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,94
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Domains and Lambda-Calculi
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, GB, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 85,12
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: 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.
-
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 85,99
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
CONCUR 2003 - Concurrency Theory
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 83,54
Envío por EUR 3,41
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 544.
-
Foundations of Software Science and Computational Structures
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 84,54
Envío por EUR 3,41
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 526.
-
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46) (Volume 0)
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 73,27
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 70,60
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
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,
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2008
ISBN 10: 3540784977 ISBN 13: 9783540784975
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 82,33
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2008 edition. 504 pages. 9.00x6.00x1.25 inches. In Stock.
-
Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 85,66
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Graduate text on mathematical foundations of programming languages, and operational and denotational semantics. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 504 pages, 85 b/w illus. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 154 x 30. Weight in Grams: 746. . 2008. 1st Edition. paperback. . . . .
-
Domains and Lambda-Calculi
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press CUP, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 105,87
Envío por EUR 3,41
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 504.
-
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1998
ISBN 10: 0521622778 ISBN 13: 9780521622776
Librería: Book House in Dinkytown, IOBA, Minneapolis, MN, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
EUR 105,77
Envío por EUR 5,56
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
-
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1998
ISBN 10: 0521622778 ISBN 13: 9780521622776
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 108,42
Envío por EUR 4,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. The pages are lightly tanned. The copy shows minor external wear, but is in otherwise clean condition.
-
Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 104,76
Envío por EUR 8,99
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Graduate text on mathematical foundations of programming languages, and operational and denotational semantics. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 504 pages, 85 b/w illus. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 154 x 30. Weight in Grams: 746. . 2008. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Foundations of Software Science and Computational Structures
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2008
ISBN 10: 3540784977 ISBN 13: 9783540784975
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 64,08
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: 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
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, 1998
ISBN 10: 0521622778 ISBN 13: 9780521622776
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 121,91
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,07
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 14th International Conference on ConcurrencyTheory(CONCUR2003)heldinMarseille,France,September3 5, 2003. The conference was hosted by the Universit edeProvenceandtheLa- ratoire d Informatique Fondamentale de Marseille (LIF). The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their fundations. The scope of the conference covers all areas of semantics, logics, and veri cation techniques for concurrent systems. Topics include concurrency-related aspects of: models of computation and semantic domains, process algebras, Petri nets, event struc- res, real-time systems, hybrid systems, decidability, model-checking, veri cation and re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, types systems and algorithms, case studies, and tools and environments for programming and - ri cation. Of the 107 papers submitted this year, 29 were accepted for presentation. Four invited talks were given at the conference: on Distributed Monitoring of Concurrent and Asynchronous Systems by Albert Beneveniste, on Quantitative Veri cation via the MU-Calculus by Luca De Alfaro, on Input-Output Au- mata: Basic, Timed, Hybrid, Probabilistic, Dynamic, . . by Nancy Lynch, and on Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus by Andre Scedrov.
-
CONCUR 2003 - Concurrency Theory | 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. CONCUR 2003 - Concurrency Theory | 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings | Roberto Amadio (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540407539 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Concur 2003 : Concurrency Theory
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 116,51
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2761)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 107,01
Envío por EUR 28,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Concur 2003 : Concurrency Theory
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 137,98
Envío por EUR 2,26
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
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, Hungary, March 29 - April 6, 2008, Proceedings
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2008
ISBN 10: 3540784977 ISBN 13: 9783540784975
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,32
Envío por EUR 64,01
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - 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,andseveninvited 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.
-
Domains and Lambda-Calculi
Libro 23 de 40: Cambridge Tracts in Theoretical Computer ScienceIdioma: Inglés
Publicado por Cambridge University Press, GB, 2008
ISBN 10: 0521062926 ISBN 13: 9780521062923
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,95
Envío por EUR 75,03
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: 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.
