E-Books - Expert systems / knowledge-based systems

Hybrid Metaheuristics

4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Cooperative Knowledge Processing for Engineering Design

Price for Eshop: 5055 Kč (€ 202.2)

Format: E-Book, Publisher: Springer US

Availability: E-book delivered electronically online

Cryptographic Hardware and Embedded Systems -- CHES 2014

16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Advances in Soft Computing

17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018, Proceedings, Part I

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Information Technology and the Computer Network

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications

The CloudScale Method

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online