Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
23 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

23 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Semantik von Programmiersprachen
    Elfriede Fehr
    Berlin [u.a.]: Springer, 1989
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Mathematical foundations of programming semantics: 9th international conference, New Orleans, La., USA, April 7 - 10, 1993 ; proceedings
    [Ninth International Conference on the Mathematical Foundations of Programming Semantics]. S. Brookes ... (eds.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Algebraic approaches to program semantics
    Ernest G. Manes ; Michael A. Arbib
    New York [u.a.]: Springer, 1986
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Mathematical foundations of programming semantics: 7th international conference, Pittsburgh, PA, USA, March 25 - 28, 1991 ; proceedings
    [Seventh International Conference on the Mathematical Foundations of Programming Semantics]. S. Brookes ... (eds.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Formal models and semantics
    ed. by Jan van Leeuwen
    Amsterdam [u.a.]: Elsevier [u.a.], 1990
    Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Mathematical foundations of programming language semantics, 3. Tulane University, New Orleans, Louisiana, USA, April 8 - 10, 1987: ... workshop ; proceedings
    Workshop on the Mathematical Foundations of Programming Language Semantics
    Berlin, Heidelberg [u.a.]: Springer, 1988
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Semantics for concurrency: proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
    M. Z. Kwiatkowska ..
    London [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Formal semantics and pragmatics for natural language querying
    James Clifford
    Cambridge [u.a.]: Cambridge Univ. Press, 1990
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Mathematical models for the semantics of parallelism: advanced school, Rome, Italy, September 24 - October 1, 1986 ; proceedings
    Marisa Venturini Zilli (ed.)
    Berlin [u.a.]: Springer, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    The semantics of programming languages: an elementary introduction using structural operational semantics
    Matthew Hennessy
    Chichester [u.a.]: Wiley, 1990
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Compiling natural semantics
    Mikael Pettersson
    Berlin [u.a.]: Springer, 1999
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Predicate calculus and program semantics
    Edsger W.Dijkstra ; Carel S. Scholten
    New York [u.a.]: Springer, 1990
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Semantics of type theory: correctness, completeness and independence results
    Thomas Streicher
    Boston [u.a.]: Birkhäuser, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Semantics of systems of concurrent processes: proceedings
    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990. I. Guessarian (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Semantics of specification languages (SoSL): proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993
    D. J. Andrews ... (eds.)
    London [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Semantics of parallelism: non-interleaving representation of behaviour
    Michael W. Shields
    London [u.a.]: Springer, 1997
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    A theory of programming language semantics
    by Robert Milne and Christopher Strachey
    London: Chapman and Hall [u.a.]
    Monographie, Schriftenreihe, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Categorical combinators, sequential algorithms and functional programming
    P.-L. Curien
    London: Pitman [u.a.], 1986
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Programming languages and their definition: selected papers
    H. Bekič. Ed. by C. B. Jones
    Berlin [u.a.]: Springer, 1984
    Monographie, Aufsatzsammlung, Bibliografie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Complementary definitions of programming language semantics
    James E. Donahue
    Berlin [u.a.]: Springer, 1976
    Monographie, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -