Skip to content
VuFind
  • Vaš račun
  • Odjava
  • Prijava
  • Tema
    • bootprint3
    • bootstrap3
    • sandal
  • Jezik
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Napredno
  • Išči
  • Abstract computing machines
  • Citiraj
  • Pošljite SMS
  • Pošljite email
  • Natisni
  • Izvozi zadetek
    • Izvozi v RefWorks
    • Izvozi v EndNoteWeb
    • Izvozi v EndNote
  • Dodaj v priljubljene
  • Permanent link
Abstract computing machines a lambda calculus perspective /

Abstract computing machines a lambda calculus perspective /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Kluge, W. (Author)
Korporativna značnica: SpringerLink (Online service)
Format: eKnjiga
Jezik:English
Izdano: Berlin, Heidelberg Springer-Verlag 2005.
Serija:Texts in Theoretical Computer Science, An EATCS Series
Teme:
Logic design
Computer science
Online dostop:Click here to view the full text content
Oznake: Označite
Brez oznak, prvi označite!
  • Zaloga
  • Opis
  • Komentarji
  • Podobne knjige/članki
  • Knjižničarski pogled
Opis
Fizični opis:1 online resource digital.
ISBN:9783540273592
9783540211464

Podobne knjige/članki

  • Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Izdano: (2010)
  • The arché papers on the mathematics of abstraction /
    Izdano: (2008)
  • Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Izdano: (2012)
  • Abstraction, reformulation and approximation / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
  • Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /
    Izdano: (2000)

Iskalne možnosti

  • Iskalna zgodovina
  • Napredno iskanje

Poišči več

  • Prelistaj katalog
  • Po abecedi
  • Explore Channels
  • Obvezna literatura
  • Novi knjige/članki

Potrebujete pomoč?

  • Navodila za iskanje
  • Vprašaj knjižničarja
  • Pogosta vprašanja