Martín Abadi: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

A theory of Objects

A theory of Objects

Martín Abadi, Luca Cardelli

ปี:

1996

ภาษา:

english

ไฟล์:

PDF, 25.93 MB

5.0 / 5.0

english, 1996

2

A theory of objects

A theory of objects

Martín Abadi, Luca Cardelli

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 3.04 MB

0 / 0

english, 1996

3

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

ปี:

1990

ภาษา:

english

ไฟล์:

DJVU, 7.52 MB

0 / 0

english, 1990

4

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

ปี:

1992

ภาษา:

english

ไฟล์:

DJVU, 7.05 MB

0 / 0

english, 1992

5

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Steve Kremer, (eds.)

ปี:

2014

ภาษา:

english

ไฟล์:

PDF, 5.82 MB

0 / 0

english, 2014

6

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ปี:

2018

ภาษา:

spanish

ไฟล์:

PDF, 1.12 MB

0 / 0

spanish, 2018

7

Los cuatro libros de Esdras: Cuaderno Bíblico 180 (Cuadernos Bíblicos) (Spanish Edition)

Los cuatro libros de Esdras: Cuaderno Bíblico 180 (Cuadernos Bíblicos) (Spanish Edition)

Editorial Verbo Divino

Martin de Viviès, Pierre de & Abadie, Philippe

ปี:

2018

ภาษา:

spanish

ไฟล์:

EPUB, 3.07 MB

0 / 4.5

spanish, 2018

8

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 4.20 MB

0 / 0

english, 1994

9

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 7.24 MB

0 / 0

english, 2009

10

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 4.33 MB

0 / 0

english, 2007

11

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 7.16 MB

0 / 0

english, 2012

12

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

ปี:

1990

ภาษา:

english

ไฟล์:

PDF, 15.92 MB

0 / 0

english, 1990

13

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

ปี:

1992

ภาษา:

english

ไฟล์:

PDF, 15.33 MB

0 / 0

english, 1992

14

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Springer International Publishing

Martín Abadi, Alberto Lluch Lafuente (eds.)

ปี:

2014

ภาษา:

english

ไฟล์:

PDF, 7.55 MB

0 / 0

english, 2014

15

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 7.36 MB

0 / 0

english, 2005

16

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 4.84 MB

0 / 0

english, 2005

17

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 3.70 MB

0 / 0

english, 2004

18

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ปี:

2018

ภาษา:

spanish

ไฟล์:

AZW3 , 2.47 MB

0 / 0

spanish, 2018

19

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ปี:

2018

ภาษา:

spanish

ไฟล์:

EPUB, 2.40 MB

0 / 0

spanish, 2018

20

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ปี:

2018

ไฟล์:

LIT , 477 KB

0 / 0

2018

21

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 9.99 MB

0 / 5.0

english, 2009

22

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ปี:

2018

ภาษา:

spanish

ไฟล์:

FB2 , 672 KB

0 / 0

spanish, 2018

23

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ปี:

2018

ภาษา:

spanish

ไฟล์:

MOBI , 501 KB

0 / 0

spanish, 2018

24

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ไฟล์:

RTF , 670 KB

0 / 0

25

Los cuatro libros de Esdras

Los cuatro libros de Esdras

Editorial Verbo Divino

Philippe Abadie, Pierre de Martin de Viviès

ปี:

2018

ภาษา:

spanish

ไฟล์:

PDF, 747 KB

0 / 4.0

spanish, 2018

26

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

DJVU, 7.09 MB

0 / 0

english, 1989

27

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

Springer-Verlag Berlin Heidelberg

Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 6.10 MB

0 / 0

english, 2007

28

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Wolfgang Thomas (eds.)

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 3.15 MB

0 / 0

english, 1999

29

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 6.64 MB

0 / 0

english, 2007

30

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Luca Cardelli (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 4.98 MB

0 / 0

english, 2003

31

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Abadi, Zohar Manna (auth.), Rohit Parikh (eds.)

ปี:

1985

ภาษา:

english

ไฟล์:

DJVU, 4.53 MB

0 / 0

english, 1985

32

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

PDF, 17.98 MB

0 / 0

english, 1989

33

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)

ปี:

1997

ภาษา:

english

ไฟล์:

DJVU, 6.63 MB

0 / 0

english, 1997

34

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 4.32 MB

0 / 0

english, 2004

35

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

PDF, 7.96 MB

0 / 0

english, 1994

36

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 7.29 MB

0 / 0

english, 2009

37

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Wolfgang Thomas (eds.)

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 34.73 MB

0 / 0

english, 1999