Zum Hauptinhalt springen
Hochschulbibliothekszentrum NRW

Suchergebnisse

Hochschulbibliotheken
17 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

Schlagwort

Bestand in Bibliotheken

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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?
  2. Detailansicht für Treffer 2 öffnen
    Human machine interaction: research results of the MMI program
    Denis Lalanne ... (ed.)
    Berlin [u.a.]: Springer, 2009
    Aufsatzsammlung, Online-Ressource, Aufsatzsammlung, Buch, Gedruckte Ressource
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Engineering Secure Future Internet Services and Systems: Current Research
    edited by Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli
    Cham: Springer International Publishing, 2014
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 ö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?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 öffnen
    Service Research Challenges and Solutions for the Future Internet: S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
    edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
    Online Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 öffnen
    ICT in Education, Research, and Industrial Applications: 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
    edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Information and Communication Technologies in Education, Research, and Industrial Applications: 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
    edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
    Cham: Springer International Publishing, 2014
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
    edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
    Cham: Springer International Publishing, 2013
    Online 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: 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?
  13. Detailansicht für Treffer 13 öffnen
    Testing – Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
    edited by Leonardo Bottaci, Gordon Fraser
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 ö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?
  15. Detailansicht für Treffer 15 ö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?
  16. Detailansicht für Treffer 16 öffnen
    Research into Practice – Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
    edited by George T. Heineman, Jan Kofron, Frantisek Plasil
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010
    Online Buch, Datenträger, Online-Ressource
    Zugriff:
    DOI-Link (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    VLSI-SoC: Advanced Research for Systems on Chip: 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
    edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C. S. Choy
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online 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 -