Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

116 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Pervasive computing: second international conference ; proceedings
    PERVASIVE 2004, Linz/Vienna, Austria, April 18 - 23, 2004. Alois Ferscha ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Computer aided systems theory: a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 ; proceedings
    EUROCAST '99. Franz Pichler .. (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Algorithmic foundations of robotics
    WAFR 94, the Workshop on the Algorithmic Foundations of Robotics. Ed. by Ken Goldberg ..
    Wellesley, Mass.: Peters, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Embedded and ubiquitous computing: proceedings
    International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25 - 27, 2004. Laurence T. Yang ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Evolutionary robotics: from intelligent robotics to artificial life ; international symposium ; proceedings
    ER 2001, Tokyo, Japan, October 18 - 19, 2001. Takashi Gomi (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Embedded software: second international conference ; proceedings
    EMSOFT 2002, Grenoble, France, October 7 - 9, 2002. Alberto Sangiovanni-Vincentelli ; Joseph Sifakis (ed.)
    Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Transformation based reactive systems development: proceedings
    4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997. Miquel Bertran ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Pervasive computing: first international conference, Pervasive 2002, Zurich, Switzerland, August 26 - 28, 2002 ; proceedings
    Friedemann Mattern ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Responsive computer systems
    H. Kopetz ... (eds.)
    Wien [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    RoboCup 2001: Robot Soccer World Cup V
    Andreas Birk ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Software diversity in computerized control systems
    U. Voges (ed.)
    Wien [u.a.]: Springer, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Proceedings / 1997 High Assurance Engineering Workshop: Washington, DC, August 11 - 12, 1997
    sponsored by IEEE Computer Society
    Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1997
    Monographie, Konferenzschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    NAPAW 92: proceedings of the First North American Process Algebra Worhshop, Stony Brook, New York, USA, 28 August 1992
    S. Purushothaman and Amy Zwarico (ed.). Publ. in collab. with the British Computer Society
    London [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Parallel computing: from theory to sound practice: proceedings of EWPC '92, the European Workshops on Parallel Computing, 23 - 24 March 1992, Barcelona, Spain
    ed. by Wouter Joosen ..
    Amsterdam [u.a.]: IOS Press, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Advances in plan based control of robotic agents: international seminar, Dagstuhl Castle, Germany, October 21 - 26, 2001 ; revised papers
    Michael Beetz ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Funktionale Sicherheit
    Echtzeit 2013, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) Boppard, 21. und 22 November 2013. Wolfgang A. Halang (Hrsg.)
    Berlin [u.a.]: Springer Vieweg, 2013
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Parallele Datenverarbeitung mit dem Transputer: proceedings
    1. Transputer-Anwender-Treffen, TAT '89, Aachen, 25./26. September 1989. R. Grebe (Hrsg.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Computer music modeling and retrieval: international symposium ; revised papers
    CMMR 2003, Montpellier, France, May 26 - 27, 2003. Uffe Kock Wiil (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Computer music modeling and retrieval: second international symposium ; revised papers
    CMMR 2004, Esbjerg, Denmark, May 26 - 29, 2004. Uffe K. Wiil (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Formal methods for trustworthy computer systems: (FM89) ; report from FM89: a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems ; 23 - 27 July 1989, Halifax, Canada
    Dan Craigen (ed.)
    London [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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