MARC21: Petri nets for systems engineering :

Petri nets for systems engineering : a guide to modeling, verification and applications /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Girault, Claude, 1940- (Autor), Valk, Rüdiger, 1945- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Berlin : Springer, c2003.
Témata:	výpočetní technika computer science monografie monographs

Přejít na ObalkyKnih.cz


LEADER	01977cam a22005177a 4500
001	MUB01000155472
003	CZ BrMU
005	20240223151438.0
008	011128s2003 gw \|\|\|\|\| \|\|\|\|\|\|\|\|\|\|\|eng\|d
STA			\|a POSLANO DO SKCR \|b 2009-06-22
020			\|a 3-540-41217-4
040			\|a BOD018 \|b cze \|d BOD018
072		7	\|a 004 \|x Počítačová věda. Výpočetní technika. Informační technologie \|2 Konspekt \|9 23
080			\|a 004 \|2 MRF
100	1		\|a Girault, Claude, \|d 1940- \|7 xx0028181 \|4 aut
245	1	0	\|a Petri nets for systems engineering : \|b a guide to modeling, verification and applications / \|c Claude Girault, Rüdiger Valk.
260			\|a Berlin : \|b Springer, \|c c2003.
300			\|a xvi, 607 s.
650	0	7	\|a výpočetní technika \|7 ph137273 \|2 czenas
650	0	9	\|a computer science \|2 eczenas
655		7	\|a monografie \|7 fd132842 \|2 czenas
655		9	\|a monographs \|2 eczenas
700	1		\|a Valk, Rüdiger, \|d 1945- \|7 xx0028182 \|4 aut
CAT			\|a CONF-FI \|b 02 \|c 20040327 \|l MUB01 \|h 1747
CAT			\|a CONV-M04 \|b 02 \|c 20040919 \|l MUB01 \|h 1743
CAT			\|c 20050122 \|l MUB01 \|h 1222
CAT			\|a CONV-653 \|b 02 \|c 20050213 \|l MUB01 \|h 2123
CAT			\|c 20070427 \|l MUB01 \|h 2114
CAT			\|a BATCH-UPD \|b 02 \|c 20080319 \|l MUB01 \|h 0634
CAT			\|c 20080429 \|l MUB01 \|h 1804
CAT			\|c 20080429 \|l MUB01 \|h 1819
CAT			\|c 20080602 \|l MUB01 \|h 1117
CAT			\|c 20080604 \|l MUB01 \|h 0952
CAT			\|c 20090622 \|l MUB01 \|h 0748
CAT			\|c 20091202 \|l MUB01 \|h 2155
CAT			\|c 20091203 \|l MUB01 \|h 1432
CAT			\|a BATCH-UPD \|b 00 \|c 20100501 \|l MUB01 \|h 0726
CAT			\|a BATCH \|b 00 \|c 20130301 \|l MUB01 \|h 1710
CAT			\|a HANKAX \|b 02 \|c 20131009 \|l MUB01 \|h 1426
CAT			\|c 20150403 \|l MUB01 \|h 1950
CAT			\|a BATCH \|b 00 \|c 20151224 \|l MUB01 \|h 0501
CAT			\|a VESELA \|b 02 \|c 20240223 \|l MUB01 \|h 1514
LOW			\|a POSLANO DO SKCR \|b 2009-06-22
994	-	1	\|l MUB01 \|l MUB01 \|m BOOK \|1 FI \|a Fakulta informatiky \|3 R436 \|5 4200508349 \|8 20040328 \|f 74 \|f Měsíční \|r 00000001
AVA			\|a INF50 \|b FI \|d R436 \|e available \|t K dispozici \|f 1 \|g 0 \|h N \|i 2

Petri nets for systems engineering : a guide to modeling, verification and applications /

Podobné jednotky