Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Literaturtyp

Schlagwort

Sprache

Form

Person

1.745 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Genetic algorithms and investment strategies
    Richard J. Bauer
    New York [u.a.]: Wiley, 1994
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 62 öffnen
    Formal development of programs and proofs
    ed. by Edsger W. Dijkstra
    Reading, Mass. [u.a.]: Addison-Wesley, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 63 öffnen
    Logic based program synthesis and transformation: 10th international workshop ; selected papers
    LOPSTR 2000, London, UK, July 24 - 28, 2000. Kung-Kiu Lau (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 64 öffnen
    Research directions in high level parallel programming languages: Mont Saint-Michel, France, June 17 - 19, 1991 ; proceedings
    J. P. Banâtre ... (ed.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 65 öffnen
    Applied parallel computing: state of the art in scientific computing ; 7th international workshop ; revised selected papers
    PARA 2004, Lyngby, Denmark, June 20 - 23, 2004. Jack Dongarra ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 66 öffnen
    Formal specification and development in Z and B: proceedings
    ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 67 öffnen
    Management of convergence networks and services: proceedings
    9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006, Busan, Korea, September 27 - 29, 2006. Young-Tak Kim ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 68 öffnen
    Functional programming: languages, tools and architectures
    ed.: S. Eisenbach
    Chichester: Ellis Horwood [u.a.], 1987
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 69 öffnen
    Logic based program synthesis and transformation: 15th international symposium ; revised selected papers
    LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 70 öffnen
    Semirings for soft constraint solving and programming
    Stefano Bistarelli
    Berlin [u.a.]: Springer, 2004
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 71 öffnen
    Executable UML: a foundation for model-driven architecture
    Stephen J. Mellor ; Marc J. Balcer
    1. print.. - Boston [u.a.]: Addison-Wesley, 2002
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 72 öffnen
    Programming multi-agent systems: selected revised and invited papers
    Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004. Rafael H. Bordini ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 73 öffnen
    Data structures and algorithms with object oriented design patterns in C++
    Bruno R. Preiss
    New York [u.a.]: Wiley, 1999
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 74 öffnen
    The art of computer programming, 2. Seminumerical algorithms
    Donald E. Knuth
    2. ed.. - Reading, Mass. [u.a.]: Addison-Wesley, 1981
    Einführung, Monographie, Teil eines Werkes, Gedruckte Ressource
  15. Detailansicht für Treffer 75 öffnen
    Formal methods for software architectures: advanced lectures
    Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003. Marco Bernardo ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 76 öffnen
    Python in a nutshell: [a desktop quick reference ; covers Python 2.2]
    Alex Martelli
    1. ed.. - Beijing [u.a.]: O'Reilly, 2003
    Monographie, Verzeichnis, Gedruckte Ressource
  17. Detailansicht für Treffer 77 öffnen
    Program development in computational logic: a decade of research advances in logic-based program development
    Maurice Bruynooghe ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 78 öffnen
    Advanced programming methodologies
    [Summer School on Advanced Programming Methodologies ... Rome, 17-24 September 1987]. Ed. by Gianna Cioni ..
    London [u.a.]: Academic Pr, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 79 öffnen
    Static analysis: proceedings
    10th international symposium, SAS 2003 San Diego, CA, USA, June 11 - 13, 2003. Radhia Cousot (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 80 öffnen
    Distributed communities on the Web: 4th international workshop ; revised papers
    DCW 2002, Sydney, Australia, April 3 - 5, 2002. John Plaice ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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