Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
37 Treffer

Suchmaske

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

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Sprache

Inhaltsanbieter

37 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    Butler, Michael ; Conchon, Sylvain ; et al.
    2015
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
    Dawar, Anuj ; Ruy de Queiroz
    2010
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Conceptual Structures: Leveraging Semantic Technologies : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings
    Rudolph, Sebastian ; Dau, Frithjof ; et al.
    2009
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
    Kutylowski, Miroslaw ; Gebala, Maciej ; et al.
    2009
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Developments in Language Theory : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings
    Gao, Yuan ; Lu, Hanlin ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
    Herzig, Andreas ; Luo, Jieting ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
    Baroni, Pietro ; Benzmüller, Christoph ; et al.
    2021
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
    Massoni, Tiago ; Mohammad Reza Mousavi
    2018
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Graph Transformation : 11th International Conference, ICGT 2018, Held As Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
    Lambers, Leen ; Weber, Jens
    2018
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
    Manuel V Hermenegildo ; Lopez-Garcia, Pedro
    2017
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    Barrett, Clark ; Davies, Misty ; et al.
    2017
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Small Dynamic Complexity Classes : An Investigation Into Dynamic Descriptive Complexity
    Zeume, Thomas
    2017
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
    Mohammad Reza Mousavi ; Sgall, Jiří
    2017
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    Bartocci, Ezio ; Majumdar, Rupak
    2015
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Bonakdarpour, Borzoo ; Smolka, Scott A.
    2014
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    Merz, Stephan ; Pang, Jun
    2014
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Groves, Lindsay ; Sun, Jing
    2013
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
    Qadeer, Shaz ; Tasiran, Serdar
    2013
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    Legay, Axel ; Bensalem, Saddek
    2013
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Compiler Construction : 21st International Conference, CC 2012, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    O'Boyle, Michael
    2012
    Online E-Book
    Wie komme ich dran?

Weitere Bibliothekskataloge

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