- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
341
Representation theory and noncommutative harmonic analysis I : Fundamental concepts : Representations of Virasoro and affine algebras /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
342
Dynamical systems VII : Integrable systems. Nonholonomic dynamical systems /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
343
Geometry IV : non-regular Riemannian geometry /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book -
344
Dynamical systems IX : dynamical systems with hiperbolic behaviour /
Published 1995“…Encyclopaedia of mathematical sciences ;…”
Book -
345
Partial differential equations VIII : overdeterminated systems dissipative singular Schrödinger operator. Index theory /
Published 1996“…Encyclopaedia of mathematical sciences ;…”
Book -
346
Partial differential equations VII : spectral theory of differential operators /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
347
Partial differential equations IV : Microlocal analysis and hyperbolic equations /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book -
348
Dynamical systems VIII : singularity theory II. Applications /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book -
349
Geometry III : Theory of surfaces /
Published 1992“…Encyclopaedia of mathematical sciences ;…”
Book -
350
Complex analysis I : entire and meromorphic functions. Polyanalytic functions and their generalizations /
Published 1997“…Encyclopaedia of mathematical sciences ;…”
Book -
351
Commutative harmonic analysis III : generalized functions. Applications /
Published 1995“…Encyclopaedia of mathematical sciences ;…”
Book -
352
Several complex variables VII : sheaf-theoretical methods in complex analysis /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
353
Partial differential equations IX : elliptic boundary value problems /
Published 1997“…Encyclopaedia of mathematical sciences ;…”
Book -
354
Several complex variables V : complex analysis in partial differential equations and mathematical physics /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book -
355
General topology II : Compactness, homologies of general spaces /
Published 1996“…Encyclopaedia of mathematical sciences ;…”
Book -
356
General topology III : Paracompactness, function spaces, descriptive theory /
Published 1995“…Encyclopaedia of mathematical sciences ;…”
Book -
357
Representation theory and noncommutative harmonic analysis II /
Published 1995“…Encyclopaedia of mathematical sciences ;…”
Book -
358
Partial differential equations VI : elliptic and parabolic operators /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
359
-
360