- 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
-
1061
Quantitative evaluation of computing and communication systems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1062
Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Book -
1063
Job scheduling strategies for parallel processing : IPPS '95 Workshop, Santa Barbara, CA, USA, April 25, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1064
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1065
Spatial information theory : a theoretical basis for GIS /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1066
Logic and computational complexity : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1067
Algorithms and data structures : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1068
Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1069
Evolutionary computing : AISB Workshop, Brighton, U.K., April 3-4, 1995 : selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1070
Exploitation of fine-grain parallelism /
Published 1995“…Lecture notes in computer science ;…”
Book -
1071
Advances in cryptology - CRYPTO 1995 : 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1072
Programming languages : implementations, logics and programs : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1073
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers...
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1074
Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book -
1075
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1076
-
1077
Parallel algorithms for irregularly structured problems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
1078
The complexity of simple computer architectures /
Published 1995“…Lecture notes in computer science ;…”
Book -
1079
Information management in computer integrated manufacturing : a comprehensive guide to state-of-the-art CIM solutions /
Published 1995“…Lecture notes in computer science ;…”
Book -
1080
Computer science today : recent trends and developments /
Published 1995“…Lecture notes in computer science ;…”
Book