Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····nmm#a22·····5u#4500 |
001 | springer:978-3-540-75290-5 |
003 | Springer |
005 | 20110425123703.0 |
007 | cr#nn#008mamaa |
008 | 100301s2007\\\\xx\\\\\\\\\j\\\\\\\\eng#d |
020 | ## | $a 9783540752929 |
100 | 1# | $a Jones, Cliff B. |
245 | 10 | $a Theoretical Aspects of Computing ICTAC 2007 $h [electronic resource] : $b 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / $c edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. |
260 | ## | $a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2007. |
300 | ## | $b v.: digital |
440 | #0 | $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 4711 |
650 | #0 | $a Computer science. |
650 | #0 | $a Computer Communication Networks. |
650 | #0 | $a Software engineering. |
650 | #0 | $a Logic design. |
650 | 14 | $a Computer Science. |
650 | 24 | $a Computation by Abstract Devices. |
650 | 24 | $a Logics and Meanings of Programs. |
650 | 24 | $a Mathematical Logic and Formal Languages. |
650 | 24 | $a Programming Languages, Compilers, Interpreters. |
650 | 24 | $a Software Engineering. |
650 | 24 | $a Computer Communication Networks. |
700 | 1# | $a Liu, Zhiming. |
700 | 1# | $a Woodcock, Jim. |
710 | 2# | $a SpringerLink (Online service) |
856 | 40 | $u http://dx.doi.org/10.1007/978-3-540-75292-9 $y SpringerLink, via BECYT $z Acceso desde instituciones autorizadas |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com