|
|
|
|
LEADER |
01838nmm a22004095u 4500 |
001 |
vtls000363953 |
003 |
RU-ToGU |
005 |
20210922030126.0 |
007 |
cr nn 008mamaa |
008 |
120829s2008 xx j eng d |
020 |
|
|
|a 9783540792307
|
035 |
|
|
|a to000363953
|
039 |
|
9 |
|a 201208291219
|y 200905080015
|z Александр Эльверович Гилязов
|
040 |
|
|
|a Springer
|c Springer
|d RU-ToGU
|
100 |
1 |
|
|a Dumas, Marlon.
|9 331170
|
245 |
1 |
0 |
|a Web Services and Formal Methods
|h Электронный ресурс
|b 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /
|c edited by Marlon Dumas, Reiko Heckel.
|
260 |
|
|
|a Berlin, Heidelberg :
|b Springer-Verlag Berlin Heidelberg,
|c 2008.
|9 729705
|
490 |
1 |
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 4937
|
650 |
|
0 |
|a Computer Communication Networks
|9 566243
|
650 |
|
0 |
|a Computer system performance
|9 303225
|
650 |
|
0 |
|a Information systems
|9 303226
|
650 |
|
0 |
|a Logic design
|9 306256
|
650 |
|
0 |
|a Software engineering
|9 566225
|
650 |
1 |
4 |
|a Computer Science
|9 155490
|
650 |
2 |
4 |
|a Computer Communication Networks
|9 566243
|
650 |
2 |
4 |
|a Logics and Meanings of Programs
|9 306257
|
650 |
2 |
4 |
|a Management of Computing and Information Systems
|9 303227
|
650 |
2 |
4 |
|a Software Engineering
|9 566285
|
650 |
2 |
4 |
|a System Performance and Evaluation
|9 303229
|
700 |
1 |
|
|a Heckel, Reiko.
|9 326808
|
710 |
2 |
|
|a SpringerLink (Online service)
|9 143950
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
|
|a Lecture Notes in Computer Science,
|9 279505
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-540-79230-7
|
856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241220
|
950 |
|
|
|a Computer Science (Springer-11645; ZDB-2-SCS)
|
999 |
|
|
|c 241220
|d 241220
|