Electronic Books

Total Books: 161 - 180 /277
978-3-540-89439-1
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 ...

Continue reading
978-3-540-75144-1
Logic, Language, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

Continue reading
978-3-540-71410-1
Logic-Based Program Synthesis and Transformation

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

Continue reading
978-3-540-31653-4
MICAI 2005: Advances in Artificial Intelligence

Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...

Continue reading
978-1-4020-3368-1
Marine Resource Damage Assessment

MARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term ...

Continue reading
978-0-387-36951-8
Markov Decision Processes with Their Applications

Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...

Continue reading
978-3-540-48926-9
Mathematical Aspects of Classical and Celestial Mechanics

In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...

Continue reading
978-3-540-48926-9
Mathematical Aspects of Classical and Celestial Mechanics

In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...

Continue reading
978-3-540-79436-3
Mechanical System Dynamics

This textbook gives a clear and thorough presentation of the fundamental principles of mechanical systems and their dynamics. ...

Continue reading
978-1-4020-4253-9
Methodology for the Digital Calibration of Analog Circuits and Systems

Methodology for the Digital Calibration of Analog Circuits and Systems shows how to relax the extreme design constraints ...

Continue reading
978-0-387-22874-7
Mobile Information Systems (vol. # 158)

This book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September ...

Continue reading
978-0-387-31166-1
Mobile Information Systems II

This book contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held ...

Continue reading
978-3-540-87875-9
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Continue reading
978-3-030-57250-1
Modelling in Mathematical Programming

This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...

Continue reading
978-3-540-74806-9
Modern Anesthetics

Some important constraints of anesthesia must be taken into consideration when the pharmacological properties of modern anesthetics ...

Continue reading
978-3-540-88908-3
Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...

Continue reading
978-3-540-31845-3
Multiparadigm Programming in Mozart

Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...

Continue reading
978-1-4020-5317-7
Multirate Statistical Signal Processing

This book introduces a statistical theory for extracting information from signals that have di?erent sampling rates. This ...

Continue reading
978-3-540-70711-0
National Tax Policy in Europe

The book is dedicated to the question of how much room for national tax policy Member States of the European Union will find ...

Continue reading
978-3-540-34617-3
Natural Language Processing and Information Systems (vol. # 3999)

This book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to ...

Continue reading
Total Books: 161 - 180 /277