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