Browse books

Showing books 4411-4420 from 7785

E-Books - Software Engineering

loading...
Xiao Liu, Dong Yuan, Gaofeng Zhang, Wenhao Li, Dahai Cao, Qiang He, Jinjun Chen, Yun Yang

Design of Cloud Workflow Systems

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Xin-Jun Liu (EDT), Zhenguo Nie (EDT), Jingjun Yu (EDT), Fugui Xie (EDT), Rui Song (EDT)

Intelligent Robotics and Applications

14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part I

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Xin-Jun Liu (EDT), Zhenguo Nie (EDT), Jingjun Yu (EDT), Fugui Xie (EDT), Rui Song (EDT)

Intelligent Robotics and Applications

14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part III

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Yanhong Annie Liu

Systematic Program Design

From Clarity to Efficiency

Price for Eshop: 1183 Kč (€ 47.3)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Yanhong Annie Liu

Systematic Program Design

From Clarity to Efficiency

Price for Eshop: 1183 Kč (€ 47.3)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Zhe Liu (EDT), Fan Wu (EDT), Sajal K. Das (EDT)

Wireless Algorithms, Systems, and Applications

16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part I

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...
Zhiming Liu (EDT), Jifeng He (EDT)

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Zhiming Liu (EDT), Jim Woodcock (EDT), Huibiao Zhu (EDT)

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 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...
Zhiming Liu (EDT), Jim Woodcock (EDT), Huibiao Zhu (EDT)

Unifying Theories of Programming and Formal Engineering Methods

International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

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...
Zhiming Liu (EDT), Jim Woodcock (EDT), Huibiao Zhu (EDT)

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information