Title: Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings, Author: Armin Biere
Title: Large-Scale Scientific Computing: 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers, Author: Ivan Lirkov
Title: Reconciliation of Geometry and Perception in Radiation Physics / Edition 1, Author: Benoit Beckers
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: Bio-Inspired Models of Network, Information, and Computing Systems: 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers, Author: Gianni A. Di Caro
Title: Computers and Games: 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers, Author: H. Jaap van den Herik
Title: Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I, Author: Ersébet Csuhaj-Varjú
Title: Euro-Par 2014: Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings, Author: Fernando Silva
Title: Combinatorial Optimization: Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers, Author: Pierre Fouilhoux
Title: Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings, Author: Frédéric Lang
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: From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz, Author: Martin Davis
Title: Algorithms and Architectures for Parallel Processing: 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I, Author: Xiang-he Sun
Title: Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings, Author: Andreas S. Schulz
Title: Genetic Programming: 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers, Author: Miguel Nicolau
Title: Visual Studio Condensed: For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions / Edition 1, Author: Patrick Desjardins

In Stock Online

Not in Stock at My Store

Title: Practical Analysis of Algorithms, Author: Dana Vrajitoru
Title: HL7 for BizTalk / Edition 1, Author: Howard Edidin

In Stock Online

Not in Stock at My Store

Title: Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings, Author: Fabian Kuhn
Title: Guide to Fortran 2003 Programming, Author: Walter S. Brainerd

In Stock Online

Not in Stock at My Store

Pagination Links