Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
121 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: 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"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

121 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    Majumdar, Rupak ; Kunčak, Viktor
    2017
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Advances in Swarm Intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
    Tan, Ying ; Shi, Yuhui ; et al.
    2016
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Computer Aided Systems Theory -- EUROCAST 2013 : 14th International Conference, Las Palmas De Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
    Moreno-Díaz, Roberto ; Pichler, Franz ; et al.
    2013
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Neural Information Processing : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III
    Huang, Tingwen ; Zeng, Zhigang ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Neural Information Processing : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V
    Huang, Tingwen ; Zeng, Zhigang ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Neural Information Processing : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV
    Huang, Tingwen ; Zeng, Zhigang ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Computer Aided Systems Theory -- EUROCAST 2011 : 13th International Conference, Las Palmas De Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
    Roberto Moreno Díaz ; Pichler, Franz ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Neural Information Processing : 18th International Conference, ICONIP 2ß11, Shanghai, China, November 13-17, 2011, Proceedings, Part II
    Lu, Bao-Liang ; Zhang, Liqing ; et al.
    2011
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Neural Information Processing : 18th International Conference, ICONIP 2011, Shanghai,China, November 13-17, 2011, Proceedings, Part III
    Lu, Bao-Liang ; Zhang, Liqing ; et al.
    2011
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Neural Information Processing. Theory and Algorithms : 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I
    Kevin K.W. Wong ; B. Sumudu U. Mendis ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Neural Information Processing. Models and Applications : 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II
    Kevin K.W. Wong ; B. Sumudu U. Mendis ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Advances in Neuro-Information Processing : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
    Köppen, Mario ; Kasabov, Nikola ; et al.
    2009
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2009 : 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I
    Yang, Guang-Zhong ; Hawkes, David J. ; et al.
    2009
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Modeling and Using Context : 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings
    Kokinov, Boicho ; Richardson, Daniel C. ; et al.
    2007
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
    Benz, Nathaniel ; Gopinath, Divya ; et al.
    2024
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
    Finkbeiner, Bernd ; Kovács, Laura
    2024
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
    Silva, Alexandra ; K. Rustan M. Leino
    2021
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas De Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II
    Moreno-Díaz, Roberto ; Pichler, Franz ; et al.
    2020
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    Dillig, Isil ; Tasiran, Serdar
    2019
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
    Beyer, Dirk ; Huisman, Marieke ; et al.
    2019
    Online E-Book
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -