نتایج جستجو
Linear logic in computer science
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott, 2004
Logic for computer science: foundations of automatic theorem proving
Jean H. Gallier, 1986
Logic in computer science: modelling and reasoning about systems
Michael Huth, Mark Ryan, 2004
Logic in computer science: modelling and reasoning about systems
Michael Huth, Mark Ryan, M. Huth, M. Ryan, 1999
Logics for Computer Science
Arindama Singh, 2003
Schaum's outline of principles of computer science
Paul Tymann, Carl Reynolds, 2008
Selected papers on computer science
Donald E. Knuth, 2004
Simply SCHEME: introducing computer science
Brian Harvey, Matthew Wright, Harold Abelson, 1994
The computer science of TeX and LaTeX
Eijkhout V., 2004
The computer science of TeX and LaTeX
Eijkhout, Victor, 2012
Theoretical Computer Science: Essays in Memory of Shimon Even
Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum (auth.), Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (eds.), 2006
3D computer vision: efficient methods and applications
Christian Wöhler (auth.), 2009
3D game engine design: a practical approach to real-time computer graphics
David H. Eberly, 2000
101 Atari computer programming tips & tricks
Alan North, 1983
Electronic Payment Systems for E-Commerce (Artech House Computer Security Series)
Donald O'Mahony ,Michael Peirce ,Hitesh Tewari, 2002
A Basis for Theoretical Computer Science
Michael A. Arbib, A. J. Kfoury, Robert N. Moll, 1981
Algorithms for computer algebra
Keith O. Geddes, Stephen R. Czapor, George Labahn, 1992
Algorithms for computer algebra
Keith O. Geddes, Stephen R. Czapor, George Labahn, 1992
Algorithms for computer algebra
Keith O. Geddes, Stephen R. Czapor, George Labahn, 1992
Algorithms for Computer Algebra
K. Geddes, S. Czapor, G. Labahn, 1992
