| 1. |
List Price
$149.00
|
7th International Conference on Automated Deduction: Proceedings [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9780387960227 / 0387960228 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
18-May-1984 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 2. |
List Price
$219.99
|
A Practical Guide for SystemVerilog Assertions [Hardcover]
By: Vijayaraghavan, Srikanth, Ramanathan, Meyyappan
| |
ISBN-13 / ISBN-10 |
: |
9780387260495 / 0387260498 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
21-Jun-2005 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 3. |
List Price
$99.00
|
A Tight, Practical Integration of Relations and Functions [Paperback]
By: Boley, Harold
| |
ISBN-13 / ISBN-10 |
: |
9783540666448 / 3540666443 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
29-Sep-1999 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 4. |
List Price
$109.00
|
ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 1012 April 1991 [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540197348 / 3540197346 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
08-Jan-1992 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 5. |
List Price
$109.00
|
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March 1 April 1992 [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540197836 / 3540197834 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
21-Dec-1992 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 6. |
List Price
$199.99
|
Advanced Techniques in Logic Synthesis, Optimizations and Applications [Hardcover]
| |
ISBN-13 / ISBN-10 |
: |
9781441975171 / 1441975179 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
03-Dec-2010 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 7. |
List Price
$28.50
|
Advances in Logic Programming and Automated Reasoning [Hardcover]
| |
ISBN-13 / ISBN-10 |
: |
9780893916831 / 0893916838 |
| |
Publisher |
: |
Intellect Ltd |
| |
Pub Date |
: |
01-May-1992 |
| |
Availability |
: |
Out Of Stock |
|
| 8. |
List Price
$109.00
|
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540617358 / 3540617353 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
11-Sep-1996 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 9. |
List Price
$99.00
|
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540634591 / 3540634592 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
20-Aug-1997 |
| |
Availability |
: |
Out Of Stock |
|
| 10. |
List Price
$129.00
|
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540558736 / 354055873X |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
19-Aug-1992 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 11. |
List Price
$159.99
|
Application-Specific Mesh-based Heterogeneous FPGA Architectures [Hardcover]
By: Parvez, Husain, Mehrez, Habib
| |
ISBN-13 / ISBN-10 |
: |
9781441979278 / 1441979271 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
17-Nov-2010 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 12. |
List Price
$64.99
|
Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WL [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783642415234 / 3642415237 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
25-Nov-2013 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 13. |
List Price
$229.99
|
Applications of Logic Databases [Hardcover]
| |
ISBN-13 / ISBN-10 |
: |
9780792395331 / 0792395336 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
30-Nov-1994 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 14. |
List Price
$119.00
|
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 7th International Workshop on Approximation Algorithms for Com [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540228943 / 3540228942 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
11-Aug-2004 |
| |
Availability |
: |
Out Of Stock |
|
| 15. |
List Price
$349.99
|
Architecture and CAD for Deep-Submicron FPGAS [Hardcover]
By: Betz, Vaughn, Rose, Jonathan, Marquardt, Alexander
| |
ISBN-13 / ISBN-10 |
: |
9780792384601 / 0792384601 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
31-Mar-1999 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 16. |
List Price
$199.00
|
Artificial Intelligence in Logic Design [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9789048165834 / 9048165830 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
04-Dec-2010 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 17. |
List Price
$199.99
|
Artificial Intelligence in Logic Design [Hardcover]
| |
ISBN-13 / ISBN-10 |
: |
9781402020520 / 140202052X |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
27-Jul-2004 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 18. |
List Price
$149.99
|
Asynchronous Operators of Sequential Logic: Venjunction & Sequention: Digital Circuit Analysis and Design [Paperback]
By: Vasyukevich, Vadim
| |
ISBN-13 / ISBN-10 |
: |
9783642268823 / 364226882X |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
02-Aug-2013 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 19. |
List Price
$169.99
|
Autonomous, Model-Based Diagnosis Agents [Hardcover]
By: Schroeder, Michael
| |
ISBN-13 / ISBN-10 |
: |
9780792381426 / 0792381424 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
31-Mar-1998 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 20. |
List Price
$139.00
|
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540424970 / 3540424970 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
13-Aug-2001 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 21. |
List Price
$129.00
|
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540407539 / 3540407537 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
21-Aug-2003 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 22. |
List Price
$149.99
|
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II [Paperback]
| |
ISBN-13 / ISBN-10 |
: |
9783540439608 / 3540439609 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
12-Jul-2002 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 23. |
List Price
$69.99
|
Computer Logic: Design Principles and Applications [Hardcover]
By: Hsu, John Y.
| |
ISBN-13 / ISBN-10 |
: |
9780387953045 / 0387953043 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
02-Apr-2002 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 24. |
List Price
$79.99
|
Computing in Horn Clause Theories [Paperback]
By: Padawitz, Peter
| |
ISBN-13 / ISBN-10 |
: |
9783642738265 / 3642738265 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
03-Dec-2011 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
| 25. |
List Price
$179.00
|
Conclog: A Methodological Approach to Concurrent Logic Programming [Paperback]
By: Jacquet, Jean-Marie
| |
ISBN-13 / ISBN-10 |
: |
9783540549383 / 3540549382 |
| |
Publisher |
: |
Springer |
| |
Pub Date |
: |
27-Nov-1991 |
| |
Availability |
: |
In Stock (Ships in 5 to 7 days) |
| |
Ships From |
: |
Secondary Warehouse
|
| |
Qty Avail |
: |
15+ |
|
