Languages
Seidl, Martina.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
UML @ classrooman introduction to object-oriented modeling /
by:
Seidl, Martina.; SpringerLink (Online service)
(Electronic resources)
Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings /
by:
(1998 :); Pulina, Luca.; Seidl, Martina.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(1998 :); Seidl, Martina.; SpringerLink (Online service); Tillmann, Nikolai.
(Electronic resources)
Software technologiesapplications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers /
by:
(1998 :); Seidl, Martina.; SpringerLink (Online service); Zschaler, Steffen.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
UML (Computer science)
Theory of Computation.
Logics and Meanings of Programs.
Computer algorithms
Logic in AI.
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Object-oriented methods (Computer science)
Special Purpose and Application-Based Systems.
User Interfaces and Human Computer Interaction.
Numeric Computing.
Computer Science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.