Gesamtpreis (1 Artikel Artikel):
Versandziel:
logical foundations computer science (60 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (60)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (49)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (35)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings (Lecture Notes in Computer Science v. 1234)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 431 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.
-
Logic at Botik 89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR July 3-8, 1989 (Lecture Notes in Computer Science 363)
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,87
EUR 10,82 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 363; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine foot; faintly bumped spine head and rubbed corners/edges. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with strong binding and bright text. ADG. Ex-Library.
-
Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6
Buch 9 von 39: Lecture Notes in LogicSprache: Englisch
Verlag: A K Peters/CRC Press (edition ), 2022
ISBN 10: 1568811535 ISBN 13: 9781568811536
Paperback. Zustand: Very Good. 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.
-
Logical foundations of computer science Teil: 2., Tver '92 : Tver, Russia, July 20 - 24, 1992 / Lecture notes in computer science ; Vol. 620
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992
ISBN 10: 3540557075 ISBN 13: 9783540557074
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 1992. IX, 514 S. : graph. Darst. Edition 1992, 514 p.! Unread book. Very good condition. Slight traces of storage. 9783540557074 Sprache: Englisch Gewicht in Gramm: 1000.
-
Logic at Botik '89 : proceedings. Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3 - 8, 1989. A. R. Meyer , M. A. Taitslin (ed.), Lecture notes in computer science
Sprache: Englisch
Verlag: Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong : Springer, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
kart. Zustand: Sehr gut. X, 289 S. , 25 cm 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, Später zeitschr.-artige Reihe. - Literaturangaben Sprache: Englisch Gewicht in Gramm: 550.
-
![Bild des Verkäufers für Gödel '96. Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings. zum Verkauf von Antiquariat Bookfarm](https://pictures.abebooks.com/inventory/md/md32251015824.jpg)
Gödel '96. Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. VIII, 322 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D04217 9783540614340 Sprache: Englisch Gewicht in Gramm: 550.
-
Logical Foundations of Computer Science - Tver '92 Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Anbieter: True Oak Books, Highland, NY, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Paperback. Zustand: Good+. Lecture Notes In Computer Science, 620; 6.1 X 1.19 X 9.25 inches; 514 pages; Ex-Library copy with usual identifiers. Light yellowing on pages. Slightly cocked spine. Minor creasing on spine. Light rubbing on the covers. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated.
-
Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science)
Sprache: Englisch
Verlag: Cambridge University Press, 1991
ISBN 10: 0521383943 ISBN 13: 9780521383943
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
EUR 17,60
EUR 28,47 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbCloth/Laminated Boards. Zustand: Good. Type: Book N.B. Small plain label to inside front cover. Corners of boards bumped. Letter J stamped on title page. Light rubbing to head and tail of spine.
-
Logical Foundations Of Computer Science--tver *92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (lecture Notes In Computer Science)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science, 813)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 51,75
EUR 12,12 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Shows some signs of wear but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Logical Foundations Of Computer Science
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,54
EUR 5,72 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Buch 32 von 39: Lecture Notes in LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,40
EUR 11,39 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 230 pages. 8.75x6.00x0.50 inches. In Stock.
-
Logical Foundations of Computer Science
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 72,40
EUR 7,40 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 484 Illus.
-
Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6
Buch 9 von 39: Lecture Notes in LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,47
EUR 14,24 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 322 pages. 9.00x6.50x0.75 inches. In Stock.
-
Logical Foundations of Computer Science - Tver '92
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 80,34
EUR 7,40 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 514.
-
Logical Foundations of Computer Science: International Symposium, Lfcs 2020, Deerfield Beach, Fl, USA, January 47, 2020, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,63
EUR 11,39 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 300 pages. 9.25x6.10x0.75 inches. In Stock.
-
Logical Foundations of Computer Science: International Symposium, Lfcs 2018, Deerfield Beach, Fl, USA, January 8-11, 2018, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,85
EUR 14,24 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 380 pages. 9.25x6.10x0.87 inches. In Stock.
-
Logical Foundations of Computer Science: International Symposium, Lfcs 2013, San Diego, Ca, USA, January 6-8, 2013. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,57
EUR 14,24 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 425 pages. 9.25x6.25x1.00 inches. In Stock.
-
Logical Foundations of Computer Science: International Symposium, Lfcs 2009, Deerfield Beach, Fl, USA, January 3-6, 2009, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,55
EUR 14,24 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2009 edition. 467 pages. 9.25x6.25x1.25 inches. In Stock.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer International Publishing, 2017
ISBN 10: 3319720554 ISBN 13: 9783319720555
EUR 48,37
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
Anbieter: Speedyhen, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,95
EUR 46,70 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
-
Logical Foundations Of Computer Science
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2017, 2017
ISBN 10: 3319720554 ISBN 13: 9783319720555
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the InternationalSymposium on Logical Foundations of Computer Science, LFCS 2018, held inDeerfield Beach, FL, USA, in January 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2007, 2007
ISBN 10: 3540727329 ISBN 13: 9783540727323
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science. 532 pp. Englisch.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer International Publishing, Springer Nature Switzerland Dez 2019, 2019
ISBN 10: 3030367541 ISBN 13: 9783030367541
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.
-
Logical Foundations of Computer Science
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Dez 2015, 2015
ISBN 10: 3319276824 ISBN 13: 9783319276823
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from 46 submissions. The scopeof the Symposium is broad and includes constructive mathematics and typetheory; homotopy type theory; logic, automata, and automatic structures;computability and randomness; logical foundations of programming; logicalaspects of computational complexity; parameterized complexity; logicprogramming and constraints; automated deduction and interactive theoremproving; logical methods in protocol and program verification; logical methodsin program specification and extraction; domain theory logics; logicalfoundations of database theory; equational logic and term rewriting; lambda andcombinatory calculi; categorical logic and topological semantics; linear logic;epistemic and temporal logics; intelligent and multiple-agent system logics;logics of proof and justification; non-monotonic reasoning; logic in gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system design logics; and other logics in computerscience.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.
-
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4¿7, 2020, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030367541 ISBN 13: 9783030367541
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
-
Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.
