Dines Bjørner (auth.)：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

Don't use scam websites

已應用篩選

精確匹配

精確匹配

圖書 (26)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Springer-Verlag Berlin Heidelberg

Prof. Dr. Dines Bjørner (auth.)

年:

2006

語言:

english

文件:

PDF, 23.68 MB

0 / 0

english, 2006

2

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

語言:

english

文件:

PDF, 4.29 MB

0 / 0

english, 2007

3

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1996

語言:

english

文件:

PDF, 6.23 MB

0 / 5.0

english, 1996

4

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1996

語言:

english

文件:

DJVU, 3.86 MB

0 / 0

english, 1996

5

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

年:

1989

語言:

english

文件:

PDF, 7.85 MB

0 / 0

english, 1989

6

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

年:

2000

語言:

english

文件:

PDF, 6.37 MB

0 / 0

english, 2000

7

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), P. Dembiński (eds.)

年:

1980

語言:

english

文件:

DJVU, 6.42 MB

0 / 0

english, 1980

8

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

9

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

年:

1978

語言:

english

文件:

PDF, 14.97 MB

0 / 0

english, 1978

10

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

11

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

年:

1991

語言:

english

文件:

DJVU, 4.05 MB

0 / 0

english, 1991

12

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1993

語言:

english

文件:

DJVU, 3.88 MB

0 / 0

english, 1993

13

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

年:

1978

語言:

english

文件:

DJVU, 1.81 MB

0 / 0

english, 1978

14

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

年:

2001

語言:

english

文件:

PDF, 5.59 MB

0 / 0

english, 2001

15

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

年:

1987

語言:

english

文件:

DJVU, 4.46 MB

0 / 0

english, 1987

16

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

年:

1989

語言:

english

文件:

DJVU, 4.18 MB

0 / 0

english, 1989

17

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

年:

1980

語言:

english

文件:

DJVU, 3.11 MB

0 / 0

english, 1980

18

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

年:

1980

語言:

english

文件:

PDF, 9.32 MB

0 / 0

english, 1980

19

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

年:

1987

語言:

english

文件:

PDF, 11.36 MB

0 / 0

english, 1987

20

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Kesav V. Nori (eds.)

年:

1986

語言:

english

文件:

DJVU, 4.73 MB

0 / 0

english, 1986

21

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

年:

1978

語言:

english

文件:

PDF, 14.98 MB

0 / 0

english, 1978

22

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

年:

2001

語言:

english

文件:

PDF, 7.07 MB

0 / 0

english, 2001

23

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

年:

1991

語言:

english

文件:

PDF, 8.87 MB

0 / 0

english, 1991

24

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

年:

1993

語言:

english

文件:

PDF, 6.56 MB

0 / 0

english, 1993

25

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

年:

2007

語言:

english

文件:

PDF, 6.33 MB

0 / 0

english, 2007

26

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

年:

2000

語言:

english

文件:

PDF, 7.84 MB

0 / 0

english, 2000