Electronic Books

Total Books: 341 - 360 /541

LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...

Leading Edge Technologies in Fashion Innovation : Product Design and Development Process from Materials to the End Products to Consumers / Young-A Lee

Offers cutting-edge knowledge on various design and product development related technologies, and applications of these technologies ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Liapunov Functions and Stability in Control Theory

This book presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Logic for Programming, Aritficial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Logical Foundations of Computer Science

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

Machine Learning Algorithms Using Python Programming (Paperback) Gopal Sakarkar

Presents the key concepts of Machine Learning which includes Python concepts and Interpreter, Foundation of Machine Learning, ...

Machine Learning Refined: Foundations, Algorithms, and Applications / Jeremy Watt, Reza Borhani, Aggelos K. Katsaggelos

Provides students with the fundamental knowledge and practical tools needed to conduct research and build data-driven products. ...

Machine Learning Refined: Foundations, Algorithms, and Applications / Jeremy Watt, Reza Bourhani

Providing a unique approach to machine learning, this text contains fresh and intuitive, yet rigorous, descriptions of all ...

Machines, Computations, and Universality

Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...

Machines, Computations, and Universality

The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, ...

Management by Business Process : A Managerial Perspective of People, Process, and Technology / José Osvaldo De Sordi

To support businesses managed through an organizational structure oriented by business processes, it is essential that the ...

Total Books: 341 - 360 /541