Shmuel Katz：在 Z-Library 上搜索

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

籌款 9月15日 2024 – 10月1日 2024

Z-Library 是世界上最大的在線圖書館之一，其中包含超過 17,000,000 本書和 84,837,000 篇文章。我們的目標是讓每個人都能接觸到文學。今天 (9月15日 2024) 我們已經開始為項目維護和開發籌集額外的資金.

此外，UNLIMITED 下載（捐贈日後 31 天內）可供 ALL 貢獻者使用，他們將在籌款期間捐贈，直到 10月1日 2024.

關於籌款閱讀更多

捐款

已應用篩選

精確匹配

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

Lone Wolf: A Biography of Vladimir (Ze’ev) Jabotinsky

Shmuel Katz

語言:

english

文件:

PDF, 174.33 MB

0 / 0

english

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

年:

2009

語言:

english

文件:

PDF, 3.72 MB

0 / 0

english, 2009

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Shady Copty, Itai Jaeger, Yoav Katz (auth.), Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)

年:

2006

語言:

english

文件:

PDF, 5.36 MB

0 / 0

english, 2006

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Springer-Verlag Berlin Heidelberg

Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz (auth.), Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.)

年:

2010

語言:

english

文件:

PDF, 13.70 MB

0 / 0

english, 2010

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Springer

Shmuel Katz, Mira Mezini, Jörg Kienzle, (eds.)

年:

2010

語言:

english

文件:

PDF, 14.50 MB

0 / 4.5

english, 2010

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Springer-Verlag Berlin Heidelberg

Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz (auth.), Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.)

年:

2010

語言:

english

文件:

PDF, 13.80 MB

0 / 0

english, 2010

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

年:

2008

語言:

english

文件:

PDF, 5.63 MB

0 / 0

english, 2008

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Springer-Verlag Berlin Heidelberg

Lidia Fuentes, Pablo Sánchez (auth.), Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (eds.)

年:

2009

語言:

english

文件:

PDF, 6.34 MB

0 / 5.0

english, 2009

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

年:

2009

語言:

english

文件:

PDF, 3.63 MB

0 / 0

english, 2009

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Springer-Verlag Berlin Heidelberg

Lidia Fuentes, Pablo Sánchez (auth.), Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (eds.)

年:

2009

語言:

english

文件:

PDF, 4.35 MB

0 / 0

english, 2009

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Springer-Verlag Berlin Heidelberg

Lidia Fuentes, Pablo Sánchez (auth.), Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (eds.)

年:

2009

語言:

english

文件:

PDF, 4.43 MB

0 / 0

english, 2009

Transactions on Aspect-Oriented Software Development VIII

Springer-Verlag Berlin Heidelberg

Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)

年:

2011

語言:

english

文件:

PDF, 2.96 MB

0 / 0

english, 2011

Transactions on aspect-oriented software development VIII

Springer-Verlag Berlin Heidelberg

Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)

年:

2011

語言:

english

文件:

PDF, 2.98 MB

0 / 0

english, 2011

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

年:

2008

語言:

english

文件:

PDF, 7.27 MB

0 / 0

english, 2008

Transactions on Aspect-Oriented Software Development VIII

Springer-Verlag Berlin Heidelberg

Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)

年:

2011

語言:

english

文件:

PDF, 3.37 MB

0 / 5.0

english, 2011