- Artificial intelligence 62
- Inteligencia artificial 62
- Probabilidad 58
- Lógica matemática 57
- Procesos estocásticos 55
- Logics and meanings of programs 52
- Software engineering 52
- Lógica y significado de programas 48
- Programming languages 46
- Ingeniería de software 43
- Análisis funcional 42
- Lenguajes de programación 42
- Mathematical logic 42
- Teoría de grafos 42
- Analysis of algorithms and problem complexity 41
- Varias variables complejas y espacios analíticos 40
- Análisis de algoritmos y problemas de complejidad 39
- Geometría algebraica 39
- Análisis numérico 36
- Computer networks 36
- Redes de computadoras 35
- Computation by abstract devices 34
- Ecuaciones diferenciales parciales 34
- Formal languages 34
- Topología algebraica 34
- Database management 32
- Deducción y prueba de teoremas 32
- Deduction and theorem proving 32
- Discrete mathematics 32
- Teoría de grupos 32
-
1
Wheat production in stressed environments : proceedings of the 7th International Wheat Conference /
Published 2007“…Springer,…”
Conference Proceeding Book -
2
Liquid crystals of one-and two-dimensional order : proceedings of the Conference on Liquid Crystals of One- and Two-Dimensional Order and Their Applications, Garmisch-Partenkirchen...
Published 1980“…Springer,…”
Conference Proceeding Book -
3
Séminaire de probabilités XIX 1983/84 : Proceedings /
Published 1985“…Springer,…”
Conference Proceeding Book -
4
Algebraic topology Göttingen 1984 : proceedings of a conference held in Göttingen, Nov. 9-15, 1984 /
Published 1985“…Springer,…”
Conference Proceeding Book -
5
-
6
-
7
Pannonian symposium on mathematical statistics /
Published 1981“…Springer,…”
Conference Proceeding Book -
8
GLIM 82 : proceedings of the International Conference on Generalised Linear Models /
Published 1982“…Springer,…”
Conference Proceeding Book -
9
Specyfying statistical models : from parametric to non-parametric, using Bayesian or non-Bayesian approaches /
Published 1983“…Springer,…”
Conference Proceeding Book -
10
-
11
Statistical modelling : proceedings of GLIM 89 and the 4th International Workshop on Statistical Modelling held in Trento, Italy, July 17-21, 1989 /
Published 1989“…Springer,…”
Conference Proceeding Book -
12
Harmonic analysis Iraklion 1978 : proceedings of a conference held at the University of Crete, Iraklion, Greece, July 1978 /
Published 1980“…Springer,…”
Conference Proceeding Book -
13
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002“…Springer,…”
Conference Proceeding Book -
14
-
15
-
16
Formal methods for real-time and probabilistic systems /
Published 1999“…Springer,…”
Conference Proceeding Book -
17
Algebraic logic and universal algebra in computer science /
Published 1990“…Springer,…”
Conference Proceeding Book -
18
Séminaire d'analyse P. Lelong - P. Dolbeault - H. Skoda : annés 1983/1984 /
Published 1986“…Springer,…”
Conference Proceeding Book -
19
-
20