نتایج جستجو
Handbook of Logic in Computer Science, vol.4: Semantic Modelling
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1995
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, 1995
Computer Entrepreneur
Michael Katz, Robert Levering, Moskowitz, 1984
Contemporary Computing: Third International Conference, IC3 2010 Noida, India, August 9-11, 2010 Proceedings, Part II (Communications in Computer and Information Science 95)
Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang, 2010
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), 2008
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), 2008
Sams teach yourself Windows XP computer basics
Greg M. Perry, 2003
Archaeology in the digital era: papers from the 40th Annual Conference of Computer Applications and Quantitative Methods in Archaeology (CAA), Southampton, 26-29 March 2012
Graeme Earl, Tim Sly, Angeliki Chrysanthi, Patricia Murrieta-Flores, Constantinos Papadopoulos, Iza Romanowska, David Wheatley (editors), 2014
Designing Computer-Based Learning Materials
Lee S. Shulman, Cathy Ringstaff (auth.), Harold Weinstock, Alfred Bork (eds.), 1986
Analytische und projektive Geometrie für die Computer-Graphik
Prof. Dr. rer. nat. Bodo Pareigis (auth.), 1990
Computer Recognition Systems 2
Paweł Forczmański, Dariusz Frejlichowski (auth.), Prof. Marek Kurzynski, Dr. Edward Puchala, Dr. Michal Wozniak, Dr. Andrzej Zolnierek (eds.), 2007
Computer Recognition Systems 2
Paweł Forczmański, Dariusz Frejlichowski (auth.), Prof. Marek Kurzynski, Dr. Edward Puchala, Dr. Michal Wozniak, Dr. Andrzej Zolnierek (eds.), 2007
Computer Recognition Systems 3
Piotr Skrzypczyński (auth.), Marek Kurzynski, Michal Wozniak (eds.), 2009
Testing and Validation of Computer Simulation Models: Principles, Methods and Applications
David J. Murray-Smith (auth.), 2015
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Bernhard Möller (auth.), Harrie de Swart (eds.), 2011
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Bernhard Möller (auth.), Harrie de Swart (eds.), 2011
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Han-Hing Dang, Bernhard Möller (auth.), Wolfram Kahl, Timothy G. Griffin (eds.), 2012
Human Aspects of Visualization: Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers
Achim Ebert, Alan Dix, Nahum Gershon, Margit Pohl (auth.), Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl (eds.), 2011
Human Aspects of Visualization: Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers
Achim Ebert, Alan Dix, Nahum Gershon, Margit Pohl (auth.), Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl (eds.), 2011
An Introduction to 3D Computer Vision Techniques and Algorithms
Boguslaw Cyganek, J. Paul Siebert, 2009
