Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Sprache

Form

Person

130 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Vorlesungen über Informatik, 1. Grundlagen und funktionales Programmieren : mit 35 Tabellen
    Gerhard Goos
    3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000
    Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Informatik, 1 [1/2]. Programmierung und Rechnerstrukturen : mit 33 Tabellen: eine grundlegende Einführung
    Manfred Broy
    2. Aufl.. - Berlin [u.a.]: Springer, 1998
    Monographie, Teil eines Werkes, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Computable set theory, 1
    Domenico Cantone, Alfredo Ferro and Eugenio Omodeo
    Oxford: Clarendon, 1989
    Monographie, Teil eines Werkes, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Category theory and computer science, 3. Manchester, UK, September 5 - 8, 1989: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Resolution of equations in algebraic structures, 2. Rewriting techniques
    ed. by Hassan Aït-Kaci ..
    Boston [u.a.]: Acad. Pr, 1989
    Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Category theory and computer science, [2]. Edinburgh, U.K., September 7 - 9, 1987: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquium
    Colloquium on Automata, Language and Programming
    Berlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Complexity theory retrospective, 2
    Hartmanis, Juris
    New York [u.a.]: Springer, 1997
    Aufsatzsammlung, Sammelwerk, Teil eines Werkes, keine Angabe
  9. Detailansicht für Treffer 9 öffnen
    Complexity theory retrospective, [1]. In honor of Juris Hartmanis on the occasion of his sixtieth birthday, July, 5, 1988
    Hartmanis, Juris
    New York [u.a.]: Springer, 1990
    Aufsatzsammlung, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Polynomial and matrix computations, 1. Fundamental algorithms
    Dario Bini ; Victor Y. Pan
    Boston [u.a.]: Birkhäuser, 1994
    Monographie, Teil eines Werkes, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Proceedings, 2. Duisburg, FRG, October 3 - 7, 1988
    CSL
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Parallel architectures and languages Europe, 1. Parallel architectures and algorithms: Eindhoven, The Netherlands, June 10 - 13, 1991 ; proceedings
    PARLE '91. E. H. L. Aarts ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Omega-bibliography of mathematical logic, 4. Recursion theory
    ed. by Gert H. Müller ..
    Berlin [u.a.]: Springer, 1987
    Bibliografie, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Artificial neural nets and genetic algorithms, [1]. ... in Innsbruck, Austria, 1993: proceedings of the international conference ..
    Wien [u.a.]: Springer, 1993
    Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  15. Detailansicht für Treffer 15 öffnen
    Mathematics of program construction, 2. Oxford, U.K., June 29 - July 3, 1992: international conference ... ; proceedings
    Berlin ; Heidelberg [u.a.]: Springer, 1993
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Resolution of equations in algebraic structures, 1. Algebraic techniques
    ed. by Hassan Aït-Kaci ..
    Boston [u.a.]: Acad. Pr, 1989
    Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Algorithms, 2. Data structures and search algorithms
    Pierre Berlioux and Philippe Bizard
    Chichester [u.a.]: Wiley, 1990
    Monographie, Teil eines Werkes, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Foundations of genetic algorithms, [1]. [First Workshop on the foundations of genetic algorithms and classifier systems (FOGA/CS-90), Bloomington, Ind., Indiana Univ., July 15 - 18, 1990]
    San Mateo, Calif.: Kaufmann, 1991
    Einführung, Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  19. Detailansicht für Treffer 19 öffnen
    Analogical and inductive inference, [1]. Wendisch-Rietz, GDR, October 6 - 10, 1986: AII proceedings
    International Workshop AII
    Berlin, Heidelberg [u.a.]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Proceedings, 4. Berlin, GDR, October 17 - 21, 1988
    Parcella
    Berlin ; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1989), 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource

Artikel & mehr

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