| 200311 |
|
Dyckhoff R. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 |
2000 • | •• |
| 199884 |
|
Beckert B. |
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 |
2005 | •• |
| 78598 |
|
Olivetti N. (ed.) |
Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 |
2007 | •• |
| 140363 |
|
Giese M., Waaler A. |
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 |
2009 | •• |
| 186322 |
|
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 | •• |
| 80750 |
|
Armando A. (ed.), Baumgartner P. (ed.), Dowek G. (ed.) |
Automated reasoning. Lecture notes in artificial intelligence 5195 |
2008 | •• |
| 132501 |
|
Gore R., Leitsch A., Nipkow T. |
Automated Reasoning: First International Joint Conference |
2001 | •• |
| 192743 |
|
Basin D., Rusinowitch M. |
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings |
2005 | •• |
| 192653 |
|
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 | •• |
| 134756 |
|
Furbach U., Shankar N. |
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
2006 | •• |
| 75794 |
|
Farn W. |
Automated Technology for Verification and Analysis |
2004 | •• |
| 179846 |
|
Cha S., Choi J., Kim M. |
Automated Technology for Verification and Analysis, 6 conf., ATVA 2008 |
2008 | •• |
| 186189 |
|
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 | •• |
| 132873 |
|
Susanne Graf, Wenhui Zhang |
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings |
2006 • | •• |
| 78776 |
|
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 | •• |
| 136965 |
|
Bouajjani A., Chin Wei-Ngan |
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings |
2010 • | •• |
| 170280 |
|
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 | •• |
| 197984 |
|
Venkataraman K. |
Automated Versus Floor Trading: An Analysis Of Execution Costs On The Paris And New York Exchanges |
n/a | •• |
| 105447 |
|
Dietzfelbinger M. |
Automaten und Formale Sprachen |
2005 | •• |
| 107256 |
|
Kindler E., Manthey S. |
Automaten, Formale Sprachen und Berechenbarkeit I |
2002 | •• |
| 20037 |
|
Aachen M. |
Automatentheorie |
1996 | •• |
| 20035 |
|
Voller R. |
Automatentheorie und Formale Sprachen |
1998 | •• |
| 20057 |
|
Meinel C. |
Automatentheorie und Formale Sprachen |
2000 | •• |
| 20034 |
|
Beyer R. |
Automatentheorie und Formale Sprachen I |
1992 | •• |
| 105997 |
|
Ecker J. |
Automatentheorie und Kryptologie |
2004 | •• |
| 104858 |
|
|
Automatentheorie und Logik 001 |
2004 | •• |
| 27281 |
|
Metzger R., Wen Z. |
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization |
2000 | •• |
| 150136 |
|
Alexander Franz |
Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach |
1996 • | •• |
| 77876 |
|
Broersen P.M.T. |
Automatic Autocorrelation and Spectral Analysis |
2006 | •• |
| 138069 |
|
Sinclair A. M. |
Automatic continuity of linear operators |
1976 | •• |
| 57100 |
|
Blakelock J.H. |
Automatic Control of Aircraft and Missiles |
2001 | •• |
| 9309 |
|
Phelan R.M. |
Automatic Control Systems |
1977 | •• |
| 117083 |
|
Kuo B.C., Golnaradhi F. |
Automatic Control Systems |
n/a • | •• |
| 114826 |
|
Golnaraghi F., Kuo B.C. |
Automatic Control Systems - Solutions Manual |
2009 • | •• |
| 106776 |
|
Kuo B. |
Automatic Control Systems Solutions |
2002 | •• |
| 54324 |
|
Rall L.B. |
Automatic Differentiation: Techniques and Applications |
1981 | •• |
| 131267 |
|
Ferilli S. |
Automatic digital document processing and management |
2011 | •• |
| 189206 |
|
Lu R., Zhang S. |
Automatic Generation of Computer Animation |
2002 | •• |
| 109121 |
|
Krattenthaler C., Srinavasa Rao K. |
Automatic generation of hypergeometric identities by the beta integral method |
2003 | •• |
| 135317 |
|
Moens M.-F. |
Automatic Indexing and Abstracting of Document Texts |
2000 | •• |
| 189184 |
|
Moens M. |
Automatic Indexing and Abstracting of Document Texts |
2002 | •• |
| 138319 |
|
Reinhardt M. |
Automatic Layout Modification: Including Design Reuse of the Alpha CPU in 0.13 Micron SOI Technology |
2002 | •• |
| 113090 |
|
George P.L. |
Automatic Mesh Generation and Finite Element Computation |
1996 | •• |
| 9721 |
|
Sparck Jones K., Wilks Y. |
Automatic natural language parsing |
1983 | •• |
| 176968 |
|
Danvy O., Mairson H., Henglein F. |
Automatic Program Development: A Tribute to Robert Paige |
2008 | •• |
| 184472 |
|
Spector L. |
Automatic Quantum Computer Programming |
2004 | •• |
| 27861 |
|
Spector L. |
Automatic Quantum Computer Programming: A Genetic Programming Approach |
2006 | •• |
| 192293 |
|
Spector L. |
Automatic Quantum Computer Programming: A Genetic Programming Approach (Genetic Programming) |
2004 | •• |
| 32616 |
|
von Haeseler F. |
Automatic Sequences |
2003 | •• |
| 178726 |
|
Haeseler F. |
Automatic sequences |
2003 | •• |
|
|
Î ïðîåêòå