Zum Hauptinhalt springen
UB Wuppertal

Suchergebnisse

Katalog
704 Treffer

Suchmaske

Suchtipp für den Bereich 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

Form

Literaturtyp

Schlagwort

Sprache

Standort

Quelle der Treffer

704 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Advances in grid and pervasive computing: first international conference ; proceedings
    GPC 2006, Taichung, Taiwan, May 3 - 5, 2006. Yeh-Ching Chung ... (ed.)
    Berlin, Heidelberg, New York: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Hardware and software verification and testing: revised selected papers
    First International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005. Shmuel Ur ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    ISSAC 2006 proceedings
    ACM SIGSAM
    [New York, NY]: Association for Computing Machinery, 2006
    Monographie, Konferenzschrift, Elektronische Ressource, Audio
  4. Detailansicht für Treffer 24 öffnen
    Unconventional programming paradigms: revised selected and invited papers
    International Workshop UPP 2004, Le Mont Saint Michel, France, September 15 - 17, 2004. Jean-Pierre Banâtre ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Visualisierung in der Simulationstechnik: Wuppertal, November 2005
    9. Workshop Sichtsysteme. Reinhard Möller (Hrsg.)
    Aachen: Shaker, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    Scientific applications of grid computing: first international workshop ; revised selected and invited papers
    SAG 2004, Beijing, China, September, 20 - 24, 2004. Pilar Herrero ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Systems modeling and simulation: theory and applications ; revised selected papers
    Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4 - 6, 2004. Doo-Kwon Baik (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  8. Detailansicht für Treffer 28 ö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
  9. Detailansicht für Treffer 29 öffnen
    High performance computing in science and engineering: Munich 2004 ; transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2 - 3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany ; with 42 tables
    Siegfried Wagner ..., ed
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 30 ö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
  11. Detailansicht für Treffer 31 öffnen
    Information security applications: 5th international workshop ; revised selected papers
    WISA 2004, Jeju Island, Korea, August 23 - 25, 2004. Chae Hoon Lim ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  12. Detailansicht für Treffer 32 öffnen
    Object oriented programming: proceedings
    ECOOP 2005, 19th European Conference, Glasgow, UK, July 25 - 29, 2005. Andrew P. Black (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Aktuelle Trends in der Softwareforschung: Tagungsband zum DoIT-Software-Forschungstag am 29. Oktober 2004
    Dieter Spath ... (Hrsg.)
    Stuttgart: Fraunhofer-IRB-Verl, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    Fundamental approaches to software engineering: 8th international conference ; proceedings
    FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Maura Cerioli (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Logic programming and nonmonotonic reasoning: proceedings
    8th International Conference, LPNMR 2005, Diamante, Italy, September 5 - 8, 2005. Chitta Baral ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Computer aided verification: proceedings
    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6 - 10, 2005. Kousha Etessami ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Principles and practice of constraint programming: proceedings
    11th International Conference, CP 2005, Sitges, Spain, October 1 - 5, 2005. Peter van Beek (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Grid computing: the new frontier of high performance computing
    ed. by Lucio Grandinetti
    1. ed.. - Amsterdam [u.a.]: Elsevier, 2005
    Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Automated technology for verification and analysis: second international conference ; proceedings
    ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 40 ö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

Artikel & mehr

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