| 14301. |
Komarinski P. |
Automated fingerprint identification systems | 2005 |
 |
| 14302. |
Leacock C. Chodorow M. Gamon M. |
Automated Grammatical Error Detection for Language Learners | 2010 |
|
| 14303. |
Young D. Ma J. |
Automated identification of Fos expression | 2001 |
|
| 14304. |
Christel M. |
Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation (Synthesis Lectures on Information Concepts, Retrieval & Services) | 2009 |
|
| 14305. |
P. Pandurang Nayak |
Automated Modeling of Physical Systems (1 edition) | 1995 |
|
| 14306. |
Nicolas Bruno |
Automated Physical Database Design and tuning | 2011 |
|
| 14307. |
Basin D. (Ed) Rusinowitch M. (Ed) |
Automated Reasoning | 2004 |
|
| 14308. |
Wong L.C.W. |
Automated reasoning about classical mechanics | 1994 |
|
| 14309. |
Egly U. (ed.) Fermüller C.G. (ed.) |
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings (1 edition) | 2002 |
|
| 14310. |
Mayer M.C. Pirri F. |
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 2003 (1 edition) | 2003 |
|
| 14311. |
Didier Galmiche |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97 (1 edition) | 1997 |
|
| 14312. |
Murray N.V. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99 (1 edition) | 1999 |
|
| 14313. |
Dyckhoff R. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 (1 edition) | 2000 |
|
| 14314. |
Beckert B. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 | 2005 |
|
| 14315. |
Olivetti N. (ed.) |
Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 | 2007 |
|
| 14316. |
Giese M. Waaler A. |
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 | 2009 |
|
| 14317. |
Galmiche D. Larchey-Wendling D. |
Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings | 2013 |
|
| 14318. |
Armando A. (ed.) Baumgartner P. (ed.) Dowek G. (ed.) |
Automated reasoning. Lecture notes in artificial intelligence 5195 | 2008 |
|
| 14319. |
Gore R. Leitsch A. Nipkow T. |
Automated Reasoning: First International Joint Conference | 2001 |
|
| 14320. |
Basin D. Rusinowitch M. |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 2005 |
|
| 14321. |
Basin D. Rusinowitch M. |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) | 2005 |
|
| 14322. |
Furbach U. Shankar N. |
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
|
| 14323. |
Farn W. |
Automated Technology for Verification and Analysis | 2004 |
|
| 14324. |
Cha S. Choi J. Kim M. |
Automated Technology for Verification and Analysis, 6 conf., ATVA 2008 | 2008 |
|
| 14325. |
Leroux J. Hung D. Ogawa M. |
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings | 2013 |
|
| 14326. |
Susanne Graf Wenhui Zhang |
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (1 edition) | 2006 |
|
| 14327. |
Namjoshi K.(ed.) Yoneda T.(ed.) Higashino T.(ed.) |
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings | 2007 |
|
| 14328. |
Bouajjani A. Chin Wei-Ngan |
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (1st edition) | 2010 |
|
| 14329. |
Tsay Y.-K. Peled D.A. |
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings | 2005 |
|
| 14330. |
Venkataraman K. |
Automated Versus Floor Trading: An Analysis Of Execution Costs On The Paris And New York Exchanges | n/a |
|
| 14331. |
Dietzfelbinger M. |
Automaten und Formale Sprachen | 2005 |
|
| 14332. |
Kindler E. Manthey S. |
Automaten, Formale Sprachen und Berechenbarkeit I | 2002 |
|
| 14333. |
Aachen M. |
Automatentheorie | 1996 |
|
| 14334. |
Voller R. |
Automatentheorie und Formale Sprachen | 1998 |
|
| 14335. |
Meinel C. |
Automatentheorie und Formale Sprachen | 2000 |
|
| 14336. |
Beyer R. |
Automatentheorie und Formale Sprachen I | 1992 |
|
| 14337. |
Ecker J. |
Automatentheorie und Kryptologie | 2004 |
|
| 14338. |
|
Automatentheorie und Logik 001 | 2004 |
|
| 14339. |
Metzger R. Wen Z. |
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization | 2000 |
|
| 14340. |
Alexander Franz |
Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach (1 edition) | 1996 |
|
| 14341. |
Broersen P.M.T. |
Automatic Autocorrelation and Spectral Analysis | 2006 |
|
| 14342. |
Sinclair A. M. |
Automatic continuity of linear operators | 1976 |
|
| 14343. |
Blakelock J.H. |
Automatic Control of Aircraft and Missiles | 2001 |
|
| 14344. |
Phelan R.M. |
Automatic Control Systems | 1977 |
|
| 14345. |
Kuo B.C. Golnaradhi F. |
Automatic Control Systems (8-th edition) | n/a |
|
| 14346. |
Golnaraghi F. Kuo B.C. |
Automatic Control Systems - Solutions Manual (9-th edition) | 2009 |
|
| 14347. |
Kuo B. |
Automatic Control Systems Solutions | 2002 |
|
| 14348. |
Rall L.B. |
Automatic Differentiation: Techniques and Applications | 1981 |
|
| 14349. |
Ferilli S. |
Automatic digital document processing and management | 2011 |
|
| 14350. |
Lu R. Zhang S. |
Automatic Generation of Computer Animation | 2002 |
|
| 14351. |
Krattenthaler C. Srinavasa Rao K. |
Automatic generation of hypergeometric identities by the beta integral method | 2003 |
|
| 14352. |
Moens M.-F. |
Automatic Indexing and Abstracting of Document Texts | 2000 |
|
| 14353. |
Moens M. |
Automatic Indexing and Abstracting of Document Texts | 2002 |
|
| 14354. |
Reinhardt M. |
Automatic Layout Modification: Including Design Reuse of the Alpha CPU in 0.13 Micron SOI Technology | 2002 |
|
| 14355. |
George P.L. |
Automatic Mesh Generation and Finite Element Computation | 1996 |
|
| 14356. |
Sparck Jones K. Wilks Y. |
Automatic natural language parsing | 1983 |
|
| 14357. |
Danvy O. Mairson H. Henglein F. |
Automatic Program Development: A Tribute to Robert Paige | 2008 |
|
| 14358. |
Spector L. |
Automatic Quantum Computer Programming | 2004 |
|
| 14359. |
Spector L. |
Automatic Quantum Computer Programming: A Genetic Programming Approach | 2006 |
|
| 14360. |
Spector L. |
Automatic Quantum Computer Programming: A Genetic Programming Approach (Genetic Programming) | 2004 |
|
| 14361. |
von Haeseler F. |
Automatic Sequences | 2003 |
|
| 14362. |
Haeseler F. |
Automatic sequences | 2003 |
|
| 14363. |
Haeseler F. |
Automatic Sequences (De Gruyter Expositions in Mathematics, 36) | 2003 |
|
| 14364. |
Allouche J.-P. Shallit J. |
Automatic Sequences: Theory, Applications, Generalizations | 2003 |
|
| 14365. |
Allouche J-P. Shallit J. |
Automatic sequences: theory, applications, generalizations | 2003 |
|
| 14366. |
Schmidt P. |
Automatic symbolic solution of differential equations of first order and first degree | 1976 |
|
| 14367. |
Burkart O. |
Automatic Verification of Sequential Infinite-State Processes | 1997 |
|
| 14368. |
Burkart O. |
Automatic Verification of Sequential Infinite-State Processes | 1997 |
|
| 14369. |
Masterson M. |
Automatic Wealth: The Six Steps to Financial Independence | 2005 |
|
| 14370. |
Yun-Heh Chen-Burger Dave Robertson |
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (1st Edition.) | 2004 |
|
| 14371. |
Wu D. Parsia B. Sirin E. |
Automating DAML-S Web Services Composition Using SHOP2 | 2003 |
|
| 14372. |
Harkins S.S. Gunderloy M. |
Automating Microsoft Access with VBA | 2004 |
|
| 14373. |
Bauer K. |
Automating UNIX and Linux Administration | 2003 |
|
| 14374. |
McMahan S. |
Automating Windows with PERL | 1999 |
|
| 14375. |
Huang Y. |
Automation for food engineering: food quality quantization and process control | 2001 |
|
| 14376. |
Alterovitz G. Benson R. Ramoni M.F. |
Automation in proteomics and genomics: an engineering case-based approach | 2009 |
|
| 14377. |
Shneider Electric |
Automation Solution Guide | 2007 |
|
| 14378. |
Denton T. |
Automobile Electrical and Electronic Systems (Third Edition) | 2004 |
|
| 14379. |
Jacquet H. Langlands R.P. |
Automofphic forms on GL(2) | 1979 |
|
| 14380. |
Borel A. Jacquet H. |
Automorphic forms and automorphic representations | 1979 |
|
| 14381. |
Goldfeld D. Broughan G.A. |
Automorphic Forms and L-Functions for the Group GL(n,R) | 2006 |
|
| 14382. |
Goldfeld D. |
Automorphic forms and L-Functions for the group GL(n,R) | 2006 |
|
| 14383. |
Goldfeld D. |
Automorphic Forms and L-Functions for the Group GL(n,R) (Cambridge Studies in Advanced Mathematics) | 2006 |
|
| 14384. |
Ray U. |
Automorphic Forms And Lie Superalgebras | 2006 |
|
| 14385. |
Bump D. |
Automorphic forms and representations | 1998 |
|
| 14386. |
Bocherer S. (Ed) Ibukiyama T. (Ed) |
Automorphic Forms and Zeta Functions: Proceedings of the Conference in Memory of Tsuneo Arakawa Rikkyo University | 2006 |
|
| 14387. |
Gelbart S. |
Automorphic forms on adele groups | 1975 |
|
| 14388. |
Gelbart S. S. |
Automorphic Forms on Adele Groups. | 1975 |
|
| 14389. |
Jacquet H. Langlands R. |
Automorphic Forms on GL 2): Part 1 Lecture Notes in Mathematics | 1970 |
|
| 14390. |
Jacquet H. Langlands R.P. |
Automorphic forms on GL(2) (part 1) | 1970 |
|
| 14391. |
Jacquet H. |
Automorphic Forms on GL(2) (part 2) | 1972 |
|
| 14392. |
Bump D. |
Automorphic Forms on GL(3, R) | 1984 |
|
| 14393. |
Harish-Chandra |
Automorphic Forms on Semisimple Lie Groups | 1968 |
|
| 14394. |
Dold A.(ed.) |
Automorphic Forms on Semisimple Lie Groups | 1968 |
|
| 14395. |
Gelbart S . |
Automorphic Forms on the Metaplectic Group | 1974 |
|
| 14396. |
Borel A. Casselman W. |
Automorphic Forms, Representations, and L-functions | 1977 |
|
| 14397. |
Casselman W. Borel A. |
Automorphic Forms, Representations, and L-Functions (Proceedings of Symposia in Pure Mathematics) (3rd edition) | 1979 |
|
| 14398. |
Clozel L. Milne J. |
Automorphic forms, Shimura varieties, and L-functions | 1990 |
|
| 14399. |
Clozel L. Milne J. |
Automorphic forms, Shimura varieties, and L-functions: proceedings of a conference held at the University of Michigan, Ann Arbor, July 6-16, 1988 | 1990 |
|
| 14400. |
Ford L. |
Automorphic Functions (1-st edition) | 1929 |
|
|
|
О проекте