![Computer-Aided Reasoning: Acl2 Case Studies Computer-Aided Reasoning: Acl2 Case Studies](https://bilder.buecher.de/produkte/22/22132/22132072m.jpg)
Gebundenes Buch
2000
Juni 2000
Springer US / Springer, Berlin
11134022
![Learning Apex Programming Learning Apex Programming](https://bilder.buecher.de/produkte/42/42201/42201250m.jpg)
![Salesforce.com For Dummies Salesforce.com For Dummies](https://bilder.buecher.de/produkte/43/43921/43921195m.jpg)
![Computer-Aided Reasoning Computer-Aided Reasoning](https://bilder.buecher.de/produkte/22/22822/22822916m.jpg)
Gebundenes Buch
ACL2 Case Studies
2000.
30. Juni 2000
Springer / Springer US / Springer, Berlin
978-0-7923-7849-5
Ähnliche Artikel
![A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems](https://bilder.buecher.de/produkte/22/22947/22947604m.jpg)
Gebundenes Buch
2001 edition
31. Januar 2001
Springer / Springer US / Springer, Berlin
978-0-7923-7295-0
![Computer and Computing Technologies in Agriculture II, Volume 2 Computer and Computing Technologies in Agriculture II, Volume 2](https://bilder.buecher.de/produkte/32/32962/32962156m.jpg)
Broschiertes Buch
The Second Ifip International Conference on Computer and Computing Technologies in Agriculture (Ccta2008), October 18-20, 2008, Beijing, China
8. Dezember 2010
Springer / Springer US / Springer, Berlin
978-1-4419-5494-7
![Computer and Computing Technologies in Agriculture II, Volume 1 Computer and Computing Technologies in Agriculture II, Volume 1](https://bilder.buecher.de/produkte/26/26120/26120755m.jpg)
Gebundenes Buch
The Second Ifip International Conference on Computer and Computing Technologies in Agriculture (Ccta2008), October 18-20, 2008, Beijing, China
2009 edition
29. Mai 2009
Springer / Springer US / Springer, Berlin
12632947,978-1-4419-0208-5
![Computer and Computing Technologies in Agriculture II, Volume 3 Computer and Computing Technologies in Agriculture II, Volume 3](https://bilder.buecher.de/produkte/26/26121/26121623m.jpg)
Gebundenes Buch
The Second Ifip International Conference on Computer and Computing Technologies in Agriculture (Ccta2008), October 18-20, 2008, Beijing, China
2009 edition
29. Mai 2009
Springer / Springer US / Springer, Berlin
12635993,978-1-4419-0212-2
![Computer and Computing Technologies in Agriculture II, Volume 2 Computer and Computing Technologies in Agriculture II, Volume 2](https://bilder.buecher.de/produkte/26/26121/26121248m.jpg)
Gebundenes Buch
The Second Ifip International Conference on Computer and Computing Technologies in Agriculture (Ccta2008), October 18-20, 2008, Beijing, China
2009 edition
4. Juni 2009
Springer / Springer US / Springer, Berlin
12635986,978-1-4419-0210-8
![Computer Aided Systems Theory ¿ EUROCAST 2005 Computer Aided Systems Theory ¿ EUROCAST 2005](https://bilder.buecher.de/produkte/21/21332/21332120m.jpg)
Broschiertes Buch
10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
2005
22. September 2005
Springer, Berlin
11556985
![Case-Based Approximate Reasoning Case-Based Approximate Reasoning](https://bilder.buecher.de/produkte/32/32108/32108115m.jpg)
Broschiertes Buch
2007
2. Januar 2013
Springer / Springer Netherlands
978-90-481-7431-7
![Computer Aided Systems Theory - EUROCAST '95 Computer Aided Systems Theory - EUROCAST '95](https://bilder.buecher.de/produkte/09/09257/09257716m.jpg)
Broschiertes Buch
A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings
1996.
24. Januar 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60748-9
![Qualitative Case Studies on Implementation of Enterprise Wide Systems Qualitative Case Studies on Implementation of Enterprise Wide Systems](https://bilder.buecher.de/produkte/22/22027/22027059m.jpg)
Gebundenes Buch
30. November 2004
Idea Group Publishing
![Experiences of Test Automation: Case Studies of Software Test Automation Experiences of Test Automation: Case Studies of Software Test Automation](https://bilder.buecher.de/produkte/34/34161/34161261m.jpg)
Broschiertes Buch
Januar 2012
Addison-Wesley Longman, Amsterdam
Ähnlichkeitssuche: Fact®Finder von OMIKRON