Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

Bestand TH OWL
56 Treffer

Suchmaske

Suchtipp für den Bereich Bestand TH OWL: 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

56 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text Mining
    by Henning Wachsmuth
    1st ed. 2015. - Cham: Springer International Publishing, Imprint: Springer, 2015
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
    edited by Alexander S. Kulikov, Gerhard J. Woeginger
    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
  3. Detailansicht für Treffer 3 öffnen
    Hybrid Metaheuristics: 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
    edited by Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, ALESSANDRO DI NUOVO, Mario Pavone, El-Ghazali Talbi
    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
  4. Detailansicht für Treffer 4 öffnen
    Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
    edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba
    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
  5. Detailansicht für Treffer 5 öffnen
    Scala: From a Functional Programming Perspective: An Introduction to the Programming Language
    by Vicenç Torra
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext)
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext) Volltext
  6. Detailansicht für Treffer 6 öffnen
    Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
    edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov
    1st ed. 2015. - Cham: Springer International Publishing, Imprint: Springer, 2015
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
    edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online 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
  8. Detailansicht für Treffer 8 öffnen
    Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
    edited by Matthew Hague, Igor Potapov
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online 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
  9. Detailansicht für Treffer 9 öffnen
    Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
    by Michał Skrzypczak
    Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (Volltext) Volltext
  10. Detailansicht für Treffer 10 öffnen
    Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
    edited by Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi
    1st ed. 2016. - 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
  11. Detailansicht für Treffer 11 öffnen
    Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
    edited by Mohammad Reza Mousavi, Jiří Sgall
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online 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
  12. Detailansicht für Treffer 12 öffnen
    Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
    edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
    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
  13. Detailansicht für Treffer 13 öffnen
    Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    edited by Rupak Majumdar, Viktor Kunčak
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online 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 14 öffnen
    Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
    edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 2016-2020 (Volltext)
    Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (Volltext) Volltext
  15. Detailansicht für Treffer 15 öffnen
    Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
    edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska
    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
  16. Detailansicht für Treffer 16 öffnen
    Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
    edited by Alexandre Madeira, Mário Benevides
    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 17 öffnen
    Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    edited by Isil Dillig, Jens Palsberg
    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
  18. Detailansicht für Treffer 18 öffnen
    Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
    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
  19. Detailansicht für Treffer 19 öffnen
    Statistical Language and Speech Processing: 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
    edited by Pavel Král, Carlos Martín-Vide
    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
  20. Detailansicht für Treffer 20 öffnen
    Statistical Language and Speech Processing: 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings
    edited by Nathalie Camelin, Yannick Estève, Carlos Martín-Vide
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online 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

Artikel & mehr

Überregionale Kataloge

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