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.):

Langue : anglais

Edité par Berlin, Springer, 2005

354029208X / 9783540292081

Couverture souple

Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Membre d’une association professionnelle : GIAQ

Etat: Occasion - Très bon

EUR 12,50

EUR 20,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : 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)

Langue : anglais

Edité par Springer, 2014

3662441446 / 9783662441442

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 54,86

EUR 13,97 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2012

3642322107 / 9783642322105

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 57,32

EUR 13,97 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2018

3319941437 / 9783319941431

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,00

EUR 13,97 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

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

Langue : anglais

Edité par Springer, 2005

354029208X / 9783540292081

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,00

EUR 13,97 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2009

3642006744 / 9783642006746

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,00

EUR 13,97 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2018

3319941437 / 9783319941431

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 82,51

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : 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))

Langue : anglais

Edité par Springer, 2018

3319941437 / 9783319941431

Couverture souple

Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 118,89

EUR 29,15 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : 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))

Langue : anglais

Edité par Springer, 2012

3642319505 / 9783642319501

Couverture souple

Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Occasion - Comme neuf

EUR 118,89

EUR 29,15 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : 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)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2007

3540749144 / 9783540749141

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 157,38

EUR 14,57 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : 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)

Langue : anglais

Edité par Springer, 2025

3031959078 / 9783031959073

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 202,30

EUR 3,44 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : 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))

Langue : anglais

Edité par Springer, 2007

3540749144 / 9783540749141

Couverture souple

Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Occasion - Comme neuf

EUR 182,53

EUR 29,15 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : 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

Langue : chinois

Edité par University of Electronic Science and Technology Publishing House, 2004

7810945769 / 9787810945769

Couverture souple

Vendeur : liu xing, Nanjing, JS, Chineliu xing

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 47,39

EUR 15,53 expédition

Expédition depuis Chine vers Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : 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 text…

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

CAI XIAO YAN

Langue : chinois

Edité par Tsinghua University Press, 2013

7302309752 / 9787302309758

Couverture souple

Vendeur : liu xing, Nanjing, JS, Chineliu xing

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 49,83

EUR 15,53 expédition

Expédition depuis Chine vers Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : 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 digi…

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)

Langue : anglais

Edité par Springer, 2018

3319941437 / 9783319941431

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 81,86

EUR 7,58 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : 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)

Langue : anglais

Edité par Springer, 2018

3319941437 / 9783319941431

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 82,69

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : 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)

Langue : anglais

Edité par Springer, 2025

3031959078 / 9783031959073

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 208,62

EUR 7,58 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : 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)

Langue : anglais

Edité par Springer, 2025

3031959078 / 9783031959073

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 211,97

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. PRINT ON DEMAND.

Computer science logic 21st (18 résultats)

Affiner la recherche

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)