Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

240 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Computational learning theory: based on the proceedings of the first European Conference on Computational Learning Theory, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London in December 1993
    EuroCOLT '93. Ed. by John Shawe-Taylor ..
    Oxford: Clarendon Press, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Parallel computing and mathematical optimization: proceedings of the Workshop on Parallel Algorithms and Transputers for Optimization, held at the University of Siegen, FRG, November 9, 1990
    Manfred Grauer ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Searching with probabilities
    Andrew J. Palay
    Boston [u.a.]: Pitman, 1985
    Monographie, 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
    Logic programming: formal methods and practical applications
    ed. by Christoph Beierle ..
    Amsterdam [u.a.]: North Holland, 1995
    Sammelwerk, 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
    Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Theorem Proving and its Applications - HOL '92, organized by CHEOPS ESPRIT BRA 3215 sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21 - 24 September 1992
    ed. by Luc J. M. Claesen ..
    Amsterdam [u.a.]: North-Holland, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Problem-solving and artificial intelligence
    Laurière, Jean-Louis
    2. [Dr.]. - New York [u.a.]: Prentice Hall, 1990
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Trends in theoretical computer science: [this book grew out from a Course on Computation Theory which took place at the Internat. Centre for Mechan. Science (CISM) in Undine, Italy, from Sept. 24 to Oct. 5, 1984]
    ed.: Egon Börger
    1. print.. - Rockville, Md.: Computer Science Pr, 1988
    Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Isomorphisms of types: from lambda-calculus to information retrieval and language design
    Roberto Di Cosmo
    Boston [u.a.]: Birkhäuser, 1995
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Improving floating point programming
    ed. by Peter J. L. Wallis
    Chichester [u.a.]: Wiley, 1990
    Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Handbook of algorithms and data structures: in Pascal and C
    G. H. Gonnet ; R. Baeza-Yates
    2. ed.. - Wokingham [u.a.]: Addison-Wesley, 1991
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Computability, complexity, logic
    E. Börger
    Amsterdam [u.a.]: North-Holland Publ. Co, 1989
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Proceedings, 2. Duisburg, FRG, October 3 - 7, 1988
    CSL
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Reliability in computing: the role of interval methods in scientif. computing
    ed. by Ramon E. Moore
    1. [Dr.]. - Boston, [Mass.] [u.a.]: Acad. Pr, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 ö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
  17. Detailansicht für Treffer 17 öffnen
    Truth, deduction and computation: logic and semantics for computer science
    R.E. Davis
    1. [Dr.]. - New York: Computer Science Pr, 1989
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Studies in complexity theory
    Ker-I. Ko ; Stephen R. Mahaney ; Kenneth McAloon. Ronald V. Book (ed.)
    London: Pitman [u.a.], 1986
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Algorithms: their complexity and efficiency
    Kronsjö, Lydia
    2. ed.. - Chichester [u.a.]: Wiley, 1987
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Logic for computer science: foundations of automatic theorem proving
    Gallier, Jean H. (1949-)
    New York [u.a.]: Harper & Row, 1986
    Monographie, Gedruckte Ressource

Artikel & mehr

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