Ebook: Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings
Author: Gaspers Serge
- Genre: Computers // Lectures; monographs
- Tags: CASE (Informatik), Agent (Informatik), Wissensmanagement., Informationssystem., Requirements engineering., World Wide Web.
- Series: Springer Lecture notes in computer science 10491
- Year: 2017
- Publisher: Springer
- City: Melbourne
- Language: English
- pdf
Download the book Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)