Martin Wirsing: tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (50)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Springer International Publishing

Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing

Năm:

2019

Ngôn ngữ:

english

File:

PDF, 12.51 MB

0 / 0

english, 2019

2

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Iman Poernomo, John N. Crossley, Martin Wirsing

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 1.53 MB

0 / 0

english, 2005

3

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Springer International Publishing

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.)

Năm:

2015

Ngôn ngữ:

english

File:

PDF, 23.55 MB

0 / 0

english, 2015

4

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 3.54 MB

0 / 0

english, 2008

5

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 13.23 MB

0 / 0

english, 2011

6

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 9.09 MB

0 / 0

english, 2009

7

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag

Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 3.50 MB

0 / 0

english, 2004

8

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 8.68 MB

0 / 0

english, 2003

9

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

Năm:

1992

Ngôn ngữ:

english

File:

DJVU, 4.27 MB

0 / 0

english, 1992

10

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing & Dirk Pattinson && Rolf Hennicker

File:

RTF , 31.96 MB

0 / 0

11

Adapting Proofs-as-Programs: The Curry Howard Protocol

Adapting Proofs-as-Programs: The Curry Howard Protocol

Springer Science & Business Media

Iman Poernomo, John N. Crossley, Martin Wirsing

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 4.59 MB

0 / 0

english, 2005

12

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Martin Wirsing, Martin Hofmann, Axel Rauschmayer

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 5.78 MB

0 / 0

english, 2010

13

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 3.79 MB

0 / 0

english, 2004

14

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 9.22 MB

0 / 0

english, 2008

15

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 4.80 MB

0 / 0

english, 2003

16

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 17.12 MB

0 / 0

english, 2011

17

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 5.23 MB

0 / 0

english, 2010

18

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker

Năm:

2009

Ngôn ngữ:

spanish

File:

FB2 , 6.84 MB

0 / 0

spanish, 2009

19

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Dirk Pattinson Martin Wirsing & Rolf Hennicker [Martin Wirsing, Dirk Pattinson]

Năm:

2009

Ngôn ngữ:

spanish

File:

MOBI , 15.85 MB

0 / 0

spanish, 2009

20

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker [Martin Wirsing, Dirk Pattinson & Rolf Hennicker]

Năm:

2009

File:

LIT , 4.32 MB

0 / 0

2009

21

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Matthias Hölzl, Allaithy Raed, Martin Wirsing

Năm:

2013

Ngôn ngữ:

german

File:

PDF, 4.84 MB

0 / 0

german, 2013

22

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)

Năm:

2013

Ngôn ngữ:

german

File:

PDF, 2.66 MB

0 / 0

german, 2013

23

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 11.77 MB

0 / 5.0

english, 2004

24

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Springer International Publishing

Songmao Zhang, Martin Wirsing, Zili Zhang (eds.)

Năm:

2015

Ngôn ngữ:

english

File:

PDF, 41.53 MB

0 / 0

english, 2015

25

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

Năm:

1988

Ngôn ngữ:

english

File:

DJVU, 4.89 MB

0 / 0

english, 1988

26

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer-Verlag Berlin Heidelberg

Friedrich L. Bauer, Martin Wirsing (auth.)

Năm:

1991

Ngôn ngữ:

german

File:

PDF, 8.30 MB

0 / 0

german, 1991

27

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Năm:

1983

Ngôn ngữ:

english

File:

PDF, 10.65 MB

0 / 0

english, 1983

28

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 5.67 MB

0 / 0

english, 2005

29

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Năm:

1983

Ngôn ngữ:

english

File:

DJVU, 3.71 MB

0 / 0

english, 1983

30

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)

Năm:

1989

Ngôn ngữ:

english

File:

DJVU, 5.38 MB

0 / 0

english, 1989

31

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

Năm:

1991

Ngôn ngữ:

english

File:

DJVU, 6.59 MB

0 / 0

english, 1991

32

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 13.54 MB

0 / 0

english, 2011

33

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 3.80 MB

0 / 0

english, 2012

34

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

Năm:

1995

Ngôn ngữ:

english

File:

DJVU, 3.92 MB

0 / 0

english, 1995

35

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

Năm:

1987

Ngôn ngữ:

english

File:

DJVU, 4.38 MB

0 / 0

english, 1987

36

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

Năm:

1991

Ngôn ngữ:

english

File:

DJVU, 5.26 MB

0 / 0

english, 1991

37

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 14.97 MB

0 / 0

english, 2009

38

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 4.77 MB

0 / 0

english, 2003

39

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

Năm:

1991

Ngôn ngữ:

english

File:

PDF, 11.97 MB

0 / 0

english, 1991

40

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 6.84 MB

0 / 0

english, 2013

41

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

Năm:

1991

Ngôn ngữ:

english

File:

DJVU, 2.20 MB

0 / 0

english, 1991

42

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

Năm:

1987

Ngôn ngữ:

english

File:

PDF, 9.86 MB

0 / 0

english, 1987

43

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)

Năm:

1996

Ngôn ngữ:

english

File:

DJVU, 6.79 MB

0 / 0

english, 1996

44

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

Năm:

1991

Ngôn ngữ:

english

File:

PDF, 11.76 MB

0 / 0

english, 1991

45

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 3.89 MB

0 / 0

english, 2012

46

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 8.47 MB

0 / 0

english, 2004

47

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Năm:

2005

Ngôn ngữ:

english

File:

PDF, 5.89 MB

0 / 0

english, 2005

48

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Năm:

2010

Ngôn ngữ:

english

File:

PDF, 5.18 MB

0 / 0

english, 2010

49

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 6.52 MB

0 / 0

english, 2003

50

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer Verlag

Wirsing, Martin, Bauer, Friedrich Ludwig

Năm:

1991

Ngôn ngữ:

german

File:

DJVU, 2.34 MB

0 / 0

german, 1991