„Abstract Data Types“

Suchergebnisse

1.000+ Treffer

• Canonical term functors and parameterization-by-use for the specification of abstract data types
  Beierle, Christoph ; Voß, Angelika 1983 Fachbereich Informatik, Univ.
• Programming for Engineers – A Foundational Approach to Learning C and Matlab
  Bradley, Aaron R. 2011 Springer Berlin Heidelberg
• Recent trends in data type specification – selected papers
  Astesiano, Egidio 1995 Springer
• Recent Trends in Data Type Specification – 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
  Haveraaen, Magne 1985 Springer Berlin Heidelberg
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 Springer International Publishing
• Object-based Programming with Go
  Maurer, Christian 2025 Springer Fachmedien Wiesbaden, Imprint: Springer
• Object-based Programming with Go
  Maurer, Christian 2025 Springer
• Canonical Term Functors and Parameterization-by-use for the Specification of Abstract Data Types
  Beierle, Christoph ; Voß, Angelika 2023 Saarländische Universitäts- und Landesbibliothek
• OBSCURE – a specification environment for abstract data types
  Lehmann, Thomas ; Loeckx, Jacques 2013 Saarländische Universitäts- und Landesbibliothek
• Abstract Data Types for Spatio-Temporal Remote Sensing Analysis (Short Paper)
  Sudmanns, Martin ; Lang, Stefan ; Tiede, Dirk ; Werner, Christian ; Augustin, Hannah ; Baraldi, Andrea 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generic Proofs of Consensus Numbers for Abstract Data Types
  Talmage, Edward ; Welch, Jennifer 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Warnsperren zur Synchronisation paralleler Prozesse auf abstrakten Datentypen – Synchronization of shared abstract data types using intention locks
  Kelter, Udo
• Scala: From a Functional Programming Perspective – An Introduction to the Programming Language
  Torra, Vicenç 2016 Springer International Publishing
• On hierarchies of abstract data types
  Wirsing, Martin ; Pepper, Peter ; Partsch, Helmut ; Dosch, Walter ; Broy, Manfred
• Dynamic abstract data types based on algebraic graph transformations
  Ehrig, Hartmut ; Löwe, Michael ; Orejas, Fernando 1994 Der Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Recent trends in data type specification – selected papers
  Ehrig, Hartmut 1994 Springer
• Recent trends in data type specification – selected papers
  Bidoit, Michel 1993 Springer
• Recent trends in data type specification – proceedings
  Ehrig, Hartmut 1991 Springer
• File transfer, access and management – design specification based on abstract data types
  Popescu-Zeletin, Radu 1983 Hahn-Meitner-Inst. für Kernforschung
• Recent trends in data type specification
  1988 Springer