Languages
Seidl, Martina.
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Theory and applications of satisfiability testing - SAT 2020 = 23rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings /
by:
SAT (Conference) (2020 :); Pulina, Luca.; Seidl, Martina.; SpringerLink (Online service)
(Electronic resources)
UML @ classroom = an introduction to object-oriented modeling /
by:
Seidl, Martina.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
Seidl, Martina.; Tillmann, Nikolai.; SpringerLink (Online service)
(Electronic resources)
Software technologies = applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers /
by:
STAF (Federation of conferences) ((2017 :); Seidl, Martina.; Zschaler, Steffen.; SpringerLink (Online service)
(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.
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.
Computer software- Testing
Numeric Computing.
Computer software- Verification
Computer Science.
Simulation and Modeling.
Computer software- Development
Computer Systems Organization and Communication Networks.