Přeskočit na obsah
VuFind
  • Váš účet
  • Odhlásit
  • Přihlásit
  • Šablona
    • bootprint3
    • bootstrap3
    • sandal
  • Jazyk
    • 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
    • हिंदी
    • Հայերէն
    • Українська
Pokročilé
  • Abstract computing machines
  • Vytvořit citaci
  • Zaslat SMS
  • Poslat e-mailem
  • Vytisknout
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
  • Přidat do oblíbených
  • Trvalý odkaz
Abstract computing machines a lambda calculus perspective /

Abstract computing machines a lambda calculus perspective /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kluge, W. (Autor)
Korporativní autor: SpringerLink (Online service)
Médium: E-kniha
Jazyk:English
Vydáno: Berlin, Heidelberg Springer-Verlag 2005.
Edice:Texts in Theoretical Computer Science, An EATCS Series
Témata:
Logic design
Computer science
On-line přístup:Click here to view the full text content
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
  • Jednotky
  • Popis
  • Komentáře
  • Podobné jednotky
  • UNIMARC/MARC
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.

Podobné jednotky

  • Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Vydáno: (2010)
  • The arché papers on the mathematics of abstraction /
    Vydáno: (2008)
  • Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Vydáno: (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 /
    Vydáno: (2000)

Možnosti vyhledávání

  • Historie vyhledávání
  • Pokročilé vyhledávání

Objevte více

  • Procházení katalogu
  • Abecední procházení
  • Grafické procházení katalogu
  • Rezervace kurzů
  • Nové tituly v katalogu

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Zeptejte se knihovníka
  • Často kladené otázky