![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Advances in Computers, Volume 65
Volume 65, 2005
- Adrian A. Hopgood
:
The state of artificial intelligence. 3-77 - Gerard J. Holzmann:
Software model checking with SPIN. 78-109 - Jan-Mark Geusebroek:
Early Cognitive Computer Vision. 110-153 - Tim Menzies, Charles Pecheur:
Verification and Validation and Artificial Intelligence. 154-203 - Mark J. Huiskes, Eric J. Pauwels:
Indexing, Learning and Content-based Retrieval for Special Purpose Image Databases. 204-259 - David N. Card:
Defect Analysis: Basic Techniques for Management and Learning. 260-297 - Christopher J. Lokan:
Function Points. 298-349 - Peter B. Henderson:
The Role of Mathematics in Computer Science and Software Engineering Education. 350-396
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.