Sökt på: a p it
totalt 7 005 träffar
Cangjie input method
Risk Assessment, Modeling and Decision Support
1 2 Ann Bostrom , Steven P. French 1,2 Georgia Institute of Technology, Atlanta, Georgia, USA st The first years of the 21 century brought horrific loss of life and property from …
Shining Hearts
Active Networks
This year marks the fourth year of the International Working Conference on Active Networks; this volume contains the papers accepted for full presentation at the conference. These …
Machine Learning
A comprehensive introduction to machine learning that uses probabilistic models and inference as a unifying approach.Today's Web-enabled deluge of electronic data calls for …
Adriaan van Wijngaarden
Semantics and Logics of Computation
The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at …
The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …
Biomimetic and Biohybrid Systems
This book constitutes the proceedings of the 4th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2015, held in Barcelona, Spain, in July 2015. The 34 …
Question of Artificial Intelligence
Originally published in 1987 when Artificial Intelligence (AI) was one of the most hotly debated subjects of the moment; there was widespread feeling that it was a field whose …
Advances in Signal Processing and Communication Engineering
This book comprises select proceedings of the International Conference on Advances in Signal Processing and Communication Engineering (ICASPACE 2021).