Order Total (1 Item Items):
Shipping Destination:
Borger Buning (69 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (69)
- 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
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (67)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (28)
- Not Print on Demand (51)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
CSL '87: 1ST WORKSHOP ON COMPUTER SCIENCE LOGIC, KARLSRUHE, FRG, OCTOBER 12-16, 1987. PROCEEDINGS (LECTURE NOTES IN COMPUTER SCIENCE)
Seller: Green Ink Booksellers, Hay-on-Wye, POWYS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Author's dedication on front free endpaper Nice clean bright tight book 346 pages.
-
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science 626)
Published by Springer-Verlag, Berlin, 1992
ISBN 10: 038755789X ISBN 13: 9780387557892
Language: English
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 626; Ex-Library. Previous owner's sticker and mild crease across front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings (Lecture Notes in Computer Science 385)
Published by Springer-Verlag, Berlin, 1989
ISBN 10: 354051659X ISBN 13: 9783540516590
Language: English
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: 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.
-
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992; selected papers. Lecture notes in computer science ; Vol. 702
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Language: English
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 8.86
Convert currency£ 9.47 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBroschiert. Condition: 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.
-
Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992: Selected Papers
Published by Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Language: English
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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.
-
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science 440)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 5.37
Convert currency£ 13.40 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: 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.
-
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science 702)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 5.37
Convert currency£ 13.40 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: 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.
-
£ 11.97
Convert currency£ 7.78 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, No. 385)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
£ 12.53
Convert currency£ 13.40 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: 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.
-
£ 6.33
Convert currency£ 28.29 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Used: Good. xlibrary 1988 paperback vol 329 withdrawn stamp in book/ on edge of pages clean text pages are tanned 346 pages/// M-3.
-
£ 13.36
Convert currency£ 17.30 shipping from Germany to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: 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.
-
£ 33.43
Convert currency£ 7.78 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
£ 39.31
Convert currency£ 7.78 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
Lecture Notes in Computer Science, Volume 329: CSL '87, 1st Workshop on Computer Science Logic, 12-16 October 1987, Karlsruhe, Germany
Published by Springer-Verlag, Berlin, Germany, 1988
ISBN 10: 3540502416 ISBN 13: 9783540502418
Language: English
First Edition
£ 16.10
Convert currency£ 34.99 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: 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.
-
Paperback. Condition: New.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science, 533)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science, 329)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science, 440)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Like New. Like NewLIKE NEW. book.
-
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Published by Springer Berlin Heidelberg, 1992
ISBN 10: 354055789X ISBN 13: 9783540557890
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Published by Springer Berlin Heidelberg, 1988
ISBN 10: 3540502416 ISBN 13: 9783540502418
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Published by Springer Berlin Heidelberg, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
£ 3.07
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. 0387569928 Ex-library paperback in very nice condition with the usual markings and attachments.
-
CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540527532 ISBN 13: 9783540527534
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 354051659X ISBN 13: 9783540516590
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540544879 ISBN 13: 9783540544876
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
Published by Springer-Verlag, Berlin, 1985., 1989
ISBN 10: 354051659X ISBN 13: 9783540516590
Language: English
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
£ 45.86
Convert currency£ 14.66 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover. Condition: 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.
