| 14401. |
Aceto L. (ed.) Damgård I. (ed.) Goldberg L.A. (ed.) |
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I | 2008 |
 |
| 14402. |
Aceto L. Damgaard I. Goldberg L. |
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I (Lecture Notes in Computer Science) | 2008 |
|
| 14403. |
Aceto L.(ed.) Damgaard I.(ed.) Goldberg L.A.(ed.) |
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II | 2008 |
|
| 14404. |
Albers S. Marchetti-Spaccamela A. Matias Y. |
Automata, Languages and Programming: 36 conf., ICALP 2009, | 2009 |
|
| 14405. |
Albers S. Marchetti-Spaccamela A. Matias Y. |
Automata, Languages and Programming: 36 conf., ICALP 2009, | 2009 |
|
| 14406. |
Albers S. Marchetti-Spaccamela A. Matias Y. |
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II (1 edition) | 2009 |
|
| 14407. |
Abramsky S. Gavoille C. Kirchner C. |
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes ... Computer Science and General Issues) | 2010 |
|
| 14408. |
Eilenberg S. |
Automata, languages, and machines. Volume A | 1974 |
|
| 14409. |
Samuel Eilenberg Bret Tilson |
Automata, languages, and machines. Volume B | 1976 |
|
| 14410. |
Salomaa A. Soittola M. |
Automata-Theoretic Aspects of Formal Power Series | 1978 |
|
| 14411. |
Fritzson P. |
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link?ping, Sweden, May 3-5, 1993. Proceedings | 1993 |
|
| 14412. |
Smith C.A. |
Automated Continuous Process Control | 2002 |
|
| 14413. |
Bissett B. |
Automated Data Analysis Using Excel | 2007 |
|
| 14414. |
Nieuwenhuis R. |
Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings | 2005 |
|
| 14415. |
Kapur D. |
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings | 1992 |
|
| 14416. |
McCune W. |
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence | 1997 |
|
| 14417. |
Kirchner C. Kirchner H. |
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | 1998 |
|
| 14418. |
Ganzinger H. |
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings | 1999 |
|
| 14419. |
McAllester D. |
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings | 2000 |
|
| 14420. |
Voronkov A. |
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings | 2002 |
|
| 14421. |
Baader F. |
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings | 2003 |
|
| 14422. |
Pfenning F. |
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings | 2007 |
|
| 14423. |
McRobbie M. Slaney J. |
Automated Deduction CADE-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: ... 13th | 1996 |
|
| 14424. |
Caferra R. Salzer G. |
Automated Deduction in Classical and Non-Classical Logics | 2000 |
|
| 14425. |
McCune W. Padmanabhan R. |
Automated Deduction in Equational Logic and Cubic Curves | 1996 |
|
| 14426. |
Winkler F. |
Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers | 2004 |
|
| 14427. |
Hong H. Wang D. |
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers | 2006 |
|
| 14428. |
Botana F. Recio T. |
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers | 2007 |
|
| 14429. |
Beeson M. Ida T. Fleuriot J. |
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers | 2013 |
|
| 14430. |
Gao X. Wang D. Yang L. |
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings | 1999 |
|
| 14431. |
Richter-Gebert J. Wang D. |
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers | 2001 |
|
| 14432. |
Hahnle R. |
Automated deduction in multiple-valued logics | 1994 |
|
| 14433. |
Alan Bundy |
Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings (1 edition) | 1994 |
|
| 14434. |
Bundy A. |
Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings | 1994 |
|
| 14435. |
Roodyn D.B. |
Automated Enzyme Assays | 1970 |
|
| 14436. |
Roodyn D. |
Automated Enzyme Assays | 1970 |
|
| 14437. |
Kim D. Sung J. |
Automated Face Analysis: Emerging Technologies and Research (Premier Reference Source) | 2009 |
|
| 14438. |
Komarinski P. |
Automated fingerprint identification systems | 2005 |
|
| 14439. |
Leacock C. Chodorow M. Gamon M. |
Automated Grammatical Error Detection for Language Learners | 2010 |
|
| 14440. |
Young D. Ma J. |
Automated identification of Fos expression | 2001 |
|
| 14441. |
Ottina M. |
Automated market makers | 2022 |
|
| 14442. |
Christel M. |
Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation (Synthesis Lectures on Information Concepts, Retrieval & Services) | 2009 |
|
| 14443. |
P. Pandurang Nayak |
Automated Modeling of Physical Systems (1 edition) | 1995 |
|
| 14444. |
Nicolas Bruno |
Automated Physical Database Design and tuning | 2011 |
|
| 14445. |
Basin D. (Ed) Rusinowitch M. (Ed) |
Automated Reasoning | 2004 |
|
| 14446. |
Wong L.C.W. |
Automated reasoning about classical mechanics | 1994 |
|
| 14447. |
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 |
|
| 14448. |
Mayer M.C. Pirri F. |
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 2003 (1 edition) | 2003 |
|
| 14449. |
Didier Galmiche |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97 (1 edition) | 1997 |
|
| 14450. |
Murray N.V. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99 (1 edition) | 1999 |
|
| 14451. |
Dyckhoff R. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 (1 edition) | 2000 |
|
| 14452. |
Beckert B. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 | 2005 |
|
| 14453. |
Olivetti N. (ed.) |
Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 | 2007 |
|
| 14454. |
Giese M. Waaler A. |
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 | 2009 |
|
| 14455. |
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 |
|
| 14456. |
Armando A. (ed.) Baumgartner P. (ed.) Dowek G. (ed.) |
Automated reasoning. Lecture notes in artificial intelligence 5195 | 2008 |
|
| 14457. |
Gore R. Leitsch A. Nipkow T. |
Automated Reasoning: First International Joint Conference | 2001 |
|
| 14458. |
Basin D. Rusinowitch M. |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings | 2005 |
|
| 14459. |
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 |
|
| 14460. |
Furbach U. Shankar N. |
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 2006 |
|
| 14461. |
Farn W. |
Automated Technology for Verification and Analysis | 2004 |
|
| 14462. |
Cha S. Choi J. Kim M. |
Automated Technology for Verification and Analysis, 6 conf., ATVA 2008 | 2008 |
|
| 14463. |
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 |
|
| 14464. |
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 |
|
| 14465. |
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 |
|
| 14466. |
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 |
|
| 14467. |
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 |
|
| 14468. |
Venkataraman K. |
Automated Versus Floor Trading: An Analysis Of Execution Costs On The Paris And New York Exchanges | n/a |
|
| 14469. |
Dietzfelbinger M. |
Automaten und Formale Sprachen | 2005 |
|
| 14470. |
Kindler E. Manthey S. |
Automaten, Formale Sprachen und Berechenbarkeit I | 2002 |
|
| 14471. |
Aachen M. |
Automatentheorie | 1996 |
|
| 14472. |
Voller R. |
Automatentheorie und Formale Sprachen | 1998 |
|
| 14473. |
Meinel C. |
Automatentheorie und Formale Sprachen | 2000 |
|
| 14474. |
Beyer R. |
Automatentheorie und Formale Sprachen I | 1992 |
|
| 14475. |
Ecker J. |
Automatentheorie und Kryptologie | 2004 |
|
| 14476. |
|
Automatentheorie und Logik 001 | 2004 |
|
| 14477. |
Metzger R. Wen Z. |
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization | 2000 |
|
| 14478. |
Alexander Franz |
Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach (1 edition) | 1996 |
|
| 14479. |
Broersen P.M.T. |
Automatic Autocorrelation and Spectral Analysis | 2006 |
|
| 14480. |
Sinclair A. M. |
Automatic continuity of linear operators | 1976 |
|
| 14481. |
Blakelock J.H. |
Automatic Control of Aircraft and Missiles | 2001 |
|
| 14482. |
Phelan R.M. |
Automatic Control Systems | 1977 |
|
| 14483. |
Kuo B.C. Golnaradhi F. |
Automatic Control Systems (8-th edition) | n/a |
|
| 14484. |
Golnaraghi F. Kuo B.C. |
Automatic Control Systems - Solutions Manual (9-th edition) | 2009 |
|
| 14485. |
Kuo B. |
Automatic Control Systems Solutions | 2002 |
|
| 14486. |
Rall L.B. |
Automatic Differentiation: Techniques and Applications | 1981 |
|
| 14487. |
Ferilli S. |
Automatic digital document processing and management | 2011 |
|
| 14488. |
Lu R. Zhang S. |
Automatic Generation of Computer Animation | 2002 |
|
| 14489. |
Krattenthaler C. Srinavasa Rao K. |
Automatic generation of hypergeometric identities by the beta integral method | 2003 |
|
| 14490. |
Moens M.-F. |
Automatic Indexing and Abstracting of Document Texts | 2000 |
|
| 14491. |
Moens M. |
Automatic Indexing and Abstracting of Document Texts | 2002 |
|
| 14492. |
Reinhardt M. |
Automatic Layout Modification: Including Design Reuse of the Alpha CPU in 0.13 Micron SOI Technology | 2002 |
|
| 14493. |
George P.L. |
Automatic Mesh Generation and Finite Element Computation | 1996 |
|
| 14494. |
Sparck Jones K. Wilks Y. |
Automatic natural language parsing | 1983 |
|
| 14495. |
Danvy O. Mairson H. Henglein F. |
Automatic Program Development: A Tribute to Robert Paige | 2008 |
|
| 14496. |
Spector L. |
Automatic Quantum Computer Programming | 2004 |
|
| 14497. |
Spector L. |
Automatic Quantum Computer Programming: A Genetic Programming Approach | 2006 |
|
| 14498. |
Spector L. |
Automatic Quantum Computer Programming: A Genetic Programming Approach (Genetic Programming) | 2004 |
|
| 14499. |
von Haeseler F. |
Automatic Sequences | 2003 |
|
| 14500. |
Haeseler F. |
Automatic sequences | 2003 |
|
|
|
О проекте