Z-Library پر تلاش کریں José Meseguer (eds.):

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

Dear readers, unfortunately our support email is temporarily unavailable. We will restore it very soon. We apologize for the inconvenience.

When this message disappears, you can contact us again.

کتابیں (32)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 10.15 MB

0 / 0

english, 2008

2

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Springer-Verlag Berlin Heidelberg

Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 6.75 MB

0 / 0

english, 2011

3

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Springer-Verlag Berlin Heidelberg

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 12.54 MB

0 / 0

english, 2014

4

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

سال:

1999

زبان:

english

فائل:

PDF, 9.86 MB

0 / 4.0

english, 1999

5

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 5.22 MB

0 / 0

english, 2006

6

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 8.73 MB

0 / 0

english, 2008

7

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 12.00 MB

0 / 0

english, 2004

8

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 24.22 MB

0 / 0

english, 2008

9

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 3.31 MB

0 / 0

english, 2009

10

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 6.57 MB

0 / 0

english, 2006

11

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 4.40 MB

0 / 0

english, 2004

12

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

سال:

1999

زبان:

english

فائل:

DJVU, 2.64 MB

0 / 0

english, 1999

13

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 9.07 MB

0 / 0

english, 2012

14

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 4.28 MB

0 / 0

english, 2011

15

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 8.02 MB

0 / 0

english, 2006

16

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

سال:

2004

زبان:

english

فائل:

DJVU, 9.11 MB

0 / 0

english, 2004

17

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 4.58 MB

0 / 0

english, 2011

18

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

سال:

2000

زبان:

english

فائل:

PDF, 2.25 MB

0 / 0

english, 2000

19

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 23.45 MB

0 / 4.0

english, 2008

20

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Springer International Publishing

Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, (eds.)

سال:

2019

زبان:

english

فائل:

PDF, 11.23 MB

0 / 0

english, 2019

21

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 10.14 MB

0 / 0

english, 2002

22

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

سال:

2000

زبان:

english

فائل:

PDF, 10.29 MB

0 / 0

english, 2000

23

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

سال:

2005

زبان:

english

فائل:

PDF, 5.67 MB

0 / 0

english, 2005

24

Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

سال:

2000

زبان:

english

فائل:

DJVU, 3.20 MB

0 / 0

english, 2000

25

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 3.86 MB

0 / 0

english, 2013

26

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 4.34 MB

0 / 0

english, 2002

27

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 5.45 MB

0 / 0

english, 2009

28

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

سال:

1987

زبان:

english

فائل:

DJVU, 3.99 MB

0 / 0

english, 1987

29

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

سال:

2002

زبان:

english

فائل:

PDF, 5.85 MB

0 / 0

english, 2002

30

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

سال:

2005

زبان:

english

فائل:

PDF, 5.89 MB

0 / 0

english, 2005

31

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

سال:

2000

زبان:

english

فائل:

PDF, 3.52 MB

0 / 0

english, 2000

32

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 3.41 MB

0 / 0

english, 2009