Browse books

Showing books 1851-1860 from 3770

E-Books - Mathematical theory of computation

loading...
Francisco Chicano (EDT), Bin Hu (EDT), Pablo Garcia-Sanchez (EDT)

Evolutionary Computation in Combinatorial Optimization

16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Wai K. Ching

Iterative Methods for Queuing and Manufacturing Systems

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Fong Ching-yao Fong (EDT)

Topics In Computational Materials Science

Price for Eshop: 924 Kč (€ 37.0)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Lin Chin-teng Lin

Neural Fuzzy Control Systems With Structure And Parameter Learning

Price for Eshop: 669 Kč (€ 26.8)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Chong Chitat Chong (EDT), Yasugi Mariko Yasugi (EDT), Feng Qi Feng (EDT), Huang Qieyuan Huang (EDT), Ding Decheng Ding (EDT)

Proceedings Of The Sixth Asian Logic Conference

Price for Eshop: 1795 Kč (€ 71.8)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Hana Chockler (EDT), Georg Weissenbacher (EDT)

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Price for Eshop: 115 Kč (€ 4.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Hana Chockler (EDT), Georg Weissenbacher (EDT)

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Price for Eshop: 115 Kč (€ 4.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Peter Cholak (EDT)

Notre Dame Lectures

Price for Eshop: 1549 Kč (€ 62.0)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Hankin Chris Hankin (EDT), Mackie I Mackie (EDT), Nagarajan Rajagopal Nagarajan (EDT)

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Price for Eshop: 1478 Kč (€ 59.1)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Henning Christiansen (EDT), Peter Rossen Skadhauge (EDT), Jorgen Villadsen (EDT)

Constraint Solving and Language Processing

First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information