Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

26 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Deontic logic in computer science: proceedings
    7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26 - 28, 2004. Alessio Lomuscio ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Gödel, Escher, Bach: an eternal golden braid
    Douglas R. Hofstadter
    New York, NY: Basic Books, 1979
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Advances in computing science - ASIAN 2000: proceedings
    6th Asian Computing Science Conference, Penang, Malaysia, November 25 - 27, 2000. Jifeng He ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Computer science logic: selected papers
    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Leszek Pacholski ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Metaverse and immersive technologies: an introduction to industrial, business and social applications
    edited by Chandrashekhar A, Shaik Himam Saheb, Sandeep Kumar Panda (ICFAI Foundation for Higher Education, Hyderabad, Telangana, India), S. Balamurugan (Albert Einstein Engineering and Research Labs Coimbatore, Tamilnadu, India) and Sheng-Lung Peng (Department of Creative Technologies and Product Design National Taipei University of Business, Taiwan)
    New York: Wiley, 2023
    Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Explainable machine learning models and architectures
    edited by Suman Lata Tripathi and Mufti Mahmud
    Hoboken, NJ, Beverly, MA: Wiley, Scrivener Publishing, 2023
    Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Advanced analytics and deep learning models
    edited by Archana Mire (Computer Engineering Department, Terna Engineering College, Navi Mumbai, India), Shaveta Malik (Computer Engineering Department, Terna Engineering College, Nerul, India) and Amit Kumar Tyagi (Vellore Institute of Technology (VIT), Chennai Campus, India)
    Beverly, MA, Hoboken, NJ: Scrivener Publishing, Wiley, 2022
    Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Theory and practice of informatics: proceedings
    SOFSEM 2001, 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Republic, November 24 - December 1, 2001. Leszek Pacholski ; Peter Ružička (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Drei Beiträge zu "Logik und KI"
    Bibel, Wolfgang ; Furbach, Ulrich ; et al.
    Koblenz: Univ. Koblenz-Landau, Inst. für Informatik, 1992
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Theory and practice of informatics: proceedings
    SOFSEM 2000, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000. Václav Hlaváč ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Logic from computer science: proceedings of a workshop, held November 13 - 17, 1989
    Y. N. Moschovakis, ed
    New York [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Computational statistics
    ed. by C. R. Rao
    Amsterdam [u.a.]: North-Holland, 1993
    Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Logic and information flow
    ed. by Jan van Eijck ..
    Cambridge, Mass. [u.a.]: MIT Pr, 1994
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Computer science logic: selected papers
    6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992. E. Börger ... (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    New results and new trends in computer science: Graz, Austria, June 20 - 21, 1991 ; proceedings
    H. Maurer (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Computers and languages: theory and practice
    Anton Nijholt
    Amsterdam [u.a.]: North-Holland [Publ. Co.], 1988
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Computer science logic: proceedings
    5th Workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991. E. Börger ... (ed.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Computer science logic: selected papers
    9th International Workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995. Hans Kleine Büning (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Theory and practice of informatics: SOFSEM 2002, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 - 29, 2002 ; proceedings
    William I. Grosky ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Computer science logic: selected papers
    10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996. Dirk van Dalen ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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