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

Lingua: Inglese

Editore: Berlin, Springer, 2005

354029208X / 9783540292081

Brossura

Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, GermaniaAntiquariat Thomas Haker GmbH & Co. KG

Venditore con 5 stelle

Contatta il venditore

Membro dell’associazione: GIAQ

Condizione: Usato - Ottimo

EUR 12,50

EUR 20,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: 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 (Lecture Notes in Computer Science, 8652)

Lingua: Inglese

Editore: Springer, 2014

3662441446 / 9783662441442

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 54,87

EUR 13,17 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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)

Lingua: Inglese

Editore: Springer, 2012

3642322107 / 9783642322105

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 57,33

EUR 10,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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

Lingua: Inglese

Editore: Springer, 2009

3642006744 / 9783642006746

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 61,01

EUR 10,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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)

Lingua: Inglese

Editore: Springer, 2012

3642319505 / 9783642319501

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 61,01

EUR 13,17 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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)

Lingua: Inglese

Editore: Springer, 2018

3319941437 / 9783319941431

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 61,01

EUR 13,17 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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

Lingua: Inglese

Editore: Springer, 2005

354029208X / 9783540292081

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 61,01

EUR 13,17 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

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)

Lingua: Inglese

Editore: Springer, 2018

3319941437 / 9783319941431

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,46

EUR 3,47 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.

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

Lingua: Inglese

Editore: Springer, 2012

3642319505 / 9783642319501

Brossura

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

Contatta il venditore

Condizione: Usato - Come nuovo

EUR 118,91

EUR 29,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

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

Lingua: Inglese

Editore: Springer, 2018

3319941437 / 9783319941431

Brossura

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 118,91

EUR 29,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2007

3540749144 / 9783540749141

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 159,60

EUR 14,58 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

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

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

Lingua: Inglese

Editore: Springer, 2007

3540749144 / 9783540749141

Brossura

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

Contatta il venditore

Condizione: Usato - Come nuovo

EUR 182,58

EUR 29,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

Lingua: Cinese

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

7810945769 / 9787810945769

Brossura

Da: liu xing, Nanjing, JS, Cinaliu xing

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 47,82

EUR 15,67 spedizione

Spedito da Cina a U.S.A.

Quantità: 1 disponibili

paperback. Condizione: 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 textbook series : digital logic circuits . easy to introduce a system of digital logic circuits contents and development of new technologies . the main contents include: number system and code system ; logical algebra ; integrate combinational logic circuit ; trigger logic circuit ; sequential log.Four Satisfaction guaranteed,or money back.…

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

CAI XIAO YAN

Lingua: Cinese

Editore: Tsinghua University Press, 2013

7302309752 / 9787302309758

Brossura

Da: liu xing, Nanjing, JS, Cinaliu xing

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 50,29

EUR 15,67 spedizione

Spedito da Cina a U.S.A.

Quantità: 1 disponibili

paperback. Condizione: 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 digital logic courses supporting the experimental materials . As a professional foundation courses supporting experiments . its main purpose is for students to learn subsequent hardware training courses based hardware design and experimental skills . The 21st century undergraduate computer science.Four Satisfaction guaranteed,or money back. …

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)

Lingua: Inglese

Editore: Springer, 2018

3319941437 / 9783319941431

Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 82,21

EUR 7,58 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

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

Lingua: Inglese

Editore: Springer, 2018

3319941437 / 9783319941431

Brossura
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Contatta il venditore

Condizione: Nuovo

EUR 82,04

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. PRINT ON DEMAND.

Computer science logic 21st (16 risultati)

Perfeziona la tua ricerca

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 (Lecture Notes in Computer Science, 8652)

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)

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

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)

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)

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

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)

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

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

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

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)