Edité par Springer-Verlag, Berlin, 1989
ISBN 10 : 354051659X ISBN 13 : 9783540516590
Langue: anglais
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
EUR 7,99
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 385. Ex-Library. Ink stamp and previous owner's sticker on the front cover. Small pen inscription on title page. Minute traces of sticker residue and faint bumps across the spine head and some edges. Sound, clean book with tight binding. ADG. Ex-Library.
Edité par Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1993
ISBN 10 : 3540569928 ISBN 13 : 9783540569923
Langue: anglais
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
EUR 9,95
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. VIII, 439 S. : graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620.
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
EUR 13,44
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Gut. 399 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
EUR 2,74
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 439 pp., Paperback, ex library, else text clean and binding tight. - 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.
Edité par Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10 : 3540569928 ISBN 13 : 9783540569923
Langue: anglais
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
EUR 17,28
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 702. Minor shelfwear to the cover, with a crease on the rear side. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
EUR 4,38
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 437 pp., Paperback, ex library, else text clean and binding tight. - 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.
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
EUR 13
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 399 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - 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.
Vendeur : CONTINENTAL MEDIA & BEYOND, Ocala, FL, Etats-Unis
EUR 7,23
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Used: Good. xlibrary 1988 paperback vol 329 withdrawn stamp in book/ on edge of pages clean text pages are tanned 346 pages/// M-3.
Vendeur : ralfs-buecherkiste, Herzfelde, MOL, Allemagne
EUR 15
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Wie neu. 346 Ehemaliges Bibliotheksexemplar, Gebrauchsspuren, div. Stempel, gebräunt Mathematic Mathematik With figures. Ex-Library. Brownish paper. Guter Zustand/ Good With figures. Ex-Library. ha1090478 Sprache: Deutsch Gewicht in Gramm: 750.
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
EUR 37,53
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Gut. 437 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
EUR 44,14
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Sehr gut. 399 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
Edité par Springer-Verlag, Berlin, Germany, 1988
ISBN 10 : 3540502416 ISBN 13 : 9783540502418
Langue: anglais
Vendeur : SUNSET BOOKS 2, Newark, OH, Etats-Unis
Edition originale
EUR 18,39
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. No Jacket. 1st. With full markings, pocket, and/or bookplate. Light Wear, soil. Size: 8vo Size: 8vo - over 7¾ - 9¾" tall. Ex-Library.
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 3,50
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. 0387569928 Ex-library paperback in very nice condition with the usual markings and attachments.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,51
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,51
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,51
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,51
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,51
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 60,52
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Berlin Heidelberg, 1992
ISBN 10 : 354055789X ISBN 13 : 9783540557890
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results,cut elimination, denotational semantics, infinitary queries,Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal processes, persistentPetri nets, plausibility logic, program synthesis systems,quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution,and many others.
Edité par Springer Berlin Heidelberg, 1988
ISBN 10 : 3540502416 ISBN 13 : 9783540502418
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers which were presented to the workshop 'Computer-Science Logic' held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the 'Computer-Science Logic' workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.
Edité par Springer Berlin Heidelberg, 1990
ISBN 10 : 3540527532 ISBN 13 : 9783540527534
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.
Edité par Springer Berlin Heidelberg, 1989
ISBN 10 : 354051659X ISBN 13 : 9783540516590
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers which were presented at the second workshop 'Computer Science Logic' held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
Edité par Springer Berlin Heidelberg, 1993
ISBN 10 : 3540569928 ISBN 13 : 9783540569923
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form.Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.
Edité par Springer Berlin Heidelberg, 1991
ISBN 10 : 3540544879 ISBN 13 : 9783540544876
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24 papers, chosen by means of a reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,92
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Edité par Springer-Verlag, Berlin, 1985., 1989
ISBN 10 : 354051659X ISBN 13 : 9783540516590
Langue: anglais
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
EUR 50,99
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : gut. 1989. CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science) In deutscher Sprache. 412 pages.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,89
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 57,13
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 57,13
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.