Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

Bibliothekskatalog
375 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

375 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
    by Peter Csaba Ölveczky
    London: Springer London, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  2. Detailansicht für Treffer 42 öffnen
    Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
    edited by Michel Rueher
    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
  3. Detailansicht für Treffer 43 öffnen
    Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    edited by Xavier Rival
    Berlin, Heidelberg: Springer Berlin Heidelberg, 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 44 öffnen
    Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
    edited by Bor-Yuh Evan Chang
    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
  5. Detailansicht für Treffer 45 öffnen
    Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
    edited by Farhad Arbab, Sung-Shik Jongmans
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  6. Detailansicht für Treffer 46 öffnen
    Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
    edited by Ichiro Hasuo
    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
  7. Detailansicht für Treffer 47 öffnen
    Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    edited by Swarat Chaudhuri, Azadeh Farzan
    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
  8. Detailansicht für Treffer 48 öffnen
    Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
    edited by Swarat Chaudhuri, Azadeh Farzan
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online 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
  9. Detailansicht für Treffer 49 öffnen
    Provably Correct Systems
    edited by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext)
    Volltext
  10. Detailansicht für Treffer 50 öffnen
    Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
    edited by Sergei Artemov, Anil Nerode
    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
  11. Detailansicht für Treffer 51 öffnen
    Logical Foundations of Cyber-Physical Systems
    by André Platzer
    Cham: Springer International Publishing, Imprint: Springer, 2018
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (Volltext)
    Volltext
  12. Detailansicht für Treffer 52 öffnen
    Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
    edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2021 (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext) Volltext
  13. Detailansicht für Treffer 53 öffnen
    Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
    edited by Markus Roggenbach
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Springer Lecture Notes in Computer Science 2021 (Volltext) Volltext
  14. Detailansicht für Treffer 54 öffnen
    R-Calculus, II: Many-Valued Logics
    by Wei Li, Yuefei Sui
    1st ed. 2022. - Singapore: Springer Nature Singapore, Imprint: Springer, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext)
    Volltext
  15. Detailansicht für Treffer 55 öffnen
    Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
    edited by Sergei Artemov, Anil Nerode
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2022 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2022 (Volltext) Volltext
  16. Detailansicht für Treffer 56 öffnen
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
    edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
    1st ed. 2021. - Singapore: Springer Singapore, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Volltext
  17. Detailansicht für Treffer 57 öffnen
    R-CALCULUS: A Logic of Belief Revision
    by Wei Li, Yuefei Sui
    1st ed. 2021. - Singapore: Springer Singapore, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Volltext
  18. Detailansicht für Treffer 58 öffnen
    Fuzzy Logic: Recent Applications and Developments
    edited by Jenny Carter, Francisco Chiclana, Arjab Singh Khuman, Tianhua Chen
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Volltext
  19. Detailansicht für Treffer 59 öffnen
    Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
    by Zhe Hou
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (Volltext)
    Volltext
  20. Detailansicht für Treffer 60 öffnen
    Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint
    by Andrei Alexandru, Gabriel Ciobanu
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (Volltext)
    Volltext

Recherchedatenbanken

Hochschulbibliotheken

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