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 41 öffnen
    Modern C++ design: generic programming and design patterns applied
    Andrei Alexandrescu
    7. print.. - Boston, Mass. [u.a.]: Addison-Wesley, 2003
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Fuzzy-Methoden: praxisrelevante Rechenmodelle und Fuzzy-Programmiersprachen ; mit 116 Tabellen
    Benno Biewer
    Berlin [u.a.]: Springer, 1997
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Objekt-orientierte Programmierung in der Automatisierung
    Jörg Fiedler ; Karl F. Rix ; Horst Zöller
    Düsseldorf: VDI-Verl, 1991
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen
    Alexander Schill
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    Mathematics of program construction: proceedings
    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Bernhard Möller (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    Fundamental approaches to software engineering: 7th international conference ; proceedings
    FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Michel Wermelinger ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Static analysis: 11th international symposium ; proceedings
    SAS 2004, Verona, Italy, August 26 - 28, 2004. Roberto Giacobazzi (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Model checking software: proceedings
    11th International SPIN Workshop, Barcelona, Spain, April 1 - 3, 2004. Susanne Graf (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Fundamental approaches to software engineering: 9th international conference ; proceedings
    FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006. Luciano Baresi ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Verification, model checking, and abstract interpretation: 4th international conference ; proceedings
    VMCAI 2003, New York, NY, USA, January 9 - 11, 2003. Lenore D. Zuck ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Type theory and functional programming
    Simon Thompson
    Wokingham, England [u.a.]: Addison-Wesley, 1991
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Parallel symbolic languages and systems: proceedings
    International Workshop PSLS '95, Beaune, France, October 2 - 4, 1995. Takayasu Ito ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Principles and practice of constraint programming: proceedings
    CP '95, First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Ugo Montanari ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Formal description of programming concepts
    Erich J. Neuhold ... (eds.). With contrib. by K. R. Apt ..
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Essentials of programming languages
    Daniel P. Friedman ; Mitchell Wand ; Christopher T. Haynes
    Cambridge, Mass [u.a.]: MIT Press [u.a.], 1992
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    Vorlesungen über Informatik, 1. Grundlagen und funktionales Programmieren : mit 35 Tabellen
    Gerhard Goos
    3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000
    Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    A new approach to formal language definition and its application to oberon
    presented by Martin Odersky
    1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 58 öffnen
    Visualization of scientific parallel programs
    Gerald Tomas ; Christoph W. Ueberhuber
    Berlin [u.a.]: Springer, 1994
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 59 öffnen
    Foundations for programming languages
    John C. Mitchell
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 60 öffnen
    Programmiersprachen: Grundlagen, Konzepte, Entwurf
    Kenneth C. Louden
    1. Aufl.. - Bonn [u.a.]: Internat. Thomson Publ, 1994
    Monographie, Gedruckte Ressource

Artikel & mehr

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