Certified Programs and Proofs, Fachbücher von Georges Gonthier, Michael Norrish

Databases Theory and Applications, Fachbücher von Mohamed A. Sharaf, Jianzhong Qi, Muhammad Aamir Cheema

Certified Programs And Proofs Second International Conference, Cpp

Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Inte, Fachbücher von Gabriel Urzaiz,...

Combinatorial Optimization and Applications, Fachbücher von Peter Widmayer, Yinfeng Xu, Binhai Zhu

Mining Intelligence and Knowledge Exploration, Fachbücher von Rajendra Prasath, T. Kathirvalavakumar

Pattern Recognition and Machine Intelligence, Fachbücher von Ashish Ghosh, Sankar K. Pal, M. Narasimha Murty, Pradipta M...

Theory and Practice of Natural Computing, Fachbücher von Carlos Martín-Vide, Adrian-Horia Dediu, Bianca Truthe, Miguel A...

Health Information Science, Fachbücher von Kendall Ho, Hua Wang, Daniel Zeng, Xiaoxia Yin, Rui Zhou, Uwe Aickelin

Swarm, Evolutionary, and Memetic Computing, Fachbücher von Swagatam Das, Shubhransu Sekhar Dash, Ponnuthurai Nagaratnam ...

Advanced Data Mining and Applications, Fachbücher von Longbing Cao, Zhaohui Wu, Hiroshi Motoda

Ambient Assisted Living and Active Aging, Fachbücher von Jose Bravo, Chris D. Nugent, Antonio Coronato

PRIMA 2013: Principles and Practice of Multi-Agent Systems, Fachbücher von Martin K. Purvis, Guido Boella, Frank Dignum,...

Trusted Systems, Fachbücher von Peter Lipp, Roderick Bloem

Big Data Analytics, Fachbücher von Srinath Srinivasa, Vasudha Bhatnagar

Model and Data Engineering, Fachbücher von Alfredo Cuzzocrea, Sofian Maabout