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