Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

Bibliothekskatalog
300 Treffer

Suchmaske

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

Form

Literaturtyp

Sprache

Schlagwort

300 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Music Through Fourier Space: Discrete Fourier Transform in Music Theory
    by Emmanuel Amiot
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  2. Detailansicht für Treffer 62 öffnen
    Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
    by Vladimir Herdt
    1st ed. 2016. - Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  3. Detailansicht für Treffer 63 öffnen
    WALCOM: Algorithms and Computation: 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
    edited by Mohammad Kaykobad, Rossella Petreschi
    1st ed. 2016. - Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  4. Detailansicht für Treffer 64 öffnen
    Crossbar-Based Interconnection Networks: Blocking, Scalability, and Reliability
    by Mohsen Jahanshahi, Fathollah Bistouni
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext
  5. Detailansicht für Treffer 65 öffnen
    Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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
    edited by Naoki Kobayashi, James Worrell
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  6. Detailansicht für Treffer 66 öffnen
    Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 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 II
    edited by Naoki Kobayashi, James Worrell
    1st ed. 2024. - Cham: Springer Nature Switzerland, Imprint: Springer, 2024
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  7. Detailansicht für Treffer 67 öffnen
    Boolean Functions and Their Applications in Cryptography
    by Chuan-Kun Wu, Dengguo Feng
    1st ed. 2016. - Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  8. Detailansicht für Treffer 68 öffnen
    Directed Algebraic Topology and Concurrency
    by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
    1st ed. 2016. - Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  9. Detailansicht für Treffer 69 öffnen
    Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
    edited by Olaf Beyersdorff, Christoph M. Wintersteiger
    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 70 öffnen
    Mathematical Analysis and the Mathematics of Computation
    by Werner Römisch, Thomas Zeugmann
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Volltext
  11. Detailansicht für Treffer 71 öffnen
    Combinatorial Algorithms: 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
    edited by Veli Mäkinen, Simon J. Puglisi, Leena Salmela
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  12. Detailansicht für Treffer 72 öffnen
    Combinatorial Optimization: 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
    edited by Raffaele Cerulli, Satoru Fujishige, A. Ridha Mahjoub
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  13. Detailansicht für Treffer 73 öffnen
    Algorithms and Discrete Applied Mathematics: Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
    edited by Daya Gaur, N.S. Narayanaswamy
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  14. Detailansicht für Treffer 74 öffnen
    Graph-Theoretic Concepts in Computer Science: 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers
    edited by Ernst W. Mayr
    Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2016
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  15. Detailansicht für Treffer 75 öffnen
    Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
    edited by Friedrich Eisenbrand, Jochen Koenemann
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  16. Detailansicht für Treffer 76 öffnen
    Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
    edited by Ignasi Sau, Dimitrios M. Thilikos
    1st ed. 2019. - Cham: Springer International Publishing, Imprint: Springer, 2019
    Online Konferenzschrift, 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
  17. Detailansicht für Treffer 77 öffnen
    Graph-Theoretic Concepts in Computer Science: 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers
    edited by Pinar Heggernes
    Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2016
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  18. Detailansicht für Treffer 78 öffnen
    Graph-Theoretic Concepts in Computer Science: 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
    edited by Hans L. Bodlaender, Gerhard J. Woeginger
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  19. Detailansicht für Treffer 79 öffnen
    Algorithms in Bioinformatics: 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings
    edited by Martin Frith, Christian Nørgaard Storm Pedersen
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  20. Detailansicht für Treffer 80 öffnen
    Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology: Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers
    edited by Raphaël C.-W. Phan, Moti Yung
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext

Recherchedatenbanken

Hochschulbibliotheken

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