„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Finite automata with undirected state graphs
  Kutrib, Martin ; Malcher, Andreas ; Schneider, Christian
• Transactions on Modularity and Composition I
  Chiba, Shigeru ; Südholt, Mario ; Eugster, Patrick ; Ziarek, Lukasz ; Leavens, Gary T. 2016 Springer International Publishing
• Mathematics and Computing – ICMC, Haldia, India, January 2015
  2015 Springer India
• Reliable Software Technologies – Ada-Europe 2015 – 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
  De la Puente, Juan A. ; Vardanega, Tullio 2015 Springer International Publishing
• Automating the development of API-based generators using code idioms mining
  Todorović, Nenad ; Lukić, Aleksandar ; Todorović, Nikola ; Dragaš, Bojana ; Milosavljević, Gordana
• Programmieren mit Python – Eine Einführung in die Prozedurale, Objektorientierte und Funktionale Programmierung
  Häberlein, Tobias 2024 Springer Berlin Heidelberg
• Discrete-Event Simulation – Modeling, Programming, and Analysis
  Fishman, George S. 2001 Springer New York
• Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
  Kabir, Mohimenul ; Trinh, Van-Giang ; Pastva, Samuel ; Meel, Kuldeep S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Partial information systems and the Smyth powerdomain
  Hart, James
• Algorithmic Adventures – From Knowledge to Magic
  Hromkovič, Juraj 2009 Springer Berlin Heidelberg
• Introduction to Concurrency Theory – Transition Systems and CCS
  Gorrieri, Roberto ; Versari, Cristian 2015 Springer Berlin Heidelberg
• Softwaretests mit Python
  Hubertz, Johannes 2016 Springer Berlin Heidelberg
• Cartography: a Multifaceted Discipline
  Edler, Dennis
• Programming4Modeling – Codes in Modellen auf Basis von Java und UML
  Nyamsi, Eric A. 2022 Springer Fachmedien Wiesbaden
• Secure Smart Embedded Devices, Platforms and Applications
  Markantonakis, Konstantinos ; Mayes, Dr. Keith 2014 Springer New York
• Moderne Software-Entwicklung mit Java und JEE – Ein praxisorientiertes Lehrbuch für effiziente Programmierung
  Wagenpfeil, Stefan 2023 Springer Berlin Heidelberg
• Bridging the Gap between Requirements Engineering and Software Architecture – A Problem-Oriented and Quality-Driven Method
  Alebrahim, Azadeh 2017 Springer Fachmedien Wiesbaden
• Ontology-Driven Visual Analytics Software Development
  Chuprina, S. I. ; Ryabinin, Konstantin ; Koznov, D. V. ; Matkin, K. A.
• Symbolic Computation of a Homological Equation of an Arbitrary Order and Reduction of Hamiltonian System to Its Normal Form
  Batkhin, Alexander
• Logic and Its Applications – 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
  Aiswarya, C. ; Sen, Prabal Kumar ; Srivastava, Shashi M. 2025 Springer Nature Switzerland, Imprint: Springer