Automata, Languages, and Programming, Fachbücher

Automata, Languages, and Programming, Fachbücher von Javier Esparza, Elias Koutsoupias, Thore Husfeldt, Pierre Fraigniau...

Computer Aided Verification, Fachbücher von Corina S. Pasareanu, Daniel Kroening

Tests and Proofs, Fachbücher von Nikolai Kosmatov, Jasmin Christian Blanchette

Detection of Intrusions and Malware, and Vulnerability Assessment, Fachbücher

Theory and Practice of Model Transformations, Fachbücher von Manuel Wimmer, Dimitris Kolovos

Developments in Language Theory, Fachbücher von Igor Potapov

Human-Computer Interaction. Novel Interaction Methods and Techniques, Fachbücher von Julie A., Jacko

Logic, Language, Information, and Computation, Fachbücher von Ruy De Queiroz, Anjolina G. De Oliveira, Lawrence S. Moss,...

Design, User Experience, and Usability: Designing Pleasurable Experiences, Fachbücher von Wentao Wang, Aaron Marcus

Automata, Languages, And Programming 42nd International Colloquium,

Graph Transformation, Fachbücher von Francesco Parisi-Presicce, Bernhard Westfechtel

Computational Science and Its Applications – ICCSA 2017, Fachbücher von Osvaldo Gervasi, David Taniar, Carmelo M. Torre,...

Design, User Experience, and Usability: Users and Interactions, Fachbücher von Aaron Marcus

Intelligent Robotics and Applications, Fachbücher

Computers Helping People with Special Needs, Fachbücher von Georgios Kouroupetroglou, Klaus Miesenberger