ezanga Logo
Search: Web  Shopping

Logic Design

(440 Matches)
 Books Sorted by PopularitySort by Title
Programming Challenges (1 Releases)
Subtitle: The Programming Contest Training Manual
Author: Steven S. Skiena, Miguel Revilla
Rating: Write a Review
Paperback
from$23.93
(9 Sellers)
Check Prices
Abstract Computing Machines (1 Releases)
Subtitle: A Lambda Calculus Perspective
Author: Werner Kluge
Rating: Write a Review
Hardcover
from$39.92
(2 Sellers)
Check Prices
Abstract State Machines 2004. Advances In Theory And Practice (1 Releases)
Subtitle: 11th International Workshop, Asm 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Editor: Bernhard Thalheim
Editor: Wolf Zimmermann

Rating: Write a Review
Paperback
from$14.52
(3 Sellers)
Check Prices
Abstraction, Reformulation And Approximation (1 Releases)
Subtitle: 6th International Symposium, Sara 2005, Airth Castle, Scotland, Uk, July 26-29, 2005, Proceedings

Editor: L. Saitta
Editor: J. D. Zucker

Rating: Write a Review
Paperback
from$2.25
(3 Sellers)
Check Prices
Adapting Proofs-As-Programs (1 Releases)
Subtitle: The Curry-Howard Protocol
Author: John N. Crossley, M. Wirsing, Iman Hafiz Poernomo
Rating: Write a Review
Hardcover
from$53.64
(3 Sellers)
Check Prices
Adsi Scripting (1 Releases)
Subtitle: Tfm
Author: Cade Fassett
Rating: Write a Review
Paperback
from$25.52
(5 Sellers)
Check Prices
Advanced Database Systems (1 Releases)
Subtitle: 10th British National Conference on Databases, Bncod 10, Aberdeen, Scotland, July 6-8, 1992 : Proceedings
Author: Peter Gray M.D.
Editor: Robert J. Lucas

Rating: Write a Review
Paperback
from$15.00
(3 Sellers)
Check Prices
Advances in Computer Graphics Hardware III (1 Releases)

Editor: A. A. M. Kuijk

Rating: Write a Review
Hardcover
from$41.50
(3 Sellers)
Check Prices
Advances in Computer Science, Information Security and Privacy (1 Releases)
Subtitle: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings

Editor: Anupam Datta

Rating: Write a Review
Paperback
from$56.37
(5 Sellers)
Check Prices
Advances in Computer Systems Architecture (1 Releases)
Subtitle: 8th Asia-Pacific Conference, Acsac 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003 : Proceedings
Author: Amos R. Omondi, Stanislav Sedukhin, Japan) ACSAC 2003 (2003 : Aizuwakamatsu-shi
Editor: Amos R. Omondi

Rating: Write a Review
Paperback
from$25.00
(4 Sellers)
Check Prices
Advances in Logic Programming Theory (1 Releases)

Editor: Giorgio Levi

Rating: Write a Review
from$3.20
(1 Seller)
Check Prices
Advances in Modal Logic (1 Releases)
Author: Maarten De Rijke, Frank Wolter, Heinrich Wansing
Editor: Heinrich Wansing

Rating: Write a Review
Hardcover
from$116.00
(3 Sellers)
Check Prices
Advances in Petri Nets 1988 (1 Releases)

Editor: Grzegorz Rozenberg

Rating: Write a Review
from$17.26
(1 Seller)
Check Prices
Advances in Petri Nets 1991 (1 Releases)

Editor: Grzegorz Rozenberg

Rating: Write a Review
from$12.50
(1 Seller)
Check Prices
Advances in Petri Nets, 1990 (1 Releases)

Editor: Grzegorz Rozenberg

Rating: Write a Review
from$16.66
(1 Seller)
Check Prices
Algebra And Coalgebra in Computer Science (1 Releases)
Subtitle: Fist International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Author: Jose Luiz Fiadeiro, Wales) Calco (2005 Swansea
Editor: Neil Harman
Editor: Jose Luiz Fiadeiro
Editor: Jan Rutten
Editor: Markus Roggenbach

Rating: Write a Review
Paperback
from$28.99
(4 Sellers)
Check Prices
Algebra and Coalgebra in Computer Science (1 Releases)
Subtitle: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Editor: Andrzej Tarlecki
Editor: Alexander Kurz
Editor: Marina Lenisa

Rating: Write a Review
Paperback
from$75.96
(4 Sellers)
Check Prices
Algebra, Meaning, And Computation (1 Releases)
Subtitle: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Editor: Jean-Pierre Jouannaud
Editor: Kokichi Futatsugi
Editor: Jose Meseguer

Rating: Write a Review
from$109.00
(1 Seller)
Check Prices
Algebraic and Logic Programming (1 Releases)
Subtitle: Third International Conference, Pisa, Italy, September 2-4, 1992 : Proceedings
Author: H. Kirchner
Editor: Giorgio Levi

Rating: Write a Review
Paperback
from$64.94
(2 Sellers)
Check Prices
Algebraic and Logic Programming (1 Releases)
Subtitle: 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Author: International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid, Spain), International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany)
Editor: J. Heering
Editor: K. Meinke
Editor: Michael Hanus

Rating: Write a Review
Paperback
from$23.75
(3 Sellers)
Check Prices
Algebraic and Logic Programming (1 Releases)
Subtitle: 5th International Confernence, Alp '96, Aachen, Germany, September 25-27, 1996 : Proceedings
Author: M. Rodriguez Artalejo, Michael Hanus, Germany) Alp '9 (1996 Aachen
Rating: Write a Review
Paperback
from$6.55
(4 Sellers)
Check Prices
Algebraic and Logic Programming (1 Releases)
Subtitle: International Workshop
Author: P. Lescanne, J. Grabowski
Editor: W. Wechler

Rating: Write a Review
Paperback
from$16.53
(3 Sellers)
Check Prices
Algebraic Approaches to Program Semantics (1 Releases)
Author: Michael A. Arbib, Ernest G. Manes
Rating: Write a Review
from$16.97
(1 Seller)
Check Prices
Algebraic Biology (1 Releases)
Subtitle: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-august 2, 2008 Proceedings

Editor: Hiroshi Yoshida
Editor: Katsuhisa Horimoto
Editor: Markus Rosenkranz
Editor: Georg Regensburger

Rating: Write a Review
Paperback
from$45.47
(3 Sellers)
Check Prices
Algebraic Informatics (1 Releases)
Subtitle: 3rd International Conference on Algebraic Informatics, Cai 2009, Thessaloniki, Greece, Mai 19-22, 2009

Editor: Symeon Bozapalidis
Editor: George Rahonis

Rating: Write a Review
Paperback
from$81.56
(2 Sellers)
Check Prices
Page: 1 | 2 | 3 | 4 | 5 | Next »

© Copyright 2003 - 2010 eZanga.com, Inc.All Rights Reserved.

Certain supplemental information provided by
© 1981-2010 Muze, Inc. All rights reserved. For personal use only.