| 25001. |
Berry G. Comon H. Finkel A. |
Computer Aided Verification, 13 conf., CAV 2001 | 2001 |
 |
| 25002. |
Brinksma E. Larsen K. |
Computer Aided Verification, 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings | 2002 |
|
| 25003. |
Hunt W.A.Jr. Somenzi F. |
Computer Aided Verification, 15 conf., CAV 2003 | 2003 |
|
| 25004. |
Alur R. Peled D. |
Computer Aided Verification, 16 conf., CAV 2004 | 2005 |
|
| 25005. |
Etessami K. Rajamani S. |
Computer Aided Verification, 17 conf., CAV 2005 (1 edition) | 2005 |
|
| 25006. |
Gupta A. Malik S. |
Computer Aided Verification, 20 conf., CAV 2008 | 2008 |
|
| 25007. |
Larsen K. Skou A. |
Computer Aided Verification, 3 conf., CAV '91 | 1992 |
|
| 25008. |
Courcoubetis C. |
Computer Aided Verification, 5 conf., CAV '93 | 1993 |
|
| 25009. |
Dill D. |
Computer Aided Verification, 6 conf., CAV '94 | 1994 |
|
| 25010. |
Wolper P. |
Computer Aided Verification, 7 conf., CAV '95 (1 edition) | 1995 |
|
| 25011. |
Alur R. Henzinger T. |
Computer Aided Verification, 8 conf., CAV '96 | 1996 |
|
| 25012. |
Grumberg O. |
Computer Aided Verification, 9 conf., CAV '97 (1 edition) | 1997 |
|
| 25013. |
Thomas Ball Robert B. Jones |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (1 edition) | 2006 |
|
| 25014. |
Ball T. Jones R. |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
|
| 25015. |
Gupta A. Malik S. |
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings | 2008 |
|
| 25016. |
Bouajjani A. (Editor) Maler O. (Editor) |
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (1 edition) | 2009 |
|
| 25017. |
T.Touili B. Cook P. Jackson |
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues) | 2010 |
|
| 25018. |
Buchberger B. Collins G. Loos R. |
Computer Algebra (2-nd edition) | 1983 |
|
| 25019. |
van Hulzen J.A. |
Computer algebra | 1983 |
|
| 25020. |
Calmet J. |
Computer algebra | 1982 |
|
| 25021. |
Kotsireas I. Zima E. |
Computer Algebra 2006. Latest advances in symbolic algorithms. Proc. Waterloo Workshop | 2007 |
|
| 25022. |
Kotsireas I. Zima E. |
Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006 | 2007 |
|
| 25023. |
Bronstein M. |
Computer algebra algorithms for linear ODE and difference equs. (ECM) | n/a |
|
| 25024. |
Tournier E. |
Computer Algebra and differential equations | 1994 |
|
| 25025. |
Tournier E. |
Computer algebra and differential equations | 1994 |
|
| 25026. |
M. Singer |
Computer algebra and differential equations | 1991 |
|
| 25027. |
Singer M. |
Computer algebra and differential equations | 1991 |
|
| 25028. |
Tournier E. |
Computer algebra and differential equations | 1994 |
|
| 25029. |
Tournier E. Whiteman J. Davenport J. |
Computer algebra and differential equations | 1990 |
|
| 25030. |
Tournier E. Whiteman J. Davenport J. |
Computer algebra and differential equations | 1990 |
|
| 25031. |
Seiler W.M. |
Computer algebra and differential equations: an overview | 1997 |
|
| 25032. |
Li H. Olver P. Sommer G. |
Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International | 2005 |
|
| 25033. |
Zippel R. |
Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings | 1992 |
|
| 25034. |
Cohen J.S. |
Computer algebra and symbolic computation | 2003 |
|
| 25035. |
Cohen J.S. |
Computer Algebra and Symbolic Computation: Elementary Algorithms | 2002 |
|
| 25036. |
Cohen J.S. |
Computer Algebra and Symbolic Computation: Elementary Algorithms | 2002 |
|
| 25037. |
Cohen J.S. |
Computer Algebra and Symbolic Computation: Elementary Algorithms | 2002 |
|
| 25038. |
Cohen J. |
Computer Algebra and Symbolic Computation: Elementary Algorithms | 2002 |
|
| 25039. |
Joel S. Cohen |
Computer algebra and symbolic computation: mathematical methods | 2003 |
|
| 25040. |
Cohen J. |
Computer Algebra and Symbolic Computation: Mathematical Methods | 2003 |
|
| 25041. |
Ballarin C. |
Computer Algebra and Theorem Proving | 1999 |
|
| 25042. |
Rand R. |
Computer Algebra in Applied Mathematics: Introduction to Macsyma (Research Notes Inmathematics Series) | 1983 |
|
| 25043. |
Ganzha V. Mayr E. |
Computer algebra in scientific computing (CASC1999) TOC | 1999 |
|
| 25044. |
Ganzha V.G. Mayr E.W. Vorozhtsov E.V. |
Computer Algebra in Scientific Computing, 10 conf., CASC 2007 | 2007 |
|
| 25045. |
Gerdt V. Koepf W. Mayr E. |
Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings (Lecture ... Computer Science and General Issues) | 2010 |
|
| 25046. |
Mayr E. Koepf W. Gerdt V. |
Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings | 2013 |
|
| 25047. |
Ganzha V. Mayr E. Vorozhtsov E. |
Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings | 2006 |
|
| 25048. |
Gatermann K. |
Computer Algebra Methods for Equivariant Dynamical Systems | 2000 |
|
| 25049. |
Enns R.H. |
Computer Algebra Recipes for Mathematical Physics | 2005 |
|
| 25050. |
Enns R. |
Computer Algebra Recipes for Mathematical Physics | 2005 |
|
| 25051. |
Enns R. |
Computer Algebra Recipes for Mathematical Physics | 2005 |
|
| 25052. |
Richard H. Enns George C. McGuire |
Computer algebra recipes. An introductory guide to the mathematical models of science (1 edition) | 2006 |
|
| 25053. |
Richard H. Enns George C. McGuire |
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling (1 edition) | 2007 |
|
| 25054. |
Enns R. McGuire G. |
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling (1 edition) | 2007 |
|
| 25055. |
Michael J. Wester |
Computer algebra systems | 1999 |
|
| 25056. |
Wester M.J. |
Computer Algebra Systems: A Practical Guide | 1999 |
|
| 25057. |
Hulzen J. |
Computer Algebra, EUROCAL '83 | 1983 |
|
| 25058. |
Calmet J. |
Computer Algebra, EUROCAM '82 | 1982 |
|
| 25059. |
Davenport J. Siret Y. Tournier E. |
Computer Algebra: Systems and Algorithms for Algebraic Computation (2nd edition) | 1993 |
|
| 25060. |
Buchberger B. |
Computer algebra: the end of mathematics? | 2002 |
|
| 25061. |
Horowitz E. Rajasekaran S. Sahui S. |
Computer Algorithms | 1998 |
|
| 25062. |
Petkov N. Westenberg M. A. |
Computer Analysis of Images and Patterns: 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings | 2003 |
|
| 25063. |
Gagalowicz A. Philips W. |
Computer Analysis of Images and Patterns: 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings | 2005 |
|
| 25064. |
Kropatsch W.G. Kampel M. Hanbury A. |
Computer Analysis of Images and Patterns: 12th International Conference, CAIP 2007 | 2007 |
|
| 25065. |
Jiang X. Petkov N. |
Computer Analysis of Images and Patterns: 13th International Conference, CAIP 2009, Munster, Germany, September 2-4, 2009, Proceedings (Lecture Notes ... Vision, Pattern Recognition, and Graphics) | 2009 |
|
| 25066. |
Wilson R. Hancock E. Bors A. |
Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I | 2013 |
|
| 25067. |
Chun J. Kaothanthong N. Wilson R. |
Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II | 2013 |
|
| 25068. |
Chetverikov D. Kropatsch W. G. |
Computer Analysis of Images and Patterns: 5th International Conference, Caip'93, Budapest, Hungary, September 13-15, 1993. Proceedings (1 edition) | 1993 |
|
| 25069. |
Hlavac V. Sara R. |
Computer Analysis of Images and Patterns: 6th International Conference, Caip'95, Prague, Czech Republic, September 6 - 8, 1995, Proceedings | 1995 |
|
| 25070. |
Sommer G. Daniilidis K. |
Computer Analysis of Images and Patterns: 7th International Conference, CAIP '97, Kiel, Germany, September 10-12, 1997. Proceedings | 1997 |
|
| 25071. |
Sommer G. Daniilidis K. Pauli J. |
Computer Analysis of Images and Patterns: 7th International Conference, CAIP '97, Kiel, Germany, September 10-12, 1997. Proceedings | 1997 |
|
| 25072. |
Solina F. Leonardis A. |
Computer Analysis of Images and Patterns: 8th International Conference, CAIP'99 Ljubljana, Slovenia, September 1-3, 1999 Proceedings: International ... 8th | 1999 |
|
| 25073. |
Wladyslaw Skarbek |
Computer Analysis of Images and Patterns: 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001 Proceedings (1 edition) | 2001 |
|
| 25074. |
Ibstedt H. |
Computer Analysis of Number Sequences | 1998 |
|
| 25075. |
Arrillaga J. Arnold C. P. |
Computer Analysis of Power Systems | 1990 |
|
| 25076. |
Griffin A.M. Griffin H.G. |
Computer Analysis of Sequence Data | 1994 |
|
| 25077. |
Griffin A. Griffin H. |
Computer Analysis of Sequence Data | 1994 |
|
| 25078. |
Griffin A. Griffin H. |
Computer Analysis of Sequence Data Part 1 (Methods in Molecular Biology) | 1994 |
|
| 25079. |
Griffin A. Griffin H. |
Computer Analysis of Sequence Data Part II (Methods in Molecular Biology) | 1994 |
|
| 25080. |
Mir N.F. |
Computer and Communication Networks | 2006 |
|
| 25081. |
Li D. Zhao C. |
Computer and Computing Technologies in Agriculture II, Volume 1 | 2009 |
|
| 25082. |
Li D. Zhao C. |
Computer and Computing Technologies in Agriculture II, Volume 3: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology) | 2009 |
|
| 25083. |
Li D. Zhao C. |
Computer and Computing Technologies in Agriculture II: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology) | 2009 |
|
| 25084. |
Li D. Liu Y. Chen Y. |
Computer and Computing Technologies in Agriculture IV, Part I - CCTA 2010 | 2011 |
|
| 25085. |
Gelenbe E. Lent R. Sakellari G. |
Computer and Information Sciences | 2010 |
|
| 25086. |
Aykanat C. Dayar T. Korpeoglu I. |
Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings | 2004 |
|
| 25087. |
Aykanat C. Dayar T. Korpeoglu I. |
Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings (1 edition) | 2004 |
|
| 25088. |
Yolum P. |
Computer and Information Sciences - ISCIS 2005: 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings | 2005 |
|
| 25089. |
Levi A. Savas E. Yenigün H. |
Computer and Information Sciences - ISCIS 2006: 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings (1 edition) | 2006 |
|
| 25090. |
Yazici A. Sener S. |
Computer and Information Sciences -- ISCIS 2003: 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings | 2003 |
|
| 25091. |
Vacca J.R. |
Computer and Information Security (Handbook) | 2009 |
|
| 25092. |
Vacca J.R. |
Computer and Information Security Handbook | 2009 |
|
| 25093. |
Vacca J. |
Computer and information security handbook | 2009 |
|
| 25094. |
Vacca J.R. (ed.) |
Computer and Information Security Handbook (The Morgan Kaufmann Series in Computer Security) | 2009 |
|
| 25095. |
Garey M. Johnson D. |
Computer and intractability: a guide to the theory of NP-completeness | 1979 |
|
| 25096. |
Mohay G.M. Anderson A. Collie B. |
Computer and Intrusion Forensics (1st edition) | 2003 |
|
| 25097. |
Mohay G. Anderson A. Collie B. |
Computer And Intrusion Forensics | 2003 |
|
| 25098. |
Haralick R. Shapiro L. |
Computer and Robot Vision (Volume 1) | 1992 |
|
| 25099. |
Von Neumann J. |
Computer and the Brain | 1979 |
|
| 25100. |
Wright J. Hughes L. |
Computer Animation | 2010 |
|
|
|
О проекте