LEADER 02036nam a2200529Ki 4500
001 koha001014789
003 OCoLC
005 20250222070047.0
006 m d
007 cr cnu---unuuu
008 180730s2018 enkae ob 000 0 eng d
035 |a koha001014789 
040 |a N$T  |b eng  |e rda  |e pn  |c N$T 
020 |a 9781527514577  |q (electronic bk.) 
020 |a 1527514579  |q (electronic bk.) 
020 |z 9781527507623 
020 |z 1527507629 
050 4 |a NA2728  |b .F67 2018eb 
072 7 |a ARC  |x 022000  |2 bisacsh 
072 7 |a ARC  |x 024010  |2 bisacsh 
072 7 |a ARC  |x 015000  |2 bisacsh 
072 7 |a ARC  |x 012000  |2 bisacsh 
082 0 4 |a 720.285  |2 23 
049 |a MAIN 
245 0 0 |a Formal methods in architecture and urbanism  |c edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. 
264 1 |a Newcastle upon Tyne, UK  |b Cambridge Scholars Publishing,  |c 2018. 
300 |a 1 online resource (viii, 397 pages)  |b illustrations, plans. 
504 |a Includes bibliographical references. 
588 0 |a Print version record. 
653 0 |a Architecture  |x Data processing. 
653 0 |a Formal methods (Computer science) 
653 7 |a Architecture  |x Data processing.  |2 fast  |0 (OCoLC)fst00813401 
653 7 |a Formal methods (Computer science)  |2 fast  |0 (OCoLC)fst00932926 
653 7 |a ARCHITECTURE / Adaptive Reuse & Renovation  |2 bisacsh 
653 7 |a ARCHITECTURE / Buildings / Landmarks & Monuments  |2 bisacsh 
653 7 |a ARCHITECTURE / Professional Practice  |2 bisacsh 
653 7 |a ARCHITECTURE / Reference  |2 bisacsh 
655 0 |a EBSCO eBooks  |9 905790 
655 4 |a Electronic books.  |9 899821 
700 1 |a Viana, David Leite,  |9 914305 
700 1 |a Morais, Franklim,  |9 914306 
700 1 |a Vaz, Jorge Vieira,  |9 914513 
856 4 0 |3 EBSCOhost  |u https://www.lib.tsu.ru/limit/2023/EBSCO/1856826.pdf 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1014789 
910 |a EBSCO eBooks 
999 |c 1014789  |d 1014789 
039