|
|
|
|
LEADER |
02723nmm a22005895u 4500 |
001 |
vtls000364354 |
003 |
RU-ToGU |
005 |
20210922030406.0 |
007 |
cr nn 008mamaa |
008 |
120829s2008 xx j eng d |
020 |
|
|
|a 9783540881940
|
035 |
|
|
|a to000364354
|
039 |
|
9 |
|a 201208291406
|y 200905082106
|z Александр Эльверович Гилязов
|
040 |
|
|
|a Springer
|c Springer
|d RU-ToGU
|
100 |
1 |
|
|a Hutchison, David.
|9 81687
|
245 |
1 |
0 |
|a Formal Methods and Software Engineering
|h Электронный ресурс
|b 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
|c edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Shaoying Liu, Tom Maibaum, Keijiro Araki.
|
260 |
|
|
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2008.
|9 719423
|
490 |
1 |
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 5256
|
650 |
|
0 |
|a Computer Science
|9 155490
|
650 |
|
0 |
|a Computer software
|9 303280
|
650 |
|
0 |
|a Software engineering
|9 566225
|
650 |
1 |
4 |
|a Computer Science
|9 155490
|
650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity
|9 303732
|
650 |
2 |
4 |
|a Mathematical Logic and Formal Languages
|9 303363
|
650 |
2 |
4 |
|a Models and Principles
|9 303228
|
650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters
|9 303287
|
650 |
2 |
4 |
|a Programming Techniques
|9 566312
|
650 |
2 |
4 |
|a Software Engineering
|9 566285
|
700 |
1 |
|
|a Araki, Keijiro.
|9 323950
|
700 |
1 |
|
|a Kanade, Takeo.
|9 81641
|
700 |
1 |
|
|a Kittler, Josef.
|9 81663
|
700 |
1 |
|
|a Kleinberg, Jon M.
|9 325290
|
700 |
1 |
|
|a Liu, Shaoying.
|9 332701
|
700 |
1 |
|
|a Maibaum, Tom.
|9 327736
|
700 |
1 |
|
|a Mattern, Friedemann.
|9 324294
|
700 |
1 |
|
|a Mitchell, John C.
|9 325291
|
700 |
1 |
|
|a Naor, Moni.
|9 81688
|
700 |
1 |
|
|a Nierstrasz, Oscar.
|9 320138
|
700 |
1 |
|
|a Pandu Rangan, C.
|9 325292
|
700 |
1 |
|
|a Steffen, Bernhard.
|9 325293
|
700 |
1 |
|
|a Sudan, Madhu.
|9 81689
|
700 |
1 |
|
|a Terzopoulos, Demetri.
|9 81690
|
700 |
1 |
|
|a Tygar, Doug.
|9 81691
|
700 |
1 |
|
|a Vardi, Moshe Y.
|9 319449
|
700 |
1 |
|
|a Weikum, Gerhard.
|9 81692
|
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-88194-0
|
856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=242094
|
950 |
|
|
|a Computer Science (Springer-11645; ZDB-2-SCS)
|
999 |
|
|
|c 242094
|d 242094
|