Suggested Topics within your search.
Suggested Topics within your search.
- 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
-
201
Languages and compilers for parallel computing /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
202
Applied algebra, algebraic algorithms and eror-correcting codes : 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
203
-
204
Mobile agents : first international workshop... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
205
Deductive and object-oriented databases /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
206
Combinatorial pattern matching /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
207
SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
208
-
209
Automata, languages and programming /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
210
Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...
Published 1998“…Lecture notes in computer science ;…”
Conference Proceeding Book -
211
Advances in cryptology - ASIACRYPT 1996 /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
212
Electronic commerce : current research issues and applications /
Published 1996“…Lecture notes in computer science ;…”
Book -
213
Software configuration management : ICSE SCM-4 and SCM-5 workshops : Selected papers /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
214
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
215
Algorithms and computation /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
216
Advanced functional programming /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
217
Fast software encryption : Proceedings... /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
218
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
Published 1996“…Lecture notes in computer science ;…”
Book -
219
Digital libraries : research and technology advances : ADL '95 forum, McLean, Virginia, USA, May 1995 : selected papers /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
220
Logics for concurrency : structure versus automata /
Published 1996“…Lecture notes in computer science ;…”
Book