Zum Hauptinhalt springen
Hochschulbibliothekszentrum NRW

Suchergebnisse

Hochschulbibliotheken
21 Treffer

Suchmaske

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

Form

Literaturtyp

Sprache

Schlagwort

Bestand in Bibliotheken

21 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Future Directions in Distributed Computing: Research and Position Papers
    edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003; 2003
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Validation of Stochastic Systems: A Guide to Current Research
    edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Embedded Systems Design: The ARTIST Roadmap for Research and Development
    edited by Bruno Bouyssounouse, Joseph Sifakis
    Berlin Heidelberg: Springer-Verlag GmbH., 2005
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
    edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
    Berlin Heidelberg: Springer-Verlag GmbH., 2005
    Online Aufsatzsammlung, Online-Ressource, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications
    edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
    Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications
    edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
    Berlin Heidelberg: Springer-Verlag GmbH., 2005
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications
    edited by Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003; 2003
    Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
    edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Gro{ß}e-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
    Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Research and Advanced Technology for Digital Libraries: First European Conference, ECDL'97 Pisa, Italy, September 1–3, 1997 Proceedings
    edited by Carol Peters, Costantino Thanos
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag, 1997; 1997
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges
    edited by Zhiming Zhao, Margareta Hellström
    1st ed. 2020. - Cham: Springer International Publishing; Imprint: Springer, 2020
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
    edited by Maurice Bruynooghe, Kung-Kiu Lau
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
    Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    edited by Dominique Borrione, Wolfgang Paul
    Berlin Heidelberg: Springer-Verlag GmbH., 2005
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings
    edited by Isabelle Attali, Thomas Jensen
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001; 2001
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    The Semantic Web: Research and Applications (vol. # 3532): Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings
    edited by Jerome Euzenat, Asuncion Gómez-Pérez
    Berlin Heidelberg: Springer-Verlag GmbH., 2005
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    The Semantic Web: Research and Applications: First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004. Proceedings
    edited by Christoph Bussler, John Davies, Dieter Fensel, Rudi Studer
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
    edited by Laurence Pierre, Thomas Kropf
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999; 1999
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Software Engineering Research and Applications: First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers
    edited by C. V. Ramamoorthy, Roger Lee, Kyung Whan Lee
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers
    edited by Dan Grigoras, Alex Nicolau, Bernard Toursel, Bertil Folliot
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002; 2002
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
    edited by Tiziana Margaria, Tom Melham
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001; 2001
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
    edited by Daniel Geist, Enrico Tronci
    Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003; 2003
    Online Konferenzschrift, Konferenzschrift, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?

Öffentliche & weitere Bibliotheken

Ausgewählte Kataloge

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