Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

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

Verlag

Publikation

Sprache

Inhaltsanbieter

108 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
    Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held As Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    Holvoet, Tom ; Viroli, Mirko
    2015
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 öffnen
    Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    Barthe, Gilles ; Hermenegildo, Manuel
    2010
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 öffnen
    Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
    Jin Song Dong ; Zhu, Huibiao
    2010
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 ö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?
  9. Detailansicht für Treffer 9 öffnen
    Introduction to Scientific Programming : Computational Problem Solving Using Maple and C
    Zachary, Joseph L.
    2012
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Abstractions, Their Algorithms, and Their Compilers.
    AHO, ALFRED ; ULLMAN, JEFFREY
    In: Communications of the ACM, Jg. 65 (2022-02-01), Heft 2, S. 76-91
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Nonsequential and Distributed Programming with Go : Synchronization of Concurrent Processes: Communication - Cooperation - Competition
    Maurer, Christian
    2021
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
    Nejati, Shiva ; Gay, Gregory
    2019
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Pro TBB : C++ Parallel Programming with Threading Building Blocks
    Voss, Michael ; Asenjo, Rafael ; et al.
    2019
    Online E-Book
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago De Compostela, Spain, August 28 – September 1, 2017, Proceedings
    Rivera, Francisco F. ; Pena, Tomás F. ; et al.
    2017
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Euro-Par 2016: Parallel Processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
    Dutot, Pierre-François ; Trystram, Denis
    2016
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
    Gavanelli, Marco ; Reppy, John
    2016
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
    Manjunath Gorentla Venkata ; Shamis, Pavel ; et al.
    2015
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Software-Entwicklung in Fortran 90
    Überhuber, Christoph ; Meditz, Peter
    2013
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    An Introduction to Programming with Mathematica®
    Gaylord, Richard J. ; Kamin, Samuel N. ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Graph Transformation : 16th International Conference, ICGT 2023, Held As Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings
    Fernández, Maribel ; Poskitt, Christopher M.
    2023
    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 -