Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
466 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

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

466 Treffer

Sortierung: 
  1. Detailansicht für Treffer 81 ö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
  2. Detailansicht für Treffer 82 öffnen
    Formal techniques, modelling and analysis of timed and fault tolerant systems: proceedings
    Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 83 öffnen
    Programs as data objects: second symposium ; proceedings
    PADO 2001, Aarhus, Denmark, May 21 - 23, 2001. Olivier Danvy ; Andrzej Filinski (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 84 öffnen
    Internet programming languages: proceedings
    ICCL '98 Workshop, Chicago, IL, USA, May 13, 1998. Henri E. Bal ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 85 öffnen
    Principles and practice of declarative programming: proceedings
    International Conference PPDP '99, Paris, France, September 29 - October 1, 1999. Gopalan Nadathur (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 86 öffnen
    Languages and compilers for parallel computing: proceedings
    10th international workshop, LCPC '97, Minneapolis, Minnesota, USA, August 7 - 9, 1997. Zhiyuan Li ... (eds.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 87 öffnen
    Programming languages: implementations, logics, and programs: proceedings
    8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Herbert Kuchen ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 88 öffnen
    Computers and languages: theory and practice
    Anton Nijholt
    Amsterdam [u.a.]: North-Holland [Publ. Co.], 1988
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 89 öffnen
    Automatische Komplexitätsanalyse funktionaler Programme
    Wolf Zimmermann
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 90 öffnen
    Category theory and computer science: proceedings
    6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. David Pitt ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 91 öffnen
    Reguläre Ausdrücke: Grundlagen, Praxislösungen, Referenz ; [Programmierung mit regulären Ausdrücken ; Praxislösungen in PHP, Perl, Python und JavaScript ; inkl. Übungsaufgaben und Lösungen]
    Wolfgang Wiedl
    1. Aufl.. - Bonn: Galileo Press, 2006
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 92 öffnen
    Compiler construction: 13th international conference ; proceedings
    CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Evelyn Duesterwald (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 93 öffnen
    A parallel object oriented language: design and semantic foundations
    P. H. M. America ; J. J. M. M. Rutten
    Amsterdam: Centrum voor Wiskunde en Informatica, 1991
    Hochschulschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 94 öffnen
    Category theory and computer science, 4. Paris, France, September 3 - 6, 1991: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1991
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  15. Detailansicht für Treffer 95 öffnen
    Einführung in die Semantik von Programmiersprachen
    von Klaus Alber und Werner Struckmann
    Mannheim [u.a.]: BI-Wiss.-Verl, 1988
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 96 öffnen
    Eine verifizierte Implementierung funktional-logischer Programmiersprachen
    Andy Mück
    Als Ms. gedr.. - Aachen: Shaker, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 97 öffnen
    Next generation information system technology: proceedings
    First International East West Data Base Workshop Kiev, USSR, October 9 - 12, 1990. J. W. Schmidt ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 98 öffnen
    Concepts of programming languages
    Robert W. Sebesta
    3. ed., repr. with. corr.. - Reading, Mass. [u.a.]: Addison-Wesley, 1996
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 99 öffnen
    Concepts of programming languages
    Sebesta, Robert W.
    Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1989
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 100 öffnen
    Languages and compilers for parallel computing: proceedings
    8th International Workshop, LCPC '95, Columbus, Ohio, USA, August 10 - 12, 1995. C.-H. Huang ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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