Title: Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / Edition 1, Author: Manfred Broy
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi
Title: Algorithmic Learning Theory: 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings / Edition 1, Author: Yoav Freund
Title: Algorithmic Learning Theory - ALT '92: Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings / Edition 1, Author: Shuji Doshita
Title: Concepts, Design, and Performance Analysis of a Parallel Prolog Machine / Edition 1, Author: Joachim Beer
Title: Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, Author: Cyrille Artho
Title: Theoretical Computer Science: 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings, Author: Lian Li
Title: Learning and Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers, Author: Panos M. Pardalos
Title: ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings, Author: Richard Jones
Title: Computational Complexity of Solving Equation Systems, Author: Przemyslaw Broniek
Title: Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, Author: Ahmed Bouajjani
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean
Title: From Mathematics to Generic Programming / Edition 1, Author: Alexander Stepanov
Title: Introduction to Clustering Large and High-Dimensional Data, Author: Jacob Kogan

Pagination Links