Computer science logic 21st

Logic Programming. 21st international conference ; proceedings. ICLP 2005, Sitges, Spain, October 2 - 5, 2005. (= Lecture notes in computer science ; Vol. 3668).

Gabbrielli, Maurizio and Gopal Gupta (Edts.):

Idioma: Inglés

Editorial: Berlin, Springer, 2005

354029208X / 9783540292081

Tapa blanda

Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AlemaniaAntiquariat Thomas Haker GmbH & Co. KG

Vendedor de 5 estrellas

Contactar con el vendedor

Miembro de asociación: GIAQ

Condición: Usado - Excelente

EUR 12,50

Envío por EUR 20,00

Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Paperback. Condición: Sehr gut. XIV, 454 S. : graph. Darst. ; 24 cm Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 800.

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues)

Idioma: Inglés

Editorial: Springer, 2014

3662441446 / 9783662441442

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 54,86

Envío por EUR 13,97

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7225)

Idioma: Inglés

Editorial: Springer, 2012

3642322107 / 9783642322105

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 57,32

Envío por EUR 13,97

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)

Idioma: Inglés

Editorial: Springer, 2018

3319941437 / 9783319941431

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 61,00

Envío por EUR 13,97

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science, 3668)

Idioma: Inglés

Editorial: Springer, 2005

354029208X / 9783540292081

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 61,00

Envío por EUR 13,97

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ... (Lecture Notes in Computer Science, 5437)

Idioma: Inglés

Editorial: Springer, 2009

3642006744 / 9783642006746

Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 61,00

Envío por EUR 13,97

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Condición: New. In.

Theory and Applications of Satisfiability Testing ? SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . Computer Science and General Issues)

Idioma: Inglés

Editorial: Springer, 2018

3319941437 / 9783319941431

Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 82,51

Envío por EUR 3,44

Se envía dentro de Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

Theory and Applications of Satisfiability Testing SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . (Lecture Notes in Computer Science (10929))

Idioma: Inglés

Editorial: Springer, 2018

3319941437 / 9783319941431

Tapa blanda

Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 118,89

Envío por EUR 29,15

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers (Lecture Notes in Computer Science (7207))

Idioma: Inglés

Editorial: Springer, 2012

3642319505 / 9783642319501

Tapa blanda

Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Usado - Como Nuevo

EUR 118,89

Envío por EUR 29,15

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Computer Science Logic: 21st International Workshop, Csl 2007, 16th Annual Conference of the Eacsl

Duparc, Jacques (Editor)/ Henzinger, Thomas A. (Editor)

Idioma: Inglés

Editorial: Springer-Verlag New York Inc, 2007

3540749144 / 9783540749141

Tapa blanda

Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 157,38

Envío por EUR 14,57

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Paperback. Condición: Brand New. 1st edition. 614 pages. 9.10x6.00x1.40 inches. In Stock.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, . (Lecture Notes in Computer Science)

Idioma: Inglés

Editorial: Springer, 2025

3031959078 / 9783031959073

Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 202,30

Envío por EUR 3,44

Se envía dentro de Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New.

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (Lecture Notes in Computer Science (4646))

Idioma: Inglés

Editorial: Springer, 2007

3540749144 / 9783540749141

Tapa blanda

Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Usado - Como Nuevo

EUR 182,53

Envío por EUR 29,15

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Institutions of higher learning in the 21st century digital logic circuits of Computer Science and Engineering textbook series(Chinese Edition)

YANG XI QUAN . CUI SHI JU . ZHANG HUA

Idioma: Chino

Editorial: University of Electronic Science and Technology Publishing House, 2004

7810945769 / 9787810945769

Tapa blanda

Librería: liu xing, Nanjing, JS, Chinaliu xing

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 47,39

Envío por EUR 15,53

Se envía de China a Estados Unidos de America

Cantidad disponible: 1 disponibles

paperback. Condición: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Paperback. Pub Date :2004-11-01 Pages: 185 Language: Chinese Publisher: University of Electronic Science and Technology Publishing House 21st century universities of Computer Science and Engineering…

FPGA digital logic design in the 21st century undergraduate computer science textbook series(Chinese Edition)

CAI XIAO YAN

Idioma: Chino

Editorial: Tsinghua University Press, 2013

7302309752 / 9787302309758

Tapa blanda

Librería: liu xing, Nanjing, JS, Chinaliu xing

Vendedor de 5 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 49,83

Envío por EUR 15,53

Se envía de China a Estados Unidos de America

Cantidad disponible: 1 disponibles

paperback. Condición: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Paperback. Pub Date :2013-05-01 Pages: 163 Language: Chinese Publisher: Tsinghua University Press. The 21st century undergraduate computer science textbook series : FPGA digital logic design for the…

Theory and Applications of Satisfiability Testing ? SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . Computer Science and General Issues)

Idioma: Inglés

Editorial: Springer, 2018

3319941437 / 9783319941431

Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 81,86

Envío por EUR 7,58

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. Print on Demand.

Theory and Applications of Satisfiability Testing ? SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . Computer Science and General Issues)

Idioma: Inglés

Editorial: Springer, 2018

3319941437 / 9783319941431

Tapa blanda
Impresión bajo demanda

Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 82,69

Envío por EUR 9,95

Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. PRINT ON DEMAND.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, . (Lecture Notes in Computer Science)

Idioma: Inglés

Editorial: Springer, 2025

3031959078 / 9783031959073

Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 208,62

Envío por EUR 7,58

Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. Print on Demand.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, . (Lecture Notes in Computer Science)

Idioma: Inglés

Editorial: Springer, 2025

3031959078 / 9783031959073

Tapa blanda
Impresión bajo demanda

Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

Vendedor de 4 estrellas

Contactar con el vendedor

Condición: Nuevo

EUR 211,97

Envío por EUR 9,95

Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 4 disponibles

Condición: New. PRINT ON DEMAND.

Computer science logic 21st (18 resultados)

Filtrar la búsqueda

Logic Programming. 21st international conference ; proceedings. ICLP 2005, Sitges, Spain, October 2 - 5, 2005. (= Lecture notes in computer science ; Vol. 3668).

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues)

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7225)

Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, ... Computer Science and General Issues)

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science, 3668)

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, ... (Lecture Notes in Computer Science, 5437)

Theory and Applications of Satisfiability Testing ? SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . Computer Science and General Issues)

Theory and Applications of Satisfiability Testing SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . (Lecture Notes in Computer Science (10929))

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers (Lecture Notes in Computer Science (7207))

Computer Science Logic: 21st International Workshop, Csl 2007, 16th Annual Conference of the Eacsl

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, . (Lecture Notes in Computer Science)

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (Lecture Notes in Computer Science (4646))

Institutions of higher learning in the 21st century digital logic circuits of Computer Science and Engineering textbook series(Chinese Edition)

FPGA digital logic design in the 21st century undergraduate computer science textbook series(Chinese Edition)

Theory and Applications of Satisfiability Testing ? SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . Computer Science and General Issues)

Theory and Applications of Satisfiability Testing ? SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, . Computer Science and General Issues)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, . (Lecture Notes in Computer Science)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, . (Lecture Notes in Computer Science)