|
|
|
|
LEADER |
00000nam a22000007a 4500 |
001 |
8628905 |
003 |
AR_CdUFM |
005 |
20150824151110.0 |
006 |
m d |
008 |
080205s2007 njua |s|||| 00| 0 eng d |
020 |
|
|
|a 9783540744061
|
040 |
|
|
|a BIP US
|d WaSeSS
|d AR_CdUFM
|
111 |
2 |
|
|a International Conference on Concurrency Theory
|n (18º :
|d 2007 :
|c Lisbon, Portugal )
|
245 |
1 |
0 |
|a CONCUR - 2007 :
|b Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /
|c Luis Caires, Vasco T. Vasconcelos, editors.
|
260 |
|
|
|a New York :
|b Springer,
|c 2007.
|
300 |
|
|
|a xiii, 506 p.
|c 24 cm.
|
490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 4703
|
490 |
0 |
|
|a LNCS ;
|v v. 4703
|
541 |
|
|
|a Importación de Publicaciones ;
|c Compra Dr. Gramaglia, Hector. Subsidio Secyt-UNC 2010 ;
|d 2011-08-29 ;
|e 21202 v. 4703 ;
|h $420 ;
|o Libro
|
650 |
|
4 |
|a Lógica y significado de programas.
|
650 |
|
4 |
|a computación por dispositivos abstractos.
|
650 |
|
4 |
|a Lenguajes de programación.
|
650 |
|
4 |
|a Técnicas de programación.
|
650 |
|
4 |
|a Redes de comunicación.
|
650 |
|
4 |
|a Logics and meanings of programs.
|
650 |
|
4 |
|a Computation by abstract devices.
|
650 |
|
4 |
|a Programming languages.
|
650 |
|
4 |
|a Programming techniques.
|
650 |
|
4 |
|a Computer communication networks.
|
700 |
1 |
|
|a Caires, Luis,
|e ed.
|
700 |
1 |
|
|a Vasconcelos, Vasco T.,
|e ed.
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a MCR
|d 2011-08-29
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__4703_000000000000000
|7 0
|9 20582
|a MMA
|b MMA
|c LN
|d 2011-08-29
|e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones
|g 0.00
|l 0
|o C LNCS v. 4703
|p 21202
|r 2011-08-29 00:00:00
|w 2011-08-29
|y LIBRO
|
999 |
|
|
|c 16178
|d 16177
|