Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

339 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Applications of graph transformations with industrial relevance: second international workshop ; revised selected and invited papers
    AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003. John L. Pfaltz ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Invasive software composition: with 9 tables
    Uwe Aßmann
    Berlin [u.a.]: Springer, 2003
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Formal methods and software engineering: proceedings
    6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004. Jim Davies ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    Advances in learning software organizations: 4th international workshop ; revised papers
    LSO 2002, Chicago, IL, USA, August 6, 2002. Scott Henninger ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung
    Peter Scholz
    Berlin [u.a.]: Springer, 2005
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    ZB 2002: formal specification and development in Z and B: proceedings
    2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Formal methods for components and objects: revised lectures
    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004. Frank S. de Boer ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Reliable software technologies: proceedings
    Ada Europe '99, 1999 Ada Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999. Michael González Harbour ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Component based software quality: methods and techniques
    Alejandra Cechich ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Interactive systems design, specification, and verification: 7th international workshop ; revised papers
    DSV-IS 2000, Limerick, Ireland, June 5 - 6, 2000. Philippe Palanque ... (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Volltext für Abonnenten der Serie (aus dem Hochschulnetz der betr. Univ.); für alle anderen Inhaltsverzeichnis und Abstracts
  11. Detailansicht für Treffer 51 öffnen
    Learning software organizations: methodology and applications ; proceedings
    11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999. Günther Ruhe ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Objects, agents, and features: international seminar, Dagstuhl Castle, Germany, February 16 - 21, 2003 ; revised and invited papers
    Mark D. Ryan ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Reuse of off-the-shelf components: proceedings
    9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12 - 15, 2006. Maurizio Morisio (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Performance engineering: state of the art and current trends
    Reiner Dumke ... (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Software-Entwurf mit UML: objektorientierte Modellierung mit Beispielen in Java
    Jochen Seemann ; Jürgen Wolff von Gudenberg
    Berlin [u.a.]: Springer, 2000
    Monographie, Gedruckte Ressource, Elektronische Ressource, CD-ROM
  16. Detailansicht für Treffer 56 öffnen
    Formal specification and development in Z and B: proceedings
    ZB 2005, 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005. Helen Treharne ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    Expert systems for software engineers and managers
    S. David Hu
    New York [u.a.]: Chapman and Hall, 1987
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 58 öffnen
    Das objektorientierte Konstruktionshandbuch nach dem Werkzeug- & Material-Ansatz
    Heinz Züllighoven
    1. Aufl.. - Heidelberg: dpunkt-Verl, 1998
    Sammelwerk, Gedruckte Ressource, Elektronische Ressource, CD-ROM
  19. Detailansicht für Treffer 59 öffnen
    Refactoring: improving the design of existing code
    Martin Fowler ..
    10. print.. - Boston [u.a.]: Addison-Wesley, 2002
    Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 60 öffnen
    Aspect oriented software development with use cases
    Ivar Jacobson ; Pan-Wei Ng
    Upper Saddle River, NJ [u.a.]: Addison-Wesley, 2005
    Monographie, Gedruckte Ressource

Artikel & mehr

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