Jose Meseguer: tìm kiếm trên Z-Library

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

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Quyên góp

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

Tìm chính xác từ

Sách (43)
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

Spacecraft thermal control

Woodhead Publishing

Jose Meseguer, Isabel Perez-Grande, Angel Sanz-Andres

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 4.33 MB

0 / 0

english, 2012

Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

José Meseguer.

Ngôn ngữ:

english

File:

PDF, 2.32 MB

0 / 0

english

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

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 10.15 MB

0 / 0

english, 2008

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

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 6.75 MB

0 / 0

english, 2011

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

Springer-Verlag Berlin Heidelberg

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

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 12.54 MB

0 / 0

english, 2014

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

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

Năm:

1999

Ngôn ngữ:

english

File:

PDF, 9.86 MB

0 / 4.0

english, 1999

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

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 5.22 MB

0 / 0

english, 2006

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

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 8.73 MB

0 / 0

english, 2008

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

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 12.00 MB

0 / 0

english, 2004

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

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 24.22 MB

0 / 0

english, 2008

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

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 3.31 MB

0 / 0

english, 2009

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

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 6.57 MB

0 / 0

english, 2006

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

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 4.40 MB

0 / 0

english, 2004

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

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 9.07 MB

0 / 0

english, 2012

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

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 4.28 MB

0 / 0

english, 2011

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

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

Năm:

1999

Ngôn ngữ:

english

File:

DJVU, 2.64 MB

0 / 0

english, 1999

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

Springer

José Meseguer, Grigore Rosu

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 9.87 MB

0 / 0

english, 2008

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

Năm:

2006

Ngôn ngữ:

english

File:

PDF, 8.02 MB

0 / 0

english, 2006

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

Năm:

2004

Ngôn ngữ:

english

File:

DJVU, 9.11 MB

0 / 0

english, 2004

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

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 4.58 MB

0 / 0

english, 2011

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

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 2.25 MB

0 / 0

english, 2000

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

Năm:

2008

Ngôn ngữ:

spanish

File:

EPUB, 1.16 MB

0 / 0

spanish, 2008

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Năm:

2008

Ngôn ngữ:

spanish

File:

AZW3 , 3.87 MB

0 / 0

spanish, 2008

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

Năm:

2008

Ngôn ngữ:

english

File:

PDF, 23.45 MB

0 / 4.0

english, 2008

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Năm:

2008

File:

LIT , 3.23 MB

0 / 0

2008

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Năm:

2008

Ngôn ngữ:

spanish

File:

MOBI , 3.31 MB

0 / 0

spanish, 2008

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

Năm:

2008

Ngôn ngữ:

spanish

File:

FB2 , 5.53 MB

0 / 0

spanish, 2008

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Springer-Verlag Berlin Heidelberg

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 5.51 MB

0 / 0

english, 2007

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

Năm:

2019

Ngôn ngữ:

english

File:

PDF, 11.23 MB

0 / 0

english, 2019

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Springer

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe

Năm:

2021

Ngôn ngữ:

english

File:

PDF, 15.97 MB

0 / 0

english, 2021

Handbook of Philosophical Logic

Springer Netherlands

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

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 10.14 MB

0 / 0

english, 2002

Software Engineering with OBJ: Algebraic Specification in Action

Springer US

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

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 10.29 MB

0 / 0

english, 2000

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

Software engineering with OBJ: algebraic specification in action

Springer US

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

Năm:

2000

Ngôn ngữ:

english

File:

DJVU, 3.20 MB

0 / 0

english, 2000

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

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 3.86 MB

0 / 0

english, 2013

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

Springer

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

Năm:

2019

Ngôn ngữ:

english

File:

EPUB, 17.74 MB

0 / 0

english, 2019

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

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 4.34 MB

0 / 0

english, 2002

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

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 5.45 MB

0 / 0

english, 2009

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

Năm:

1987

Ngôn ngữ:

english

File:

DJVU, 3.99 MB

0 / 0

english, 1987

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

Năm:

2002

Ngôn ngữ:

english

File:

PDF, 5.85 MB

0 / 0

english, 2002

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

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

Năm:

2000

Ngôn ngữ:

english

File:

PDF, 3.52 MB

0 / 0

english, 2000

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

Năm:

2009

Ngôn ngữ:

english

File:

PDF, 3.41 MB

0 / 0

english, 2009