„Abstract Data Type“

Suchergebnisse

108 Treffer

• Specification of abstract data types
  Loeckx, Jacques ; Ehrich, Hans-Dieter ; Wolf, Markus 1996 Wiley Teubner
• Recent trends in data type specification – selected papers
  Haveraaen, Magne 1996 Springer
• OBSCURE a specification language for abstract data types
  Lehmann, Thomas ; Loeckx, Jacques
• Two impossibility theorems on behaviour specification of abstract data types
  Schoett, Oliver
• Methodical specification of abstract data types via rewriting systems
  Veloso, P. A. S.
• Abstract Data Types and Type Theory: Theories as Types
  de Queiroz, Ruy J. G. B. ; Maibaum, Thomas S. E.
• Programming with JAVA – JAVA PROGRAMMING
  Singh, Ummed 2023 BookRix
• Computing Eigenvalues of Lommel-Type Equations by the Sampling Method
  Boumenir, A.
• Discrete Jackson-type Operators via a Boolean Sum Approach
  Kacsó, Daniela P.
• Another Grüss Type Inequality for Sequences of Vectors in Normed Linear Spaces and Applications
  Dragomir, S. S.
• Bibliography on Abstract Data Types
  Kutzler, Bernhard ; Lichtenberger, Franz 1983 Springer Berlin Heidelberg
• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types
  Sherman, Mark Steven 1985 Springer
• Bibliography on abstract data types
  Kutzler, Bernhard ; Lichtenberger, Franz 1983 Springer
• Discrete Competitive and Cooperative Models of Lotka–Volterra Type
  Liu, Pingzhou ; Elaydi, Saber N.
• A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
  Girard, Jean-François ; Koschke, Rainer ; Schied, Georg
• A practical example of the specification of abstract data types
  Tompa, Frank W.
• Abstract Data Types Can Have Inequations1
  Kondoh, Hidetaka
• Enhanced abstract data types in object-relational databases
  Seshadri, Praveen
• ChemInform Abstract: Sr 4 AlNbO 8: A New Crystal Structure Type Determined from Powder X‐Ray Data.
  Lee, Eungje ; Hong, Seung‐Tae
• MAT learners for tree series: an abstract data type and two realizations
  Drewes, Frank ; Högberg, Johanna ; Maletti, Andreas