This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Continue readingEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue readingThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue readingConstitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...
Continue readingMARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term ...
Continue readingMarkov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...
Continue readingIn this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...
Continue readingIn this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...
Continue readingThis textbook gives a clear and thorough presentation of the fundamental principles of mechanical systems and their dynamics. ...
Continue readingMethodology for the Digital Calibration of Analog Circuits and Systems shows how to relax the extreme design constraints ...
Continue readingThis book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September ...
Continue readingThis book contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held ...
Continue readingThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue readingThis book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
Continue readingSome important constraints of anesthesia must be taken into consideration when the pharmacological properties of modern anesthetics ...
Continue readingMultiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue readingOz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
Continue readingThis book introduces a statistical theory for extracting information from signals that have di?erent sampling rates. This ...
Continue readingThe book is dedicated to the question of how much room for national tax policy Member States of the European Union will find ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Applications of Natural Language to ...
Continue reading