 |
Welcome to the books section
on www.nitroprice.co.uk,
the best place to find books
|
|
|
|
|
 |
 |
| |
<< Use these categories to find more books
Rewriting Techniques and Applications 1989: Proceedings of the 3rd International Conference (Lecture Notes in Computer Science S.)
Formal Properties of Finite Automata and Applications: Proceedings of the Litp Spring School on Theoretical Computer Science (Lecture Notes in Computer Science S.)
Optimal Algorithms: International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings (Lecture Notes in Computer Science S.)
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings (Lecture Notes in Computer Science S.)
Natural Language and Logic: International Scientific Symposium, Hamburg, Frg, May 9-11, 1989. Proceedings (Lecture Notes in Computer Science S.)
Number Theory: v. 2 (Encyclopaedia of Mathematical Sciences S.)
Programming Language Implementation and Logic Programming: 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings (Lecture Notes in Computer Science S.)
Computer-aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, USA, June 18-21, 1990. Proceedings: International Conference Proceedings (Lecture Notes in Computer Science)
Computer Science Logic: 4th Workshop, Csl '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 (Lecture Notes in Computer Science)
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
| Attribute Grammars, Applications and Systems: International Summer School Saga, Prague, Czechoslovakia, June 4-13, 1991. Proceedings (Lecture Notes in Computer Science)
Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings: Proceedings of the Second International Symposium, Nijmegen, The NNetherlands, January 8-10, 1992 2nd (L
Galois Cohomology
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings: Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings 2nd (Lecture Notes in Computer Science)
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991. Proceedings: CSL '91, Berne, Switzerland, October 7-11, 1991 - Proceedings 5th Workshop (Lecture Notes in Computer Science)
Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 - Proceedings (Lecture Notes in Computer Science S.)
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 - Proceedings (Lecture Notes in Computer Science S.)
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 - Proceedings (Lecture Notes in Computer Science)
Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings (Lecture Notes in Computer Science)
Applied Algebra, Algebraic Algorithms and Error-correcting Codes: 10th International Symposium, Aaecc-10, San Juan De Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings: International Symposium, AAECC-10, San Juan De Puerto Rico, Puerto Rico, May 10-1
| Reviews in Number Theory 1984-1996: Vol 5
Provability, Complexity, Grammars (American Mathematical Society Translations)
Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: CSL '94, Kazimierz, September 25-30, 1994 - Selected Papers 8th Workshop (Lecture Notes in Computer Science)
Introduction to Logic: Predicate Logic
Number Theory: Transcendental Numbers: Pt.4 (Encyclopaedia of Mathematical Sciences)
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 - Proceedings (Lecture Notes in Computer Science)
Introduction to Logic:Propositional Logic: Propositional Logic
A Computation of Delta 1/5 (Memoirs of the AMS)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, Nancy, France, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science)
The Theory of Algebraic Number Fields
|
|
Fundamentals of Logic Design
Author:
, Charles H. Roth
| |
| Fundamentals of Logic Design |
|
Find Fundamentals of Logic Design in our books section.
|
|
ISBN:
0534378048
Format:
Hardcover
Price:
£ 35.99
|
Publisher:
Brooks Cole
Publication date:
2003-05-09
|
|
|
Looking for a particular book or works by an author? Perhaps you are
looking for information on a particular country or region? Why not
try search for it here:
|
|
|
 |
|
|
Thursday, March 31, 2005
