Probabilistic process algebra /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Diplomová práce Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Eindhoven :
Technická univerzita,
2002
|
| Vydání: | [1st ed.] |
| Edice: | IPA dissertation series
2002-15 |
| Témata: | |
| ISBN: | 9038605927 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Analýza signálů a soustav /
Autor: Nevřiva, Pavel
Vydáno: (2000)
Autor: Nevřiva, Pavel
Vydáno: (2000)
Biomedical signal processing /
Autor: Vidiščáková, Jana
Vydáno: (1995)
Autor: Vidiščáková, Jana
Vydáno: (1995)
Architectural synthesis and optimization of digital systems /
Autor: Stok, Leon
Vydáno: (1991)
Autor: Stok, Leon
Vydáno: (1991)
Systémy, procesy a signály. I. díl /
Autor: Šebesta, Vladimír
Vydáno: (1994)
Autor: Šebesta, Vladimír
Vydáno: (1994)
Markovove reťazce /
Autor: Kalas, Jozef
Vydáno: (1993)
Autor: Kalas, Jozef
Vydáno: (1993)
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydáno: (1996)
Autor: Pierro, Alessandra Di
Vydáno: (1996)
Decomposition and protocols in high-level Petri nets /
Autor: Rambags, Paul Michel Peter
Vydáno: (1994)
Autor: Rambags, Paul Michel Peter
Vydáno: (1994)
Multiple antenna equalization for mobile OFDM systems /
Autor: Hutter, Andreas
Vydáno: (2001)
Autor: Hutter, Andreas
Vydáno: (2001)
Systémy, procesy a signály. I. díl. Sbírka příkladů /
Autor: Biolková, Viera
Vydáno: (1996)
Autor: Biolková, Viera
Vydáno: (1996)
Vybrané kapitoly zo sémantiky /
Autor: Zázrivcová, Monika
Vydáno: (2011)
Autor: Zázrivcová, Monika
Vydáno: (2011)
Problémy sémantiky /
Autor: Tondl, Ladislav 1924-
Vydáno: (1966)
Autor: Tondl, Ladislav 1924-
Vydáno: (1966)
Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
Autor: Špakovský, Viktor
Vydáno: (2008)
Autor: Špakovský, Viktor
Vydáno: (2008)
Modeling the internet and the web. Probabilistic methods and algorithms /
Autor: Baldi, Pierre
Vydáno: (2003)
Autor: Baldi, Pierre
Vydáno: (2003)
Discrete-time process algebra /
Autor: Vereijken, Jan Joris
Vydáno: (1997)
Autor: Vereijken, Jan Joris
Vydáno: (1997)
Medzi sémantikou a epistemológiou jazyka /
Autor: Zouhar, Marián
Vydáno: (2010)
Autor: Zouhar, Marián
Vydáno: (2010)
Foundations of software science and computation structures : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Abramsky, Samson
Vydáno: (2003)
Autor: Abramsky, Samson
Vydáno: (2003)
Elements of functional programming /
Autor: Reade, Chris
Vydáno: (1993)
Autor: Reade, Chris
Vydáno: (1993)
Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
Autor: Böhm, Klemens
Vydáno: (1997)
Autor: Böhm, Klemens
Vydáno: (1997)
Algebraic constructions of regular maps /
Autor: Ipolyiová, Mária 1976-
Vydáno: (2005)
Autor: Ipolyiová, Mária 1976-
Vydáno: (2005)
Formal semantics of programming languages /
Vydáno: (1972)
Vydáno: (1972)
Semantics, around and beyond : an introductory course /
Autor: Kavka, Stanislav J. 1946-
Vydáno: (2015)
Autor: Kavka, Stanislav J. 1946-
Vydáno: (2015)
Vzťahy synonymie : logická sémantika verzus lingvistické teórie o synonymii /
Autor: Geistová Čakovská, Barbora
Vydáno: (2010)
Autor: Geistová Čakovská, Barbora
Vydáno: (2010)
Mondattani - szémantikai tanulmányok /
Autor: Kiefer, Ferenc
Vydáno: (1970)
Autor: Kiefer, Ferenc
Vydáno: (1970)
Algebra and trigonometry /
Autor: Larson, Ron
Vydáno: (2004)
Autor: Larson, Ron
Vydáno: (2004)
Simulácia systémov - diskrétne systémy /
Autor: Šujanský, Milan
Vydáno: (1987)
Autor: Šujanský, Milan
Vydáno: (1987)
Konstrukce překladačů. I. část /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1999)
Autor: Melichar, Bořivoj 1942-
Vydáno: (1999)
Sémantické a kognitívne aspekty skúmania didakticky zameraného odborného textu z oblasti biológie /
Autor: Tuhárska, Zuzana
Vydáno: (2010)
Autor: Tuhárska, Zuzana
Vydáno: (2010)
Úvod do vedy.
Autor: Olejár, Marián sr
Vydáno: (2008)
Autor: Olejár, Marián sr
Vydáno: (2008)
Sloveso vo svetle kognitívnej gramatiky /
Autor: Kyseľová, Miroslava, a další
Vydáno: (2013)
Autor: Kyseľová, Miroslava, a další
Vydáno: (2013)
Počítačové riadenie diskrétnych procesov : Celoštátna konferencia so zahraničnými prednášateľmi /
Autor: Plander, Ivan, 1928-2019
Vydáno: (1989)
Autor: Plander, Ivan, 1928-2019
Vydáno: (1989)
Teória automatického riadenia. 2. diel : Diskrétne systémy /
Autor: Krokavec, Dušan, 1945-
Vydáno: (1989)
Autor: Krokavec, Dušan, 1945-
Vydáno: (1989)
Introduction to Pascal and structured design. Turbo version /
Autor: Dale, Nell
Vydáno: (1992)
Autor: Dale, Nell
Vydáno: (1992)
Problém hraníc medzi filozofiou, umením a vedou.
Autor: Šuch, Juraj
Vydáno: (2007)
Autor: Šuch, Juraj
Vydáno: (2007)
O teórii korektného programovania /
Autor: Novitzká, Valerie
Vydáno: (2003)
Autor: Novitzká, Valerie
Vydáno: (2003)
Pragmatika jazykových javov v masmediálnej komunikácii : (kontrastívna štúdia na materiáli v slovenčine a v nemčine) /
Autor: Rašová, Dominika
Vydáno: (2013)
Autor: Rašová, Dominika
Vydáno: (2013)
From algebraic module specifications to component concepts and integrated modeling techniques /
Autor: Frantzen, Lars
Vydáno: (2001)
Autor: Frantzen, Lars
Vydáno: (2001)
Cycles and colourings '94 : proceedings of the 3rd workshop, Stará Lesná, Sept. 4 - 9, 1994 /
Autor: Erdös, Paul
Vydáno: (1996)
Autor: Erdös, Paul
Vydáno: (1996)
Ďalšie vzdelávanie učiteľov základných škôl a stredných škôl v predmete informatika : matematika pre učiteľov informatiky.
Autor: Czimmermann, Peter, a další
Vydáno: (2010)
Autor: Czimmermann, Peter, a další
Vydáno: (2010)
Osnovy teorii grafov /
Autor: Zykov, Aleksandr Aleksandrovič
Vydáno: (2004)
Autor: Zykov, Aleksandr Aleksandrovič
Vydáno: (2004)
Grafy /
Autor: Demel, Jiří
Vydáno: (1989)
Autor: Demel, Jiří
Vydáno: (1989)