A to Z List of Ebooks
Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
---|---|---|---|---|---|---|
Automata, Languages and Programming: Fifth Colloquium, Udine | Giorgio Ausiello, Corrado Böhm |
9783540358077 |
Springer |
Computer Science |
62 |
1978 |
Automata, Languages and Programming: Fourth Colloquium, University of Turku | Arto Salomaa, Magnus Steinby |
9783540373056 |
Springer |
Computer Science |
52 |
1977 |
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark | Mogens Nielsen, Erik Meineche Schmidt |
9783540393085 |
Springer |
Computer Science |
140 |
1982 |
Automata, Languages and Programming:22nd International Colloquium, ICALP 95 Szeged | Zoltán Fülöp, Ferenc Gécseg |
9783540494256 |
Springer |
Computer Science |
944 |
1995 |
Automated and Algorithmic Debugging | Peter A. Fritzson |
9783540481416 |
Springer |
Computer Science |
749 |
1993 |
Automated Deduction — CADE-12 | Alan Bundy |
9783540484677 |
Springer |
Computer Science |
814 |
1994 |
Automated Deduction — Cade-13 | M. A. McRobbie, J. K. Slaney |
9783540686873 |
Springer |
Computer Science |
1104 |
1996 |
Automated Deduction in Equational Logic and Cubic Curves | W. McCune, R. Padmanabhan |
9783540685227 |
Springer |
Computer Science |
1095 |
1996 |
Automated Essay Scoring | Beata Beigman Klebanov, Nitin Madnani |
9783031021824 |
Synthesis Collection of Technology (R0) |
Artificial Intelligence, NLP |
2022 |
|
Automated Grammatical Error Detection for Language Learners | Claudia Leacock, Michael Gamon, Joel Alejandro Mejia, Martin Chodorow |
9783031021534 |
Synthesis Collection of Technology (R0) |
Artificial Intelligence, NLP, Computational Linguistics |
2nd ed. |
2014 |
Automated Grammatical Error Detection for Language Learners | Claudia Leacock, Martin Chodorow, Michael Gamon, Joel Tetreault |
9783031021374 |
Synthesis Collection of Technology (R0) |
Artificial Intelligence, NLP, Computational Linguistics |
2010 |
|
Automated Metadata in Multimedia Information Systems | Michael Christel |
9783031022586 |
Synthesis Collection of Technology (R0) |
Information Systems |
2009 |
|
Automated Modeling of Physical Systems | P. Pandurang Nayak |
9783540485209 |
Springer |
Computer Science |
1003 |
1995 |
Automated Reasoning, Part I | Nicolas Peltier, Viorica Sofronie-Stokkermans |
9783030510749 |
Springer |
Computer Science |
2020 |
|
Automated Reasoning, Part II | Nicolas Peltier, Viorica Sofronie-Stokkermans |
9783030510541 |
Springer |
Computer Science |
2020 |
|
Automated Software Diversity | Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, Michael Franz |
9783031023460 |
Synthesis Collection of Technology (R0) |
Data Security |
2016 |
|
Automated Taxonomy Discovery and Exploration | Jiaming Shen, Jiawei Han |
9783031114052 |
Synthesis Collection of Technology (R0) |
Machine Learning, Big Data |
2022 |
|
Automated Technology for Verification and Analysis | Dang Van Hung, Oleg Sokolsky |
9783030591526 |
Springer |
Computer Science |
2020 |
|
Automated Verification of Concurrent Search Structures | Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies |
9783031018060 |
Synthesis Collection of Technology (R0) |
Mathematics, Computer Science |
2021 |
|
Automatic Ambiguity Resolution in Natural Language Processing | Alexander Franz |
9783540495932 |
Springer |
Computer Science |
1171 |
1996 |