Programmiersprachen
Vorschläge für Programmiersprachen
(9783319906850) | Logic Programming
(9783319701684) | Artificial Intelligence, Advances in Artificial
(9783319686899) | Formal Methods and, Formal Engineering Methods
(9783319680651) | Economics of Grids
(9783319676296)
(9783319677286) | Theoretical Aspects of Computing
(9783319675480 / KIDS PLAIN LEGGINGS) | Testing Software and Systems
(9783319675305) | Runtime Verification
(9783662544938) | Fundamental Approaches to Software
(9783319668444) | Integrated Formal Methods
RIDDLEDWITHSTYLE (9783319662831 / FLORAL LACE MAXI CARDIGANS) | Computer Safety
(9783319661964) | And Formal Methods
(9783319661063) | Interactive Theorem Proving
(9783319631387) | Logic-Based Program Synthesis and
(9783319627007) | Advances in Data Mining
(9783319633893) | Computer Aided Verification
(9783319620749) | Intelligent Computer Mathematics
(9783319624037) | Computational Science and Its
(9783319596495) | Hybrid Artificial Intelligent Systems
(9783319572871) | NASA Formal Methods
(9783662544570)
(9783319533537) | Agents and Artificial Intelligence
(9783319510453) | And puzzles
(9783319479576) | Programming Languages and Systems
Springer-Verlag GmbH (9783319478456 / 26829902) | Formal Methods and, Formal Engineering Methods
(9783319469812) | Runtime Verification
(9783319471051) | Software Engineering
(9783319449012) | Human-Centered and, On Human-Centered
(9783319415789) | Perspectives of System Informatics, Ershov Informatics
(9783319415604) | Advances in Data Mining