نتایج جستجو
برای Computer Science، صفحه ۳۹ از ۱,۲۰۰ در بین ۲۹,۹۸۶ کتاب.
DJVU
Handbook of Logic in Computer Science, vol.4: Semantic Modelling
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1995DJVU
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001PDF
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001PDF
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, 1995PDF
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, 2010PDF
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.), 2011PDF
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.), 2011PDF
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![Industrial Engineering, Machine Design and Automation [IEMDA 2014] & Computer Science and Application [CCSA 2014] : proceedings of the 2014 congress on IEMDA 2014 & proceedings of the 2nd congress on CCSA 2014 Sanya, Hainan, China 12-14 Dec. 2014](http://cdn.ketabkoo.com/covers/1/146667-n.jpg)
PDF
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings
Neil Immerman (auth.), Vikraman Arvind, Sundar Ramanujam (eds.), 1998PDF
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings
Neil Immerman (auth.), Vikraman Arvind, Sundar Ramanujam (eds.), 1998PDF
Foundations of Software Technology and Theoretical Computer Science: 19th Conference Chennai, India, December 13-15, 1999 Proceedings
Micha Sharir (auth.), C. Pandu Rangan, V. Raman, R. Ramanujam (eds.), 1999DJVU
Classical Complex Analysis (Jones and Bartlett Books in Mathematics and Computer Science)
Liang-shin Hahn, Bernard Epstein, 2011PDF
A Computer Science Reader: Selections from ABACUS
Eric A. Weiss (auth.), Eric A. Weiss (eds.), 1988PDF
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Robert Demolombe (auth.), Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.), 2012PDF
Contemporary Computing: Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings (Communications in Computer and Information Science)
Sanjay Ranka, Srinivas Aluru, Rajkumar Buyya, Yeh-Ching Chung, Sandeep Gupta, Ananth Grama, Rajeev Kumar, Vir V. Phoha, Sumeet Dua, 2009PDF
Topology, Domain Theory and Theoretical Computer Science
Michael W. Mislove, 1997PDF
Numerical Challenges in Lattice Quantum Chromodynamics: Joint Interdisciplinary Workshop of John von Neumann Institute for Computing, Jülich, and Institute of Applied Computer Science, Wuppertal University, August 1999
Herbert Neuberger (auth.), Andreas Frommer, Thomas Lippert, Björn Medeke, Klaus Schilling (eds.), 2000PDF
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.), 2007PDF
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.), 2007PDF
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Paul-André Melliès (auth.), Zoltán Ésik (eds.), 2006PDF
Nearest Neighbor Search:: A Database Perspective (Series in Computer Science)
Apostolos N. Papadopoulos, Yannis Manolopoulos,, 2004PDF
Computer Science Reconsidered: The Invocation Model of Process Expression
Karl M. Fant, 2007MOBI
Algorithms to Live By The Computer Science of Human Decisions
Brian Christian, Tom Griffiths, 2016PDF
