Automated Deduction in Geometry, Fachbücher von Jacques Fleuriot, Tetsuo Ida

Automated Deduction in Geometry, Fachbücher von Pedro Quaresma, Francisco Botana

Automated Deduction In Geometry 9th International Workshop, Adg 2012,

Critical Information Infrastructures Security, Fachbücher von Bernhard Hämmerli, Javier Lopez, Nils Kalstad Svendsen

New Frontiers in Mining Complex Patterns, Fachbücher von Elio Masciari, Corrado Loglisci, Zbigniew Ras, Giuseppe Manco, ...

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, Fachbücher von Joaquin Garcia-Alfaro

Constraint Solving and Language Processing, Fachbücher von Yannick Parmentier, Denys Duchier

Citizen in Sensor Networks, Fachbücher von Jordi Nin, Daniel Villatoro

Implementation and Application of Functional Languages, Fachbücher von Ralf Hinze

Security Protocols, Fachbücher von Joseph Bonneau, James Malcolm, Jonathan Anderson, Frank Stajano, Bruce Christianson

Resource Discovery, Fachbücher von Zoé Lacroix, Maria-Esther Vidal, Edna Ruckhaus

Trustworthy Global Computing, Fachbücher

Ubiquitous Social Media Analysis, Fachbücher von Denis Helic, Alvin Chin, Martin Atzmueller, Andreas Hotho

Agents and Data Mining Interaction, Fachbücher

Discrete and Computational Geometry and Graphs, Fachbücher von Jin Akiyama, Toshinori Sakai, Hiro Ito

Parameterized and Exact Computation, Fachbücher