Zum Hauptinhalt springen
UB Wuppertal

Suchergebnisse

Katalog
583 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

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Form

Literaturtyp

Schlagwort

Sprache

Standort

Quelle der Treffer

583 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Eingebettete Systeme: Fachtagung der GI-Fachgruppe REAL-TIME Echtzeitsysteme und PEARL, Boppard, 25./26. November 2004
    [PEARL 2004]. Peter Holleczek ... (Hrsg.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Software reuse: methods, techniques, and tools: 8th international conference ; proceedings
    ICSR 2004 Madrid, Spain, July 5 - 9, 2004. Jan Bosch ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Theory of cryptography: proceedings
    First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19 - 21, 2004. Moni Naor (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    Component based software engineering: 7th international symposium ; proceedings
    CBSE 2004, Edinburgh, UK, May 24 - 25, 2004. Ivica Crnkovic ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    Parallel processing and applied mathematics: 5th international conference ; revised papers
    PPAM 2003, Częstochowa, Poland, September 7 - 10, 2003. Roman Wyrzykowski ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    ISSAC 2004 proceedings
    ACM SIGSAM
    [New York]: Association for Computing Machinery, 2004
    Monographie, Konferenzschrift, Elektronische Ressource, Audio
  7. Detailansicht für Treffer 47 öffnen
    Numerical software with result verification: international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers
    René Alt ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Extreme programming and agile processes in software engineering: 5th international conference ; proceedings
    XP 2004, Garmisch-Partenkirchen, Germany, June 6 - 10, 2004. Jutta Eckstein ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Computer aided verification: 16th international conference ; proceedings
    CAV 2004, Boston, MA, USA, July 13 - 17, 2004. Rajeev Alur ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Grid computing: revised papers
    Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28 - 30, 2004. Marios D. Dikaiakos (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Distributed computing: 18th international conference ; proceedings
    DISC 2004, Amsterdam, The Netherlands, October 4 - 7, 2004. Rachid Guerraoui (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Graph theoretic concepts in computer science: revised papers
    30th International Workshop, WG 2004, Bad Honnef, Germany, June 21 - 23, 2004. Juraj Hromkovič ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  13. Detailansicht für Treffer 53 öffnen
    High performance computing in science and engineering: Munich, 2002 ; transactions of the First Joint HLRB and KONWIHR Status and Result Workshop, October 10 - 11, 2002, Technical University of Munich, Germany ; with 50 tables
    Siegfried Wagner ... ed
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Formal methods for components and objects: first international symposium ; revised lectures
    FMCO 2002, Leiden, The Netherlands, November 5 - 8, 2002. Frank S. de Boer ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Electronic information and communication in mathematics: revised papers
    ICM 2002 international satellite conference, Beijing, China, August 29 - 31, 2002. Fengshan Bai ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    High performance computing for computational science: 5th international conference ; selected papers and invited talks
    VECPAR 2002, Porto, Portugal, June 26 - 28, 2002. José M. L. M. Palma ... (ed.)
    Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    Object oriented programming: proceedings
    ECOOP 2003, 17th European conference, Darmstadt, Germany, July 21 - 25, 2003. Luca Cardelli (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 58 öffnen
    Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation: August 3 - 6, 2003, Drexel University, Philadelphia, Pennsylvania, USA
    ISSAC 2003. J. R. Sendra, ed
    New York, NY: Association for Computing Machinery, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 59 öffnen
    Reliable software technologies: proceedings
    Ada Europe 2003, 8th Ada Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 - 20, 2003. Jean-Pierre Rosen ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 60 öffnen
    Mobile commerce - Anwendung und Perspektiven
    3. Workshop Mobile Commerce, Universität Augsburg, 04.02.2003. Gesellschaft für Informatik. Key Pousttchi ... (Hrsg.)
    Bonn, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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