Huibiao Zhu: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (19)
Najbardziej popularne
Spis
- Spis
- Tablica

1

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

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

Rok:

2013

Język:

english

Plik:

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

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2010

Język:

english

Plik:

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.)

Rok:

2017

Język:

english

Plik:

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.)

Rok:

2009

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2009

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2010

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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.)

Rok:

2013

Język:

english

Plik:

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

Rok:

2013

Język:

english

Plik:

PDF, 5.67 MB

0 / 0

english, 2013