|
|
|
|
LEADER |
02285cam a22005777a 4500 |
001 |
MUB01000475472 |
003 |
CZ BrMU |
005 |
20170729224503.0 |
008 |
061017s2006 gw ||||| |||||||||||eng d |
STA |
|
|
|a POSLANO DO SKCR
|b 2012-06-18
|
020 |
|
|
|a 3-540-38862-1
|
040 |
|
|
|a BOD018
|b cze
|d BOD114
|
080 |
|
|
|a 004.738.52:004.77
|2 MRF
|
111 |
2 |
|
|a International Workshop on Web Services and Formal Methods
|n (3. :
|d 2006 :
|c Vídeň, Rakousko)
|4 aut
|
245 |
1 |
0 |
|a Web services and formal methods :
|b third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, proceedings /
|c edited by Mario Bravetti, Manuel Núňez, Gianluigi Zavattaro
|
250 |
|
|
|a 1st ed.
|
260 |
|
|
|a New York, NY :
|b Springer,
|c 2006
|
300 |
|
|
|a x, 287 s.
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v 4184
|
650 |
0 |
7 |
|a WWW aplikace
|7 ph171364
|2 czenas
|
650 |
0 |
9 |
|a web applications
|2 eczenas
|
700 |
1 |
|
|a Bravetti, Mario,
|d 1971-
|7 xx0038385
|4 edt
|
700 |
1 |
|
|a Núñez, Manuel
|7 xx0027869
|4 edt
|
700 |
1 |
|
|a Zavattaro, Gianluigi
|7 xx0035653
|4 edt
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 4184
|
CAT |
|
|
|a BISKUPOVA
|b 02
|c 20061017
|l MUB01
|h 0905
|
CAT |
|
|
|c 20070427
|l MUB01
|h 2159
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0636
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1812
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1827
|
CAT |
|
|
|c 20091203
|l MUB01
|h 0132
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1814
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2254
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0319
|
CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0052
|
CAT |
|
|
|c 20120618
|l MUB01
|h 1047
|
CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0806
|
CAT |
|
|
|a PTICHAX
|b 02
|c 20140126
|l MUB01
|h 2202
|
CAT |
|
|
|a FUKSOVAX
|b 02
|c 20140922
|l MUB01
|h 1510
|
CAT |
|
|
|c 20150404
|l MUB01
|h 0138
|
CAT |
|
|
|c 20150703
|l MUB01
|h 0958
|
CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2202
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1234
|
CAT |
|
|
|a VASICEKX
|b 02
|c 20160524
|l MUB01
|h 0929
|
CAT |
|
|
|a HANAV
|b 02
|c 20170729
|l MUB01
|h 2245
|
CAT |
|
|
|c 20210614
|l MUB01
|h 0919
|
CAT |
|
|
|c 20210614
|l MUB01
|h 1908
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2012-06-18
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K933.06
|5 4200512315
|8 20061017
|f 74
|f Měsíční
|r 20061017
|
AVA |
|
|
|a INF50
|b FI
|d K933.06
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|