Browse books

Showing books 641-650 from 5373

E-Books - Algorithms & data structures

loading...
Jasmin Christian Blanchette (EDT), Stephan Merz (EDT)

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 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...
Andreas Blass (EDT), Patrick Cegielski (EDT), Nachum Dershowitz (EDT), Manfred Droste (EDT), Bernd Finkbeiner (EDT)

Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

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...
Jacek Blazewicz (EDT), Wieslaw Kubiak (EDT), Tadeusz Morzy (EDT), Marek Rusinkiewicz (EDT)

Handbook on Data Management in Information Systems

Price for Eshop: 5055 Kč (€ 202.2)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Sandrine Blazy (EDT), Christine Paulin-Mohring (EDT), David Pichardie (EDT)

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Chris Bleakley

Poems That Solve Puzzles

The History and Science of Algorithms

Price for Eshop: 647 Kč (€ 25.9)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Chris Bleakley

Poems That Solve Puzzles

The History and Science of Algorithms

Price for Eshop: 647 Kč (€ 25.9)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Leonidas Bleris (EDT), Ion Mandoiu (EDT), Russell Schwartz (EDT), Jianxin Wang (EDT)

Bioinformatics Research and Applications

8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Maria J. Blesa (EDT), Christian Blum (EDT), Angelo Cangelosi (EDT), Vincenzo Cutello (EDT), Alessandro Di Nuovo (EDT), Mario Pavone (EDT), El-Ghazali Talbi (EDT)

Hybrid Metaheuristics

10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 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...
Maria J. Blesa (EDT), Christian Blum (EDT), Paola Festa (EDT), Andrea Roli (EDT), Michael Sampels (EDT)

Hybrid Metaheuristics

8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Maria J. Blesa (EDT), Christian Blum (EDT), Stefan Vo (EDT)

Hybrid Metaheuristics

9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, 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
Previous ... 60 61 62 63 64 65 66 67 68 69 70 ... Next