Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings / Edition 1, Author: Baudouin LeCharlier
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / Edition 1, Author: Alan Mycroft
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
Title: Stochastic Local Search Algorithms for Multiobjective Combinatorial Optimization: Methods and Analysis, Author: Luis F. Paquete
Title: Storage Management in Data Centers: Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation / Edition 1, Author: Volker Herminghaus
Title: Structural Information and Communication Complexity: 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings, Author: Magnús M. Halldórsson
Title: Structural Information and Communication Complexity: 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers, Author: Jukka Suomela
Title: Structural Information and Communication Complexity: 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers, Author: Shantanu Das
Title: Structural Information and Communication Complexity: 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers, Author: Zvi Lotker
Title: Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, Author: Shaoying Liu
Title: Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers, Author: Shaoying Liu
Title: Sudoku Programming with C / Edition 1, Author: Giulio Zambon
Title: Systems Programming in Unix/Linux, Author: K.C. Wang
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean
Title: Test Driven Development in Ruby: A Practical Introduction to TDD Using Problem and Solution Domain Analysis, Author: Bala Paranj
Title: The Art of Artificial Evolution: A Handbook on Evolutionary Art and Music / Edition 1, Author: Juan J. Romero
Title: The Boundary Element Method with Programming: For Engineers and Scientists / Edition 1, Author: Gernot Beer
Title: The C# Programmer's Study Guide (MCSD): Exam: 70-483, Author: Ali Asad
Title: The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications / Edition 1, Author: Guy-Rene Perrin

Pagination Links