語系
Seidl, Martina.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
UML @ classroom = an introduction to object-oriented modeling /
by:
Seidl, Martina.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.