The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Barnes and Noble
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / Edition 1

Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / Edition 1

Barnes and Noble
Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Edition 1

Theoretical Computer Science: 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / Edition 1

Barnes and Noble
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings / Edition 1

Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings / Edition 1

Barnes and Noble
Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / Edition 1

Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / Edition 1

Barnes and Noble
Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences / Edition 1

Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences / Edition 1

Barnes and Noble
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / Edition 1

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / Edition 1

Barnes and Noble
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1

Barnes and Noble
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1

Barnes and Noble
Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)

Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)

Barnes and Noble
Foundations of Intelligent Systems: 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings / Edition 1

Foundations of Intelligent Systems: 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings / Edition 1

Barnes and Noble
Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / Edition 1

Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / Edition 1

Barnes and Noble
Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

Barnes and Noble
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / Edition 1

Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / Edition 1

Barnes and Noble
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / Edition 1

Barnes and Noble
Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences

Set Theory: Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences

Barnes and Noble
Powered by Adeptmind