LEADER 01835nmm a22004215u 4500
001 vtls000361718
003 RU-ToGU
005 20210922025333.0
007 cr nn 008mamaa
008 120829s2006 xx j eng d
020 |a 9783540489382 
035 |a to000361718 
039 9 |a 201208290251  |y 200905072330  |z Александр Эльверович Гилязов 
040 |a Springer  |c Springer  |d RU-ToGU 
100 1 |a Kobayashi, Naoki.  |9 326293 
245 1 0 |a Programming Languages and Systems (vol. # 4279)  |h Электронный ресурс  |b 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings  |c edited by Naoki Kobayashi. 
260 |a Berlin Heidelberg :  |b Springer-Verlag GmbH.,  |c 2006  |9 729706 
490 1 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 4279 
650 0 |a Computer Science  |9 155490 
650 0 |a Computer science  |9 155490 
650 0 |a Computer science  |9 155490 
650 0 |a Logic design  |9 306256 
650 0 |a Operating systems (Computers)  |9 303025 
650 0 |a Software engineering  |9 566225 
650 1 4 |a Computer Science  |9 155490 
650 2 4 |a Logics and Meanings of Programs  |9 306257 
650 2 4 |a Mathematical Logic and Formal Languages  |9 303363 
650 2 4 |a Operating Systems  |9 303029 
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 
710 2 |a SpringerLink (Online service)  |9 143950 
773 0 |t Springer e-books 
830 |a Lecture Notes in Computer Science,  |9 279505 
856 4 0 |u http://dx.doi.org/10.1007/11924661 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=238673 
950 |a Computer Science (Springer-11645; ZDB-2-SCS) 
999 |c 238673  |d 238673