Importo totale (1 articolo articoli):
Destinazione ordine:
scedrov a (28 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (28)
- 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 (16)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (6)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (18)
- Non Print on Demand (27)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 13,24
Spedizione EUR 8,11
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
-
LOGIC AND COMPUTER SCIENCE Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme 1988 (Lecture Notes in Mathematics 1429)
Lingua: Inglese
Editore: Springer, 1990. 9783540527343, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Da: Rothwell & Dunworth (ABA, ILAB), Dulverton, Regno Unito
Membro dell'associazione: ABA ILAB
Valutazione del venditore 5 su 5 stelle
EUR 11,93
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 30, Number 2, February 1986
Editore: Amsterdam - 1986, 1986
EUR 10,00
Spedizione EUR 15,20
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. North-Holland, Amsterdam - 1986, in-8, broché, 104 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 3, November 1986
Editore: Amsterdam - 1986, 1986
EUR 10,00
Spedizione EUR 15,20
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. North-Holland, Amsterdam - 1986, in-8, broché, 105 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 1, September 1986
Editore: Amsterdam - 1986, 1986
EUR 10,00
Spedizione EUR 15,20
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. North-Holland, Amsterdam - 1986, in-8, broché, 109 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 27, Number 1, August 1984
Editore: Amsterdam - 1984, 1984
EUR 10,00
Spedizione EUR 15,20
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. North-Holland, Amsterdam - 1984, in-8, broché, 107 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 25, Number 2, November 1983
Editore: Amsterdam - 1983, 1983
EUR 10,00
Spedizione EUR 15,20
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloEd. North-Holland, Amsterdam - 1983, in-8, broché, 110 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
-
Logic and Computer Science
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 49,05
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
-
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,73
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Categories, Allegories
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 62,07
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 316 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Categories, Allegories: Volume 39 (North-Holland Mathematical Library)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,67
Spedizione EUR 17,94
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,11
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Harvey Friedman's Research on the Foundations of Mathematics.
Lingua: Inglese
Editore: Amsterdam: North-Holland, 1985., 1985
ISBN 10: 0444878343 ISBN 13: 9780444878342
Da: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.
Valutazione del venditore 3 su 5 stelle
Prima edizione
Hardcover. Condizione: Near Fine. No Jacket. 1st Edition. FIRST EDITION. Original cloth. Near Fine. Studies in Logic and the Foundations of Mathematics 117.
-
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,09
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Harvey Friedman's Research on the Foundations of Mathematics
Lingua: Inglese
Editore: North-Holland Publishing Company, Amsterdam - New York - Oxford, 1985
ISBN 10: 0444878343 ISBN 13: 9780444878342
Prima edizione
EUR 50,00
Spedizione EUR 27,00
Spedito da Belgio a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Good. No Jacket. 1st Edition. xvi - 408 pp. North-Holland Publishing Company, Amsterdam - New York - Oxford 1985. First Edition. Hardcover. Studies in Logic and the Foundations of Mathematics - Volume 117. Yellow linen cover. Clean and unmarked inside. Ex-Lib of the Library of the Ghent University: usual numbers, stamps and stickers. Otherwise a good/very good copy.
-
Categories, Allegories
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 316.
-
Categories, Allegories
Lingua: Inglese
Editore: Elsevier Science and Technology, US, 1990
ISBN 10: 0444703683 ISBN 13: 9780444703682
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 83,41
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
-
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,72
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Categories, Allegories
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 73,13
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 316.
-
Categories, Allegories (Volume 39) (North-Holland Mathematical Library, Volume 39)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 74,36
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Logic and Computer Science
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 33,72
Spedizione EUR 75,30
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
-
The Journal of Symbolic Logic | Vol. 57; No. 4; December 1992 | ISSN 0022-4812
Editore: Association for Symbolic logic, Inc.; ICSU, Illinois, 61820, 1992
Da: Attic Books, Cheltenham, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 38,18
Spedizione EUR 23,17
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCard Covers. Condizione: Fine. First Edition. - 252 mm. Printed card covers. Illustrated. Diagrams. Logic equations. Theorems. Lemmas. Proofs. Pp. 1154-1544; viii. Includes abstracts, members, notices and errata. Very mild wear to cover and first few pages o/w fine.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Software Security -- Theories and Systems | Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers | Mitsuhiro Okada (u. a.) | Taschenbuch | xii | Englisch | 2003 | Springer | EAN 9783540007081 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Tools and Methods of Program Analysis | 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers | Vladimir Itsykson (u. a.) | Taschenbuch | Communications in Computer and Information Science | xviii | Englisch | 2017 | Springer | EAN 9783319717333 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 72,75
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Logic, Language, Information, and Computation | 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings | Helle Hvid Hansen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxviii | Englisch | 2023 | Springer | EAN 9783031397837 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Categories, Allegories
Lingua: Inglese
Editore: Elsevier Science and Technology, US, 1990
ISBN 10: 0444703683 ISBN 13: 9780444703682
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,08
Spedizione EUR 75,30
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.
-
EUR 152,51
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New.
-
Logic and Computer Science
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
EUR 26,39
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conje.
