Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 15
- Computer networks 12
- Distributed processing 12
- Electronic data processing 12
- Software engineering 12
- Computer science 11
- Intelligent agents (Computer software) 10
- Internet 10
- Computer security 9
- Computer software 8
- Computer-aided design 7
- Database management 7
- Image processing 7
- Mathematics 7
- Verification 7
- Automatic theorem proving 6
- Computer programming 6
- Data processing 6
- Expert systems (Computer science) 6
- Integrated circuits 6
- Programming languages (Electronic computers) 6
- Logic programming 5
- Logic, Symbolic and mathematical 5
- Parallel processing (Electronic computers) 5
- Reliability 5
- Security measures 5
- Computer vision 4
- Data transmission systems 4
- Design and construction 4
- Development 4
-
1
Universal access in health telematics : a design code of practice /
Published 2005“…Electronic books.…”
Full Text (via Internet Archive)
eBook -
2
OMDoc -- an open markup format for mathematical documents : (version 1.2) /
Published 2006“…Electronic book.…”
Full Text (via Internet Archive)
eBook -
3
Transactions on computational science XXXI : special issue on signal processing and security in distributed systems /
Published 2018“…Electronic book.…”
Full Text (via Springer)
eBook -
4
Approximation and online algorithms : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, revised selected papers /
Published 2018“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings /
Published 2001“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook -
6
Architecting dependable systems /
Published 2003“…Electronic book.…”
Full Text (via Springer)
eBook -
7
Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /
Published 2000“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook -
8
-
9
Empirical methods and studies in software engineering : experiences from ESERNET /
Published 2003“…Electronic book.…”
Full Text (via Springer)
eBook -
10
Concurrent reactive plans : anticipating and forestalling execution failures /
Published 2000“…Electronic book.…”
Full Text (via Springer)
eBook -
11
Randomness and completeness in computational complexity /
Published 2000“…Electronic book.…”
Full Text (via Springer)
eBook -
12
Reflection and software engineering /
Published 2000“…Electronic book.…”
Full Text (via Springer)
eBook -
13
Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /
Published 2001“…Electronic book.…”
Full Text (via Springer)
eBook -
14
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday /
Published 2004“…Electronic book.…”
Full Text (via Springer)
eBook -
15
Approximation and online algorithms : 4th international workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006 : revised papers /
Published 2006“…Electronic book.…”
Full Text (via Internet Archive)
Conference Proceeding eBook -
16
Constructive side-channel analysis and secure design : 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings /
Published 2018“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook -
17
Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /
Published 2018“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook -
18
Practical aspects of declarative languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings /
Published 2018“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook -
19
Pattern recognition : 23rd DAGM Symposium, Munich, Germany, September 12-14, 2001 : proceedings /
Published 2001“…Electronic book.…”
Full Text (via Springer)
eBook -
20
Cooperative information systems : 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000 : proceedings /
Published 2000“…Electronic book.…”
Full Text (via Springer)
Conference Proceeding eBook