Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery
This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ ...
Continue reading
Complex and Adaptive Dynamical Systems : A Primer
We are living in an ever more complex world, an epoch where human actions can accordingly acquire far-reaching potentialities. ...
Continue reading
Comprehensive Mathematics for Computer Scientists 1
This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...
Continue reading
Computable Models of the Law : Languages, Dialogues, Games, Ontologies
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop ...
Continue reading
Computation Engineering
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...
Continue reading
Computation and Logic in the Real World
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
Continue reading
Computation and Logic in the Real World
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
Continue reading
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Continue reading
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Continue reading
Computational Forensics : Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, ...
Continue readingComputational Intelligence in Reliability Engineering
This volume contains chapters presenting applications of different metaheuristics (ant colony optimization, great deluge ...
Continue reading
Computational Intelligence in Time Series Forecasting
Deals with the power of intelligent technologies individually and in combination. This book includes examples of the particular ...
Continue reading
Computational Science - ICCS 2006 (vol. # 3991)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading
Computational Science - ICCS 2006 (vol. # 3993)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue reading
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Continue reading
