21- 40 of 386 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings, Author: Thomas Eiter
QUICK ADD
Logic Programming and…
by Thomas Eiter (Editor), Wolfgang Faber (Editor), Miroslaw Trusczynksi (Editor)
#2173 in Series
Paperback $54.99
Title: Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: 3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.-11. September 1987, Author: Fevzi Belli
QUICK ADD
Fehlertolerierende…
by Fevzi Belli (Editor), Winfried Görke (Editor)
#147 in Series
Paperback $109.99
Title: Logikkalk�le in der Informatik: Wie wird Logik vom Rechner genutzt?, Author: Michael Schenke
QUICK ADD
Logikkalk�le in der…
by Michael Schenke
Explore Series
Paperback $29.99
Title: Reversible Computation: 16th International Conference, RC 2024, Torun, Poland, July 4-5, 2024, Proceedings, Author: Torben Ægidius Mogensen
QUICK ADD
Reversible Computation: 16th…
by Torben Ægidius Mogensen (Editor), Lukasz Mikulski (Editor)
#14680 in Series
eBook $99.00
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, Author: Fariba Sadri
QUICK ADD
Computational Logic in…
by Fariba Sadri (Editor), Ken Satoh (Editor)
#5056 in Series
Paperback $54.99
Title: Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, Author: Martin Kutrib
QUICK ADD
Reversible Computation: 15th…
by Martin Kutrib (Editor), Uwe Meyer (Editor)
#13960 in Series
eBook $69.99
Title: LOGICAL FOUNDATION COMP SCI (2V): (In 2 volumes)Vol 1: Propositional LogicVol 2: Predicate Logic, Author: Peter A Fejer
QUICK ADD
LOGICAL FOUNDATION COMP SCI…
by Peter A Fejer, Dan A Simovici
eBook $360.00
Title: Fehlerdiagnose f�r Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen, Author: Michael Marhïfer
QUICK ADD
Fehlerdiagnose f�r…
by Michael Marhïfer
#139 in Series
Paperback $69.99
Title: Next Generation Arithmetic: 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings, Author: John Gustafson
QUICK ADD
Next Generation Arithmetic:…
by John Gustafson (Editor), Siew Hoon Leong (Editor), Marek Michalewicz (Editor)
#13851 in Series
eBook $59.99
Title: Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems, Author: John V. Oldfield
QUICK ADD
Field-Programmable Gate Arrays…
by John V. Oldfield, Richard C. Dorf
Hardcover $220.95
Title: Logic Minimization Algorithms for VLSI Synthesis, Author: Robert K. Brayton
QUICK ADD
Logic Minimization Algorithms…
by Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli
#2 in Series
Hardcover $199.99
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, Author: Masami Hagiya
QUICK ADD
Functional and Logic…
by Masami Hagiya (Editor), Philip Wadler (Editor)
#3945 in Series
Paperback $54.99
Title: Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday, Author: John N. Crossley
QUICK ADD
Logical Methods: In Honor of…
by John N. Crossley (Editor), Jeffrey B. Remmel (Editor), Richard Shore (Editor), Moss E. Sweedler (Editor)
#12 in Series
Hardcover $169.99
Title: Constraint Handling Rules, Author: Thom Frühwirth
QUICK ADD
Constraint Handling Rules
by Thom Frühwirth
Hardcover $69.00
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings, Author: Manuel Hermenegildo
QUICK ADD
Programming Language…
by Manuel Hermenegildo (Editor), Jaan Penjam (Editor)
#844 in Series
Paperback $54.99
Title: DIGITAL LOGIC DESIGN, Author: MANSAF ALAM
QUICK ADD
DIGITAL LOGIC DESIGN
by MANSAF ALAM, BASHIR ALAM
eBook $4.47
Title: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach, Author: David M. Russinoff
QUICK ADD
Formal Verification of…
by David M. Russinoff
Paperback $119.99
Title: Information-theoretic Incompleteness, Author: Gregory J Chaitin
QUICK ADD
Information-theoretic…
by Gregory J Chaitin
#35 in Series
Paperback $56.00
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines, Author: Alakananda Bhattacharya
QUICK ADD
Parallel and Distributed Logic…
by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
#24 in Series
Paperback $169.99
Title: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools, Author: Robert M. Fuhrer
QUICK ADD
Sequential Optimization of…
by Robert M. Fuhrer, Steven M. Nowick
Hardcover $109.99

Pagination Links