Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
26 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

26 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
    Ciobanu, Gabriel ; Méry, Dominique
    2014
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Foundations of Software Technology and Theoretical Computer Science : 18th Conference, Chennai, India, December 17-19, 1998, Proceedings
    Arvind, V. ; Ramanujam, R.
    2004
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Artificial Intelligence and Soft Computing : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II
    Rutkowski, Leszek ; Scherer, Rafał ; et al.
    2021
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
    Slavkovik, Marija
    2019
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
    Ribeiro, Pedro ; Sampaio, Augusto
    2019
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
    Sampaio, Augusto ; Wang, Farn
    2016
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    Bernardo, Marco ; Rocco De Nicola ; et al.
    2016
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
    Olivetti, Nicola ; Tiwari, Ashish
    2016
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
    Hinze, Ralf ; Voigtländer, Janis
    2015
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    Bernardo, Marco ; Einar Broch Johnsen
    2015
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    Bansal, Nikhil ; Finocchi, Irene
    2015
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    Leucker, Martin ; Rueda, Camilo ; et al.
    2015
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Remke, Anne ; Stoelinga, Mariëlle
    2014
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
    Gibbons, Jeremy ; Jeuring, Johan
    2013
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
    Colom, Jose-Manuel ; Desel, Jörg
    2013
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
    Gibbons, Jeremy ; Nogueira, Pablo
    2012
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Advances in the Design of Symbolic Computation Systems
    Miola, Alfonso ; Temperini, Marco
    2012
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    Hawblitzel, Chris ; Miller, Dale
    2012
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
    Horimoto, Katsuhisa ; Nakatsui, Masahiko ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    Jouannaud, Jean-Pierre ; Shao, Zhong
    2011
    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 -