Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

41 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Objektorientierte Anwendungsentwicklung: Konzepte, Strategien, Erfahrungen
    Klaus Kilberth, Guido Gryczan und Heinz Züllighoven
    Braunschweig [u.a.]: Vieweg, 1993
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Tools and algorithms for the construction and analysis of systems: 10th international conference ; proceedings
    TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Methoden der Usability-Evaluation: wissenschaftliche Grundlagen und praktische Anwendung
    Florian Sarodnick ; Henning Brau
    1. Aufl.. - Bern: Huber, 2006
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Integrated formal methods: second international conference ; proceedings
    IFM 2000, Dagstuhl Castle, Germany, November 1 - 3, 2000. Wolfgang Grieskamp ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Tools and algorithms for the construction and analysis of systems: 11th international conference ; proceedings
    TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Nicolas Halbwachs ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  6. Detailansicht für Treffer 26 öffnen
    Object oriented software engineering
    Steve Halladay ; Michael Wiebel
    Lawrence, Kan.: R & D Publ, 1993
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Object success: a manager's guide to object-orientation, its impact on the corporation and its use for reengineering the software process
    Bertrand Meyer
    London [u.a.]: Prentice-Hall, 1995
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    Integrated formal methods: 5th international conference ; proceedings
    IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Judi Romijn ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 29 öffnen
    Model driven engineering languages and systems: 9th international conference ; proceedings
    MoDELS 2006, Genova, Italy, October 1 - 6, 2006. Oscar Nierstrasz ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 30 öffnen
    Theoretical aspects of computing: third international colloquium ; proceedings
    ICTAC 2006, Tunis, Tunisia, November 20 - 24, 2006. Kamel Barkaoui ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    Object process methodology: a holistic systems paradigm
    Dov Dori
    Berlin [u.a.]: Springer, 2002
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Integrated formal methods: 4th international conference ; proceedings
    IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Industrial benefit of formal methods: proceedings
    FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    Engineering self-organising systems: methodologies and applications
    Sven A. Brueckner ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Applications of graph transformations with industrial relevance: international workshop ; proceedings
    AGTIVE'99, Kerkrade, The Netherlands, September 1 - 3, 1999. Manfred Nagl ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Embedded systems: new approaches to their formal description and design ; an advanced course, Zürich, Switzerland, March 5 - 7, 1986
    A. Kündig ... (ed.)
    Berlin [u.a.]: Springer, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Formal methods for real time and probabilistic systems: proceedings
    5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999. Joost-Pieter Katoen (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Formal methods for software architectures: advanced lectures
    Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003. Marco Bernardo ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Model driven engineering languages and systems: 8th international conference ; proceedings
    MoDELS 2005, Montego Bay, Jamaica, October 2 - 7, 2005. Lionel Briand ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Industrial benefit and advances in formal methods: proceedings
    FME '96, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996. Marie-Claude Gaudel ... (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 -