Languages and machines: an introduction to the theory of computer science by Sudkamp, Thomas A., Sudkamp, Thomas A. 0 Type: Book
Theory and applications of satisfiability testing - SAT 2015: 18th International Conference, Austin, TX, USA, S… by Heule, Marijn, Workshop on Satisfiability, Austin (TX)) fromLecture Notes in Computer Science 0 Type: Book
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of th… by Sinz, Carsten, Workshop on Satisfiability, Wien), Vienna Summer of Logic, Wien) fromLecture Notes in Computer Science 0 Type: Book
Theory and applications of satisfiability testing: 14th international conference : proceedings by Workshop on Satisfiability, Sakallah, Karem A. fromLecture Notes in Computer Science 0 Type: Book
Theory and applications of satisfiability testing: 13th international conference : proceedings by Strichman, Ofer, Workshop on Satisfiability fromLecture Notes in Computer Science 0 Type: Book
Perspectives in computational complexity: the Somenath Biswas anniversary volume by Agrawal, Manindra, Biswas, Somenath, Informatiker fromProgress in computer science and applied logic 0 Type: Book
Descriptional Complexity of Formal Systems: 13th International Workshop by Holzer, Markus, Internationaler Workshop of Descriptional Complexity of Formal Systems fromLecture Notes in Computer Science 0 Type: Book
Descriptional Complexity of Formal Systems: 13th International Workshop by Holzer, Markus, Internationaler Workshop of Descriptional Complexity of Formal Systems, (Giessen) fromLecture Notes in Computer Science 0 Type: Book
Structural information and communication complexity: proceedings by Kosowski, Adrian, International Colloquium on Structural Information and Communication Complexity fromLecture Notes in Computer Science 0 Type: Book
Structural information and communication complexity: 18th international colloquium : proceedings by Kosowski, Adrian, International Colloquium on Structural Information and Communication Complexity fromLecture Notes in Computer Science 0 Type: Book
Models of computation in context: proceedings by Löwe, Benedikt, Conference on Computability in Europe fromLecture Notes in Computer Science 0 Type: Book
Reachability Problems: 5th International Workshop : Proceedings by Delzanno, Giorgio, International Workshop on Reachability Problems fromLecture Notes in Computer Science 0 Type: Book
Programs, proofs, processes: proceedings by Ferreira, Fernando, Conference on Computability in Europe fromLecture Notes in Computer Science 0 Type: Book
Algorithms and complexity: 7th international conference : proceedings by Calamoneri, Tiziana, International Conference on Algorithms and Complexity fromLecture Notes in Computer Science 0 Type: Book
Structural information and communication complexity: 19th international colloquium : proceedings by Even, Guy, International Colloquium on Structural Information and Communication Complexity fromLecture Notes in Computer Science 0 Type: Book
Structural information and communication complexity: 16th international colloquium : revised selected … by Kutten, Shay, International Colloquium on Structural Information and Communication Complexity fromLecture Notes in Computer Science 0 Type: Book
