- 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
-
901
Applied combinatorial mathematics /
Published 1964“…Engineering and physical sciences extension series…”
Book -
902
Teaching biotechnology in schools /
Published 1990“…Science and technology education. Document serie ;…”
Book -
903
Bibliography in integrated science teaching /
Book -
904
-
905
Fundamental physics of amorphous semiconductors : proceedings of the Kyoto Summer Institute, Kyoto, Japan, September 8-11, 1980 /
Published 1981“…Springer series in solid-state sciences ;…”
Book -
906
Advanced mechanics of materials /
Published 1977“…Ellis Horwood series in engineering science…”
Book -
907
Phonons : theory and experiments /
Published 1986“…Springer series in solid-state sciences ;…”
Book -
908
-
909
Thermal expansion of crystals /
Published 1979“…International series in the science of the solid state ;…”
Book -
910
Analysis of thermally stimulated processes /
Published 1981“…International series on the science of the solid state ;…”
Book -
911
Physics in one dimension : proceedings of an international conference, Fribourg, Switzerland, August 25-29, 1980 /
Published 1981“…Springer series in solid-state sciences ;…”
Book -
912
The art and science of growing crystals /
Published 1963“…Wiley series on the science and technology of materials…”
Book -
913
Selected values of thermodynamic properties of metals and alloys /
Published 1963“…Wiley series on the science and technology of materials…”
Book -
914
Micromechanisms in particle-hardened alloys /
Published 1980“…Cambridge solid state science series…”
Book -
915
Linear electric circuits /
Published 1962“…Adiwes international series in the engineering sciences…”
Book -
916
-
917
Stability of microstructure in metallic systems /
Published 1976“…Cambridge solid state science series…”
Book -
918
Principles of magnetic resonance /
Published 1978“…Springer series in solid-state sciences ;…”
Book -
919
New directions in Hopf algebras /
Published 2002“…Mathematical Sciences Research Institute publications ;…”
Book -
920
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002“…Lecture notes in computer science ;…”
Conference Proceeding Book