Huibiao Zhu: искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (19)
Самые популярные
Список
- Список
- Таблица

1

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 5.68 MB

0 / 0

english, 2013

2

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Год:

2013

Язык:

english

Файл:

PDF, 3.25 MB

0 / 0

english, 2013

3

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 9.32 MB

0 / 0

english, 2010

4

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

Год:

2017

Язык:

english

Файл:

PDF, 6.03 MB

0 / 0

english, 2017

5

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 3.16 MB

0 / 0

english, 2009

6

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

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

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 5.30 MB

0 / 0

english, 2013

7

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

MOBI , 2.37 MB

0 / 0

english, 2013

8

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 5.32 MB

0 / 0

english, 2013

9

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 3.50 MB

0 / 5.0

english, 2009

10

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

FB2 , 3.60 MB

0 / 0

english, 2013

11

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

Файл:

RTF , 4.60 MB

0 / 0

12

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

LIT , 1.96 MB

0 / 0

english, 2013

13

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

AZW3 , 2.47 MB

0 / 0

english, 2013

14

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

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

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 3.01 MB

0 / 0

english, 2013

15

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 5.34 MB

0 / 0

english, 2013

16

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 9.26 MB

0 / 0

english, 2010

17

Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Yu Deng, Liangzhao Zeng (auth.), Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 14.57 MB

0 / 0

english, 2013

18

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Год:

2013

Язык:

english

Файл:

PDF, 4.73 MB

0 / 0

english, 2013

19

Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Год:

2013

Язык:

english

Файл:

PDF, 5.67 MB

0 / 0

english, 2013