- 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
-
1081
Cryptography : proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 /
Published 1983“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1082
-
1083
Thermodynamics of solids.
Published 1966“…Wiley series on the science and technology of materials…”
Book -
1084
Problems in metallurgical thermodynamics and kinetics /
Published 1977“…International series on materials science and technology ;…”
Book -
1085
Thermodynamics : an introductory text for engineering students /
Published 1963“…Addison-Wesley series in the engineering sciences…”
Book -
1086
Artificial neural networks : INCANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1087
Statistical physics /
Published 1995“…Springer series in solid-state sciences ;…”
Publisher description
Book -
1088
-
1089
What's happening in the mathematical sciences 1995-1996 /
Published 1996“…What's happening in the mathematical sciences ;…”
Book -
1090
Introduction to functional programming using Haskell /
Published 1998“…Prentice-Hall series in computer science…”
Book -
1091
Group theory and its applications in physics /
Published 1996“…Springer series in solid-state sciences ;…”
Book -
1092
Nuclear magnetic resonance in solid polymers /
Published 1993“…Cambridge solid state science series…”
Book -
1093
Elementary logics : a procedural perspective /
Published 1998“…Prentice-Hall series in computer science…”
Book -
1094
Job scheduling strategies for parallel processing : IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings /
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1095
Algebraic methodology and software technology /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1096
Algorithms - ESA '94 /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1097
Computer vision, ECCV '96 : 4th European Conference on Computer Vision, Cambridge, UK, April 15-18, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1098
Computing and combinatorics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1099
Logic program synthesis and transformation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1100
Algorithms and data structures /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book