- Artificial intelligence 73
- Inteligencia artificial 73
- Software engineering 62
- Logics and meanings of programs 58
- Lógica y significado de programas 55
- Programming languages 55
- Ingeniería de software 51
- Lenguajes de programación 51
- Analysis of algorithms and problem complexity 45
- Análisis de algoritmos y problemas de complejidad 43
- Mathematical logic 43
- Computer networks 40
- Formal languages 39
- Lógica matemática 39
- Redes de computadoras 39
- Computation by abstract devices 38
- Deducción y prueba de teoremas 38
- Deduction and theorem proving 37
- Discrete mathematics 37
- Database management 36
- Lenguajes formales 36
- Mathematical logic-Computation 36
- Computación mediante dispositivos abstractos 34
- Data encryption 34
- Lógica matemática-Computación 34
- Sistemas distribuidos 34
- Distributed systems 33
- Matemática discreta 33
- Programming techniques 33
- Administrative data processing 32
-
221
Input/Output intensive massively parallel computing : language support, automatic parallelization, advanced optimization, and runtime systems.
Published 1997“…Lecture notes in computer science ;…”
Book -
222
Solving combinatorial optimization problems in parallel : methods and techniques /
Published 1996“…Lecture notes in computer science ;…”
Book -
223
Managing information highways : the PRISM book : principles, methods and case studies for designing telecomunications management systems /
Published 1996“…Lecture notes in computer science ;…”
Book -
224
Algorithmic foundations of geographic information systems /
Published 1997“…Lecture notes in computer science ;…”
Book -
225
Evolution of parallel cellular machines : the cellular programming approach.
Published 1997“…Lecture notes in computer science ;…”
Book -
226
Disconnected operation in a distributed file system /
Published 1995“…Lecture notes in computer science ;…”
Book -
227
Advances in intelligent data analysis : reasoning about data /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
228
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
229
Worldwide computing and its applications - WWCA'98 /
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
230
Advances in spatial databases /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
231
Computer science logic /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
232
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /
Published 1997“…Lecture notes in computer science ;…”
Book -
233
Parallel computing technologies /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
234
Automata implementation /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
235
Computing and combinatorics /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
236
Computer aided verification : proceedindings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
237
Solving irregularly structured problems in parallel /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
238
Scale-space theory in computer vision /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
239
Evolvable systems : from biology to hardware /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
240
Combinatorial pattern matching /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book