Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
466 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: 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

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

466 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Orthogonal polynomials in the spectral analysis of Markov processes: birth-death models and diffusion
    Manuel Domínguez de la Iglesia (Universidad Nacional Autónoma de México)
    Cambridge ; New York, NY: Cambridge University Press, 2022
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Effective theories in programming practice
    Jayadev Misra, The University of Texas at Austin, US
    First edition. - New York, NY: ACM Books, [2022]
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Integrative Bioinformatics: History and Future
    edited by Ming Chen, Ralf Hofestädt
    1st ed. 2022. - Singapore: Springer Nature Singapore, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Biomedical & Life Science 2022 (ZDB-2-SBL) (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Probabilistic models of population evolution: scaling limits, genealogies and interactions
    Étienne Pardoux
    Cham: Springer International Publishing, [2016]
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Approximate dynamic programming: solving the curses of dimensionality
    Warren B. Powell
    2. ed.. - Hoboken, NJ: Wiley, 2011
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Practical aspects of declarative languages: 9th international symposium ; proceedings
    PADL 2007, Nice, France, January 14 - 15, 2007. Michael Hanus (ed.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Formal modeling and analysis of timed systems: 4th international conference ; proceedings
    FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Practical aspects of declarative languages: 8th international symposium ; proceedings
    PADL 2006, Charleston, SC, USA, January 9 - 10, 2006. Pascal van Hentenryck (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Verification, model checking, and abstract interpretation: 7th international conference ; proceedings
    VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006. E. Allen Emerson ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Fundamental approaches to software engineering: 9th international conference ; proceedings
    FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006. Luciano Baresi ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Programming languages and systems: 4th Asian symposium ; proceedings
    APLAS 2006, Sydney, Australia, November 8 - 10, 2006. Naoki Kobayashi (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Reguläre Ausdrücke: Grundlagen, Praxislösungen, Referenz ; [Programmierung mit regulären Ausdrücken ; Praxislösungen in PHP, Perl, Python und JavaScript ; inkl. Übungsaufgaben und Lösungen]
    Wolfgang Wiedl
    1. Aufl.. - Bonn: Galileo Press, 2006
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Model checking software: proceedings
    13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. [European Joint Conferences on Theory and Practice of Software 2006]. Antti Valmari (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Term rewriting and applications: 17th international conference ; proceedings
    RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Compiler construction: 15th international conference ; proceedings ; CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30 - 31, 2006
    Alan Mycroft ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Static analysis: 13th international symposium ; proceedings
    SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Formal methods and software engineering: proceedings
    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Mathematics of program construction: 8th International Conference ; proceedings
    MPC 2006, Kuressaare, Estonia, July 3 - 5, 2006. Tarmo Uustalu (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Extreme programming and agile processes in software engineering: 7th international conference ; proceedings
    XP 2006, Oulu, Finland, June 17 - 22, 2006. Pekka Abrahamsson ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Formal approaches to software testing: 5th international workshop ; revised selected papers
    FATES 2005, Edinburgh, UK, July 11, 2005. Wolfgang Grieskamp ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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