Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

Bestand TH OWL
18 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

Erscheinungszeitraum

Zugang

Form

Literaturtyp

Schlagwort

Sprache

18 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Languages Alive: Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
    edited by Henning Bordihn, Martin Kutrib, Bianca Truthe
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
    edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sergei Artemov, Anil Nerode
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
    edited by Reiko Heckel, Stefan Milius
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
    edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
    edited by Venkatesh Raman, Saket Saurabh
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
    edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
    edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  8. Detailansicht für Treffer 8 öffnen
    Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
    edited by Hans Ditmarsch, Jérôme Lang, Shier Ju
    Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
    edited by Davide Grossi, Olivier Roy, Huaxin Huang
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
    edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Carlos Martín-Vide, Friedrich Otto, Henning Fernau
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  11. Detailansicht für Treffer 11 öffnen
    Parameterized and Exact Computation: 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
    edited by Jianer Chen, Fedor V. Fomin
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  12. Detailansicht für Treffer 12 öffnen
    Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
    edited by Martin Leucker, Carroll Morgan
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  13. Detailansicht für Treffer 13 öffnen
    Parameterized and Exact Computation: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
    edited by Dániel Marx, Peter Rossmanith
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  14. Detailansicht für Treffer 14 öffnen
    Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
    edited by Xiangdong He, John Horty, Eric Pacuit
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  15. Detailansicht für Treffer 15 öffnen
    Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
    edited by Joël Ouaknine, Frits W. Vaandrager
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  16. Detailansicht für Treffer 16 öffnen
    The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
    edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki
    Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  17. Detailansicht für Treffer 17 öffnen
    Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
    edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martín-Vide
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  18. Detailansicht für Treffer 18 öffnen
    The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
    edited by Christian Ebert, Gerhard Jäger, Jens Michaelis
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext

Artikel & mehr

Überregionale Kataloge

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