- 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
-
321
-
322
-
323
-
324
Algebraic geometry I : Algebraic curves : Algebraic manifolds and schemes /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
325
Algebraic geometry II : Cohomology of algebraic varieties : Algebraic surfaces /
Published 1996“…Encyclopaedia of mathematical sciences ;…”
Book -
326
Algebraic geometry IV : Linear algebraic groups : Invariant theory /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
327
Lie groups and Lie algebras III : structure of Lie groups and Lie algebras /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
328
Lie groups and Lie algebras I : Foundations of Lie theory : Lie transormation groups /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book -
329
Perturbation methods in non-linear systems /
Published 1972“…Applied mathematical sciences ;…”
Book -
330
Chemistry of atmospheres : an introduction to the chemistry of the atmospheres of the earth, the planets, and their satellites /
Published 1996“…Oxford science publications…”
Book -
331
-
332
-
333
-
334
Number theory I : fundamental problems, ideas and theories /
Published 1995“…Encyclopaedia of mathematical sciences ;…”
Book -
335
Several complex variables II : Function theory in classical domains, complex potential theory /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
336
Several complex variables I : Introduction to complex analysis /
Published 1990“…Encyclopaedia of mathematical sciences ;…”
Book -
337
Dynamical systems VI : Singularity theory I /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book -
338
Dynamical systems V : Bifurcation theory and catastrophe theory /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
339
Partial differential equations II : elements of the modern theory. Equations with constant coefficients /
Published 1994“…Encyclopaedia of mathematical sciences ;…”
Book -
340
Geometry II : Spaces of constant curvature /
Published 1993“…Encyclopaedia of mathematical sciences ;…”
Book