1. 25 years of model checking : history, achievements, perspectives Publication/Creation: Berlin : Springer, 2008 Resource Type: Book Access & Availability: Loading
2. 3D structure from multiple images of large-scale environments : European Workshop, SMILE '98, Freiburg, Germany, June 6-7 1998 : proceedings Author/Creator: European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Freiburg im Breisgau, Germany) 1998 : (1st Publication/Creation: Berlin ; New York : Springer, [1998] Resource Type: Book Access & Availability: Loading
3. 3D structures from images - SMILE 2000 : Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Ireland, July 11-2, 2000 : revised papers Author/Creator: European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Ireland) 2000 : (2nd Publication/Creation: New York : Springer, 2001 Resource Type: Book Access & Availability: Loading
4. 50 years of artificial intelligence : essays dedicated to the 50th anniversary of artificial intelligence Publication/Creation: Berlin ; New York : Springer, [2007] Resource Type: Book Access & Availability: Loading
5. 5th Conference on Optimization Techniques Author/Creator: IFIP Colloquium on Optimization Techniques Rome, Italy) 1973 : (5th Publication/Creation: Berlin ; New York : Springer-Verlag, 1973 Resource Type: Book Access & Availability: Loading
6. 6th International Work-Conference on Artificial and Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 ; José Mira, Alberto Prieto (eds.). Author/Creator: International Work-Conference on Artificial and Natural Neural Networks Granada, Spain) 2001 : (6th Publication/Creation: Berlin ; New York : Springer, [2001] Resource Type: Book Access & Availability: Loading
7. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings Author/Creator: International Conference on Automated Deduction Oxford, England) 1986 : (8th Publication/Creation: Berlin ; New York : Springer-Verlag, [1986] Resource Type: Book Access & Availability: Loading
8. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems Author/Creator: Geurts, Frédéric Publication/Creation: Berlin ; New York : Springer Berlin Heidelberg, 1999 Resource Type: Book Access & Availability: Loading
9. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings Publication/Creation: Berlin ; New York : Springer, [2000] Resource Type: Book Access & Availability: Loading
10. Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings Author/Creator: ASM 2003 Taormina, Italy) (2003 Publication/Creation: Berlin ; New York : Springer, [2003] Resource Type: Book Access & Availability: Loading