Foundations of software technology and theoretical computer science /

Foundations of software technology and theoretical computer science /

Bibliographic Details
Corporate Author: Conference on Foundations of Software Technology and Theoretical Computer Science Hyderabad, India
Other Authors: Chandru, Vijay, 1953- (ed.,), Vinay, V. (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1996.
Series:Lecture notes in computer science ; v. 1180
LNCS ; v. 1180
Subjects:
Computación mediante dispositivos abstractos.
Computation by abstract devices.
Gometría computacional y modelado de objetos.
Computational geometry and object modeling.
Análisis de algoritmos y problemas de complejidad.
Analysis of algorithms and problem complexity.
Lógica y significado de programas.
Logics and meanings of programs.
Lógica matemática.
Lenguajes formales.
Mathematical logic.
Formal languages.
Teoría de grafos.
Graph theory.

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908123250.0
008 110701s1996 gw||||| |||| 00| 0 eng d
020 |a 3540620346 
040 |a AR_CdUFM  |c AR_CdUFM 
111 2 |a Conference on Foundations of Software Technology and Theoretical Computer Science   |n (16 :   |d 1996 :   |c Hyderabad, India) 
245 1 0 |a Foundations of software technology and theoretical computer science /   |c edited Vijay Chandru, V. Vinay. 
260 |a Berlin :   |b Springer,   |c 1996. 
300 |a 386 p. ;  |c 25 cm. 
490 0 |a Lecture notes in computer science ;   |v v. 1180 
490 0 |a LNCS ;  |v v. 1180 
590 |a La biblioteca posee 2 ej. 
650 4 |a Computación mediante dispositivos abstractos. 
650 4 |a Computation by abstract devices. 
650 4 |a Gometría computacional y modelado de objetos. 
650 4 |a Computational geometry and object modeling. 
650 4 |a Análisis de algoritmos y problemas de complejidad. 
650 4 |a Analysis of algorithms and problem complexity. 
650 4 |a Lógica y significado de programas. 
650 4 |a Logics and meanings of programs. 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
650 4 |a Teoría de grafos. 
650 4 |a Graph theory. 
700 1 |9 2984  |a Chandru, Vijay,   |e ed.,  |d 1953- 
700 1 |9 17908  |a Vinay, V.,   |e ed. 
942 |c LIBRO  |2   
945 |a MCR  |d 2012-02-23 
952 |0 0  |1 0  |4 0  |6 C_LNCS_V__1180_000000000000000  |7 0  |9 10416  |a MMA  |b MMA  |c LN  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C LNCS v. 1180   |p 14927  |r 2013-08-23 00:00:00  |w 2008-06-09  |y LIBRO 
952 |0 0  |1 0  |4 0  |6 C_LNCS_V__1180_EJ_200000000000  |7 0  |9 10417  |a MMA  |b MMA  |c LN  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C LNCS v. 1180 ej.2  |p 14928  |r 2013-08-23 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 8153  |d 8153 

Similar Items