Přeskočit na obsah
  • Váš účet
  • Odhlásit
  • Přihlášení
  • English
Informace o aktuálním provozu knihoven sledujte na jejich stránkách.
  • Pokročilé vyhledávání
  • Pokročilé vyhledávání
  • Filtr e-prezenčka
  • Elements of finite model theor...
  • Popis
  • Citace.com
  • Citace.com

  • Poslat emailem
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
    • Exportovat do MARC
    • Exportovat do MARCXML
    • Exportovat do RDF
    • Exportovat do BibTeX
    • Exportovat do RIS
  • Do oblíbených

Elements of finite model theory /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Libkin, Leonid, 1965- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2004.
Edice:Texts in theoretical computer science
Témata:
matematika
modelování a simulace
mathematics
modeling and simulation
modeling a simulation
Obálka Obsah Přejít na ObalkyKnih.cz
  • Jednotky
  • Popis
  • MARC21
Popis
Fyzický popis:xiv, 315 s.
ISBN:3-540-21202-7

Podobné jednotky

  • Objektově orientované metodiky a technologie.
    Autor: Drbal, Pavel, 1942-2005
    Vydáno: (1997)
  • Theory and practice of model transformations : first International Conference, ICMT 2008 : Zürich, Switzerland, July 1-2, 2008 : proceedings /
    Vydáno: (2008)
  • Conceptual modeling - ER 2006 : 25th International Conference on Conceptual Modeling, Tuscon, AZ, USA, November 6-9, 2006 : proceedings /
    Vydáno: (2006)
  • Theory of modeling and simulation : integrating discrete event and continuous complex dynamic systems /
    Autor: Zeigler, Bernard P., 1940-, a další
    Vydáno: (2000)
  • Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006 : Paris, France, September 25-27, 2006 : proceedings /
    Vydáno: (2005)

Možnosti vyhledávání

  • Historie vyhledávání
  • Abecední procházení
  • Nové tituly v katalogu

Objevte více

  • Portál elektronických zdrojů MU
  • Discovery.muni
  • Databáze závěrečných prací (IS MU)
  • Knihovny MU

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Registrace do knihovny
  • Návod k E-prezenčce
  • Ochrana osobních údajů
© 2019 Masarykova univerzita
kic_admins zavinac | at ics tecka | dot muni tecka | dot cz | Cookies
Logo Ústavu výpočetní techniky
Načítá se...