Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
356 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

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Form

Person

356 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 (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
    Formal techniques for networked and distributed systems: 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings
    FORTE 2006. Elie Najm ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Formal methods for components and objects: 4th international symposium ; revised lectures
    FMCO 2005, Amsterdam, The Netherlands, November 1- 4, 2005. Frank S. de Boer ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 ö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
  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
    Principles and practice of constraint programming: proceedings
    12th International Conference, CP 2006, Nantes, France, September 25 - 29, 2006. Frédéric Benhamou (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Implementation and application of functional languages: 17th international workshop ; revised selected papers
    IFL 2005, Dublin, Ireland, September 19 - 21, 2005. Andrew Butterfield ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 ö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
  15. Detailansicht für Treffer 15 ö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
  16. Detailansicht für Treffer 16 öffnen
    Theoretical aspects of computing: third international colloquium ; proceedings
    ICTAC 2006, Tunis, Tunisia, November 20 - 24, 2006. Kamel Barkaoui ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 ö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
  18. Detailansicht für Treffer 18 ö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
  19. Detailansicht für Treffer 19 ö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
  20. Detailansicht für Treffer 20 ö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

Artikel & mehr

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