Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
EUR 4,44
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Publicado por Springer-Verlag, Berlin, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Idioma: Inglés
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 7,95
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Estado de la sobrecubierta: 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.
Librería: Black Dog Books, Emerson, NJ, Estados Unidos de America
Original o primera edición
EUR 22,18
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Fine. 1st Edition. Book.
Publicado por A K Peters/CRC Press (edition ), 2022
ISBN 10: 1568811535 ISBN 13: 9781568811536
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
EUR 31,29
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
Librería: HM Books, Kingston, NY, Estados Unidos de America
EUR 25,72
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: VeryGood. Covers show some scuffing and edges show some light rubbing.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
EUR 18,71
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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.
Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992
ISBN 10: 3540557075 ISBN 13: 9783540557074
Idioma: Inglés
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
EUR 19,90
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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.
Publicado por Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong : Springer, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Idioma: Inglés
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 10,99
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritokart. Condición: 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.
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Miembro de asociación: IOBA
Original o primera edición
EUR 44,36
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
Librería: GoldBooks, Denver, CO, Estados Unidos de America
EUR 41,34
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
Publicado por Cambridge University Press, 1991
ISBN 10: 0521383943 ISBN 13: 9780521383943
Idioma: Inglés
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Miembro de asociación: PBFA
EUR 17,77
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCloth/Laminated Boards. Condición: 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.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 41,97
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. We are unable to ship to Canada at this time.0387557075 Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 42,59
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 42,65
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Publicado por Cambridge University Press, 2012
ISBN 10: 0521181305 ISBN 13: 9780521181303
Idioma: Inglés
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 46,23
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press, 2012
ISBN 10: 0521181305 ISBN 13: 9780521181303
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 53,24
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Cambridge University Press, 1991
ISBN 10: 0521383943 ISBN 13: 9780521383943
Idioma: Inglés
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 55,91
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1994
ISBN 10: 3540581405 ISBN 13: 9783540581406
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 56,37
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity. This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030367541 ISBN 13: 9783030367541
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 56,37
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. 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. 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. domain theory logics; logical foundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,84
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,84
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,84
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,84
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,16
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1992
ISBN 10: 3540557075 ISBN 13: 9783540557074
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 56,51
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume presents the papers selected for the SymposiumLogic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both theformer Soviet Union and the West, and indicates a new era ofinternational cooperation. Sponsors of the meeting include:the Association for Computing Machinery, the Association forSymbolic Logic, andthe Committee on MathematicalFoundations of Computer Science of IEEE. The book is a unique source of information on the state ofcomputer science research in the former Soviet Union andpresents important discoveries in the area of logicalfoundations of computer science. Sponsors of the meeting include:the Association for Computing Machinery, the Association forSymbolic Logic, andthe Committee on MathematicalFoundations of Computer Science of IEEE. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 56,65
Convertir monedaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings. Book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,31
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642357210 ISBN 13: 9783642357213
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 56,66
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational 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 logic; 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; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. logical foundations of database theory; intelligent and multiple agent system logics; distributed system logics; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1997
ISBN 10: 3540630457 ISBN 13: 9783540630456
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 56,77
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community. This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.The volume presents 42 revised refereed papers carefully selected by the program committee. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540727329 ISBN 13: 9783540727323
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 56,77
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. 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. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.