Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /

Bibliographic Details
Published in:Springer e-books
Main Author: Durand-Lose, Jérôme
Corporate Author: SpringerLink (Online service)
Other Authors: Margenstern, Maurice
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-540-74593-8
Перейти в каталог НБ ТГУ
LEADER 01741nmm a22003735u 4500
001 vtls000363140
003 RU-ToGU
005 20210922025932.0
007 cr nn 008mamaa
008 120829s2007 xx j eng d
020 |a 9783540745938 
035 |a to000363140 
039 9 |a 201302121032  |c 201208290859  |d VLOAD  |y 200905072358  |z Александр Эльверович Гилязов 
040 |a Springer  |c Springer  |d RU-ToGU 
100 1 |a Durand-Lose, Jérôme  |9 329957 
245 1 0 |a Machines, Computations, and Universality  |h Электронный ресурс  |b 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /  |c edited by Jérôme Durand-Lose, Maurice Margenstern. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag Berlin Heidelberg,  |c 2007.  |9 729705 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 4664 
650 0 |a Computer Science  |9 155490 
650 0 |a Computer software  |9 303280 
650 0 |a Logic design  |9 306256 
650 1 4 |a Computer Science  |9 155490 
650 2 4 |a Algorithm Analysis and Problem Complexity  |9 303732 
650 2 4 |a Computation by Abstract Devices  |9 305111 
650 2 4 |a Logics and Meanings of Programs  |9 306257 
650 2 4 |a Mathematical Logic and Formal Languages  |9 303363 
700 1 |a Margenstern, Maurice.  |9 321565 
710 2 |a SpringerLink (Online service)  |9 143950 
773 0 |t Springer e-books 
830 0 |a Lecture Notes in Computer Science,  |9 279505 
856 4 0 |u http://dx.doi.org/10.1007/978-3-540-74593-8 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=240631 
950 |a Computer Science (Springer-11645; ZDB-2-SCS) 
999 |c 240631  |d 240631