„Abstract Data Type“

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
• Specification and verification of dynamic topology systems – on the applicability of query- and data-type-reduction-based abstractions
  Westphal, Bernd
• Recent Trends in Data Type Specification – 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
  Haveraaen, Magne 1985 Springer Berlin Heidelberg
• The Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory
  Olthoff, Walter 2024 Saarländische Universitäts- und Landesbibliothek
• On implementations of loose abstract data type specifications and their vertical composition
  Beierle, Christoph ; Voß, Angelika 2023 Saarländische Universitäts- und Landesbibliothek
• 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
• RRLab – Rewrite Rule Labor
  Thomas, Christoph 2023 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
• Explaining Data Type Reduction in the Shape Analysis Framework
  Wachter, Björn 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ChemInform Abstract: Single‐Crystal Data of Ternary Germanides Ln 2 Nb 3 Ge 4 (Ln: Sc, Y, Gd—Er, Lu) and Sc 2 Ta 3 Ge 4 with Ordered Sm 5 Ge 4 ‐Type Structure.
  Reker, Bastian ; Matar, Samir F. ; Rodewald, Ute Ch. ; Hoffmann, Rolf‐Dieter ; Poettgen, Rainer
• 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