Search Results - "Lecture notes on computer science"
Suggested Topics within your search.
Suggested Topics within your search.
- Congresses 177
- Computer science 29
- Computer security 27
- Computer software 27
- Artificial intelligence 25
- Database management 25
- Software engineering 20
- Data processing 18
- Computer vision 16
- Electronic data processing 14
- Mathematics 14
- Development 13
- Human-computer interaction 13
- Logic programming 13
- Computer networks 12
- Image processing 12
- Distributed processing 11
- Internet 11
- Computer algorithms 10
- Computers 10
- Expert systems (Computer science) 10
- Cryptography 9
- Information storage and retrieval systems 9
- Intelligent agents (Computer software) 9
- Programming languages (Electronic computers) 9
- Electronic commerce 8
- Information technology 8
- Object-oriented programming (Computer science) 8
- Reliability 8
- Computer simulation 7
-
261
Specifying message passing and time-critical systems with temporal logic
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book
-
262
Mathematical foundations of computer science 1992 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
263
Memory management international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
264
Advances in computing and information--ICCI '90
Published 1990“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
265
CONCUR '92 Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
266
Theories and methods of spatio-temporal reasoning in geographic space proceedings of ... held September 1992
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
267
Distributed algorithms 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
268
Design and implementation of symbolic computation systems International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992: proceedings
Published 1993“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
269
Digital libraries Technology and Management of Indigenous Knowledge for Global Access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia,...
Published 2003“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
270
Advanced information systems engineering 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
271
Data structures and efficient algorithms final report on the DFG special joint initiative
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
272
Parallel computation First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings
Published 1992“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
273
Advances in cryptology--AUSCRYPT '90 international conference on cryptology, Sydney, Australia, January 8-11, 1990 : proceedings
Published 1990“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
274
Computer vision--ECCV 90 First European Conference on Computer Vision, Antibes, France, April 1990 proceedings
Published 1990“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
275
VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990
Published 1990“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
276
Foundations of equational logic programming
Published 1989“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
277
Categorical methods in computer science with aspects from topology
Published 1989“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
278
The design of an extendible graph editor
Published 1993“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
279
Parallel processing proceedings of the Sagamore Computer Conference, August 20-23, 1974
Published 1975“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book -
280
Synthesizing synchronous systems by static sche duling in space-time
Published 1989“…Lecture notes in computer science…”
Click Here to View Status and Holdings.
Book
