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
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Vyhledávání
The pí-calculus :
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
The pí-calculus : a theory of mobile processes /
Uloženo v:
Podrobná bibliografie
Hlavní autoři:
Sangiorgi, Davide, 1964-
(Autor)
,
Walker, David, 1961-
(Autor)
Typ dokumentu:
Kniha
Jazyk:
Angličtina
Vydáno:
Cambridge :
Cambridge University Press,
c2001.
Témata:
výpočetní technika
computer science
monografie
monographs
Přejít na ObalkyKnih.cz
Jednotky
Popis
MARC21
Popis
Fyzický popis:
xii, 580 s.
ISBN:
0-521-78177-9
Podobné jednotky
Communicating and mobile systems : the Pi calculus /
Autor: Milner, Robin
Vydáno: (1999)
The resolution calculus /
Autor: Leitsch, Alexander, 1952-
Vydáno: (1997)
Network calculus : a theory of deterministic queuing systems for the Internet /
Autor: Le Boudec, Jean-Yves, 1958-, a další
Vydáno: (2001)
Refinement calculus : a systematic introduction /
Autor: Back, Ralph-Johan, 1949-
Vydáno: (1998)
The lambda calculus : its syntax and semantics /
Autor: Barendregt, Henk 1947-
Vydáno: (1981)
×
Načítá se...