IMSc Library catalog › Details for: Theory and applications of satisfiability testing

Normal view MARC view ISBD view

Theory and applications of satisfiability testing

TextSeries: Lecture notes in computer science ; 02919Publication details: Berlin ; Springer ; 2004Description: 530ISBN: 3540208518

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		50493

Previous								Next
Previous	681 LNCS Security Protocols: 10th inernational workshop: Cambridge, UK, April 2002	681 LNCS Foundations of information and knowledge systems: 3rd international symposium, FOLKS 2004, Austria, February 2004: proceedings	681 LNCS SOFSEM 2004: theory and practice of computer science: 30th conference on current trends in theory and practice of computer science, Merin, January, 2004, proceedings	681 LNCS Theory and applications of satisfiability testing	681 LNCS Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings	681 LNCS Advances in cryptology - eurocrypt 2004: international conference on the theory and applications of cryptographic techniques, Interlaken, Switzerland, may 2-6, 2004.	681 LNCS Probabilistic and statistical methods in cryptology	Next

There are no comments on this title.

to post a comment.