Zum Hauptinhalt springen
Hochschule Bochum, Hochschulbibliothek

Suchergebnisse

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

Literaturtyp

Schlagwort

Sprache

40 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Numerical Methods and Applications: 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
    edited by Geno Nikolov, Natalia Kolkovska, Krassimir Georgiev
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  2. Detailansicht für Treffer 22 öffnen
    Algorithms and Discrete Applied Mathematics: 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings
    edited by Sudebkumar Prasant Pal, Ambat Vijayakumar
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  3. Detailansicht für Treffer 23 öffnen
    Algorithms and Data Structures: 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
    edited by Zachary Friggstad, Jörg-Rüdiger Sack, Mohammad R Salavatipour
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  4. Detailansicht für Treffer 24 öffnen
    Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers
    edited by Angelo Sifaleras, Said Salhi, Jack Brimberg
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  5. Detailansicht für Treffer 25 öffnen
    Network and Parallel Computing: 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
    edited by Xiaoxin Tang, Quan Chen, Pradip Bose, Weiming Zheng, Jean-Luc Gaudiot
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  6. Detailansicht für Treffer 26 öffnen
    Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers
    edited by Ivan Dimov, István Faragó, Lubin Vulkov
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext) Volltext
  7. Detailansicht für Treffer 27 öffnen
    Quantum Technology and Optimization Problems: First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings
    edited by Sebastian Feld, Claudia Linnhoff-Popien
    Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  8. Detailansicht für Treffer 28 öffnen
    Combinatorial Optimization and Applications: 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
    edited by Donghyun Kim, R. N. Uma, Alexander Zelikovsky
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Volltext
  9. Detailansicht für Treffer 29 öffnen
    Swarm Intelligence: 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
    edited by Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Volltext
  10. Detailansicht für Treffer 30 öffnen
    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
    edited by Jules Desharnais, Walter Guttmann, Stef Joosten
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  11. Detailansicht für Treffer 31 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    edited by Tiziana Margaria, Bernhard Steffen
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  12. Detailansicht für Treffer 32 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    edited by Tiziana Margaria, Bernhard Steffen
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  13. Detailansicht für Treffer 33 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
    edited by Tiziana Margaria, Bernhard Steffen
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext) Volltext
  14. Detailansicht für Treffer 34 öffnen
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    edited by Tiziana Margaria, Bernhard Steffen
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  15. Detailansicht für Treffer 35 öffnen
    Algorithmic Aspects in Information and Management: 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
    edited by Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  16. Detailansicht für Treffer 36 öffnen
    Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers
    edited by Leah Epstein, Thomas Erlebach
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  17. Detailansicht für Treffer 37 öffnen
    Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
    edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  18. Detailansicht für Treffer 38 öffnen
    Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
    edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  19. Detailansicht für Treffer 39 öffnen
    Developments in Language Theory: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
    edited by Mizuho Hoshi, Shinnosuke Seki
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  20. Detailansicht für Treffer 40 öffnen
    Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
    edited by Igor Potapov, Pierre-Alain Reynier
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext

Discovery Service

Weitere Kataloge

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