Importo totale (1 articolo articoli):
Destinazione ordine:
asperti andrea (55 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (55)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (35)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (9)
- Discreto o Mediocre (2)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (26)
- Non Print on Demand (42)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Editore: Cambridge University Press
ISBN 10: 0060815426 ISBN 13: 9780060815424
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Editore: Cambridge University Press
ISBN 10: 0060815426 ISBN 13: 9780060815424
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Editore: Cambridge University Press
ISBN 10: 0060815426 ISBN 13: 9780060815424
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 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.
-
Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 34,71
Spedizione EUR 5,72
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 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.
-
Categories Types & Structures â" An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)
Da: Sell Books, Elland, YORKS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 31,48
Spedizione EUR 13,90
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
Mathematical Knowledge Management : Second International Conference Mkm 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,87
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)
Da: Corner of a Foreign Field, Tokyo, TOKYO, Giappone
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 52,43
Spedizione EUR 10,18
Spedito da Giappone a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. 1st Edition. 1991.Hardcover.Very good condition.307 pages.Ships from Japan.Usually ships in 1-2 working days.
-
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,07
Spedizione EUR 13,70
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science, 3119)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,07
Spedizione EUR 13,70
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,30
Spedizione EUR 17,72
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,50
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Lingua: Inglese
Editore: Cambridge University Press (edition 1), 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,06
Spedizione EUR 17,15
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Knowledge Management : Second International Conference Mkm 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,06
Spedizione EUR 17,15
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Knowledge Management
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 240.
-
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Feb. 23 (Sale item)* 320 pp., Hardcover, NEW!! - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Optimal Implementation of Functional Programming Languages
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 110,38
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 112,72
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 99,31
Spedizione EUR 13,70
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Optimal Implementation of Functional Programming Languages
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 113,10
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540005684 ISBN 13: 9783540005681
EUR 53,49
Spedizione EUR 61,86
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16 18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Management is an exciting new eld at the int- section between mathematics and computer science. We need e cient, new te- niques, based on sophisticated formal mathematics and software technology, to exploit the enormous knowledge available in current mathematical sources and to organize mathematical knowledge in a new way. On the other side, due to its verynature,therealmofmathematicalinformationlookslikethebestcand idate for testing innovative theoretical and technological solutions for content-based systems, interoperability, management of machine-understandable information, and the Semantic Web. The organizers are grateful to Dana Scott and Massimo Marchiori for agr- ing to give invited talks at MKM 2003. November 2002 AndreaAsperti BrunoBuchberger JamesDavenport Conference Organization Andrea Asperti (Program Chair) Luca Padovani (Organizing Chair) Program Commitee A. Asperti (Bologna) P. D. F. Ion (Michigan) B. Buchberger (RISC Linz) Z. Luo (Durham) J. Caldwell (Wyoming) R. Nederpelt (Eindhoven) O. Caprotti (RISC Linz) M. Sofroniou (Wolfram Research Inc. ) J. Davenport (Bath) N. Soi er (Wolfram Research Inc. ) W. M. Farmer (McMaster Univ. ) M. Suzuki (Kyushu) H. Geuvers (Nijmegen) N. Takayama (Kobe) T. Hardin (Paris 6) A. Trybulec (Bialystok) M. Hazewinkel (CWI Amsterdam) S. M. Watt (UWO) M. Kohlhase (CMU) B. Wegner (Berlin) Invited Speakers Massimo Marchiori (W3C, University of Venezia) Dana Scott (CMU) Additional Referees G. Bancerek R. Gamboa G. Jojgov P. Callaghan B. Han V. Prevosto D. Doligez Table of Contents Regular Contributions Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy . . . . . . . . . . . . . . . . . . . . . . .
-
Optimal Implementation of Functional Programming Languages
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 99,30
Spedizione EUR 17,15
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540230297 ISBN 13: 9783540230298
EUR 53,49
Spedizione EUR 63,08
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheInternationalConferenceonMathematicalKnowledgeManagementhasnow reached its third edition, creating and establishing an original and stimulating scienti ccommunitytransversaltomanydi erent eldsandresearchtopics. The broad goal of MKM is the exploration of innovative, semantically enriched, d- ital encodings of mathematical information, and the study of new services and tools exploiting the machine-understandable nature of the information. MKM is naturally located in the border area between digital libraries and the mec- nization of mathematics, devoting a particular interest to the new developments in information technology, and fostering their application to the realm of ma- ematical information. The conference is meant to be a forum for presenting, discussing and comparing new tools and systems, standardization e orts, cri- calsurveys,largeexperiments,andcasestudies. Atpresent,wearestillgettingto knoweachother,tounderstandtheworkdonebyotherpeople,andthepotenti- ities o ered by their work to our own research activity. However, the conference is rapidly acquiring scienti c strength and academic interest, attracting more and more people and research groups, and o ering a challenging alternative to older, more conservative conferences. July 2004 Andrea Asperti Grzegorz Bancerek Andrzej Trybulec Organization MKM 2004 was organized by the Institute of Computer Science, University of Bia lystokinco-operationwiththeFacultyofComputerScience,Bia lystokTe- nical University and the Association of Mizar Users. Program Committee Andrzej Trybulec (Chair) University of Bia lystok, Poland Andrew A. Adams University of Reading, UK Andrea Asperti University of Bologna, Italy Bruno Buchberger RISC Linz, Austria Roy McCasland University of Edinburgh, UK James Davenport University of Bath, UK William M.
-
Mathematical Knowledge Management.
Da: CSG Onlinebuch GMBH, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
EUR 27,20
Spedizione EUR 95,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut. Gebraucht - Gut Verlagsmängelex., X, 225 p. Also available online This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
-
Optimal Implementation of Functional Programming Languages
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 114,33
Spedizione EUR 17,15
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Mathematical Knowledge Management : Second International Conference Mkm 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 117,78
Spedizione EUR 17,15
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
The Optimal Implementation of Functional Programming Languages
Lingua: Inglese
Editore: Cambridge University Press, GB, 1998
ISBN 10: 0521621127 ISBN 13: 9780521621120
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 132,47
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This book, the first in the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent Geometry of Interaction are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.
