Jonathan P. Bowen：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (38)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

The Turing Guide

The Turing Guide

Oxford University Press

B. Jack Copeland, Jonathan Peter Bowen, Mark Sprevak, Robin J. Wilson, Alan Mathison Turing

年:

2017

语言:

english

文件:

PDF, 6.33 MB

5.0 / 5.0

english, 2017

2

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

年:

2017

语言:

english

文件:

PDF, 22.14 MB

0 / 0

english, 2017

3

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner [Harris f.c]

年:

2012

语言:

english

文件:

EPUB, 580 KB

0 / 0

english, 2012

4

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

年:

2017

语言:

english

文件:

PDF, 7.45 MB

5.0 / 5.0

english, 2017

5

The Arts and Computational Culture: Real and Virtual Worlds

The Arts and Computational Culture: Real and Virtual Worlds

Tula Giannini, Jonathan P. Bowen

年:

2024

语言:

english

文件:

PDF, 41.38 MB

0 / 5.0

english, 2024

6

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

年:

2004

语言:

english

文件:

PDF, 1.33 MB

0 / 0

english, 2004

7

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

年:

2018

语言:

english

文件:

PDF, 10.08 MB

0 / 0

english, 2018

8

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

年:

2019

语言:

english

文件:

PDF, 14.21 MB

0 / 0

english, 2019

9

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

年:

1999

语言:

english

文件:

PDF, 17.04 MB

0 / 0

english, 1999

10

Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation Using Z: A Case Study Approach

Intl Thomson Computer Pr (Sd)

年:

1996

语言:

english

文件:

PDF, 700 KB

0 / 0

english, 1996

11

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Springer International Publishing;Springer

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

年:

2020

语言:

english

文件:

PDF, 8.71 MB

0 / 0

english, 2020

12

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

年:

2004

语言:

english

文件:

PDF, 1.18 MB

0 / 0

english, 2004

13

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

14

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

年:

2008

语言:

english

文件:

PDF, 4.05 MB

0 / 0

english, 2008

15

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

年:

2008

语言:

english

文件:

PDF, 8.13 MB

0 / 0

english, 2008

16

Changing anarchism: Anarchist theory and practice in a global age

Changing anarchism: Anarchist theory and practice in a global age

Manchester University Press

Purkis, Jonathan(Editor), Bowen, James(Editor), Heckert, Jamie Vishwam(Contributor)

年:

2005

语言:

english

文件:

PDF, 1.01 MB

0 / 0

english, 2005

17

Towards Verified Systems

Towards Verified Systems

Elsevier Science Ltd

Jonathan Bowen (Eds.)

年:

1994

语言:

english

文件:

PDF, 5.06 MB

0 / 0

english, 1994

18

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

年:

1999

语言:

english

文件:

DJVU, 3.63 MB

0 / 0

english, 1999

19

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

年:

2008

语言:

english

文件:

PDF, 5.56 MB

0 / 0

english, 2008

20

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner

年:

2012

语言:

english

文件:

FB2 , 720 KB

0 / 0

english, 2012

21

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini, Jonathan P. Bowen (eds.)

年:

2019

语言:

english

文件:

PDF, 27.92 MB

0 / 0

english, 2019

22

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

年:

2010

语言:

english

文件:

PDF, 3.23 MB

0 / 5.0

english, 2010

23

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

年:

2013

语言:

english

文件:

PDF, 9.66 MB

0 / 0

english, 2013

24

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

年:

2013

语言:

english

文件:

PDF, 10.23 MB

0 / 5.0

english, 2013

25

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

年:

2017

语言:

english

文件:

PDF, 9.41 MB

0 / 0

english, 2017

26

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

年:

2017

语言:

english

文件:

PDF, 12.27 MB

0 / 0

english, 2017

27

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

年:

2002

语言:

english

文件:

PDF, 3.54 MB

0 / 0

english, 2002

28

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

年:

2001

语言:

english

文件:

PDF, 14.94 MB

0 / 0

english, 2001

29

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

年:

1998

语言:

english

文件:

PDF, 10.95 MB

0 / 0

english, 1998

30

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

年:

1995

语言:

english

文件:

DJVU, 5.90 MB

0 / 0

english, 1995

31

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

年:

2010

语言:

english

文件:

PDF, 3.04 MB

0 / 0

english, 2010

32

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

年:

2008

语言:

english

文件:

PDF, 4.83 MB

0 / 0

english, 2008

33

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

年:

1999

语言:

english

文件:

PDF, 41.80 MB

0 / 0

english, 1999

34

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

年:

2003

语言:

english

文件:

PDF, 4.31 MB

0 / 0

english, 2003

35

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

年:

2013

语言:

english

文件:

EPUB, 6.74 MB

0 / 0

english, 2013

36

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

年:

1997

语言:

english

文件:

DJVU, 3.78 MB

0 / 0

english, 1997

37

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

年:

2018

语言:

english

文件:

PDF, 3.29 MB

0 / 0

english, 2018

38

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

年:

2008

语言:

english

文件:

PDF, 7.30 MB

0 / 0

english, 2008