Automata, Languages, and Programming, Fachbücher

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

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

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

Developments in Language Theory, Fachbücher von Igor Potapov

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

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

Automata, Languages, And Programming 42nd International Colloquium,

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

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

Image and Graphics, Fachbücher

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

Computer Vision Systems, Fachbücher von Volker Krüger, Antonios Gasteratos, Jan-Olof Eklundh, Lazaros Nalpantidis

Data Science, Fachbücher