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

Programming Languages and Systems, Fachbücher von Chung-chien Shan

Databases Theory and Applications, Fachbücher

Certified Programs And Proofs Second International Conference, Cpp

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

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

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

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

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

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,...

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

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

Information Systems Security, Fachbücher von Indrakshi Ray, Aditya Bagchi