Z-Library پر تلاش کریں Nachum Dershowitz (eds.):

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

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

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024

Z-Library دنیا کی سب سے بڑی آن لائن لائبریریوں میں سے ایک ہے جس میں 17,000,000 سے زیادہ کتابیں اور 84,837,000 سے زیادہ مضامین ہے۔ ہمارا مقصد ادب کو ہر کسی کے لیے قابل رسائی بنانا ہے۔ آج (15 ستمبر، 2024) ہم نے پروجیکٹ کی دیکھ بھال اور ترقی کے لئے اضافی فنڈ ریزنگ شروع کردی ہے.

اس کے علاوہ لامحدود ڈاؤنلوڈز (ڈانیشن کرنے کے دن کے بعد 31 دن کے لیے) تمام شراکت داروں کے لیے دستیاب ہیں جو کہ فنڈ ریزنگ کی مدت کے دوران 1 اکتوبر، 2024 تک ڈانیشن کریں گے.

فنڈ ریزنگ کے بارے میںیہاں مزید پڑھیں

عطیہ کریں

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

1

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 6.76 MB

0 / 0

english, 2008

2

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 5.33 MB

0 / 0

english, 2007

3

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 27.49 MB

0 / 0

english, 2014

4

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 3.45 MB

0 / 0

english, 2007

5

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 5.84 MB

0 / 0

english, 2010

6

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 8.20 MB

0 / 0

english, 2008

7

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 8.59 MB

0 / 0

english, 2004

8

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 7.02 MB

0 / 0

english, 2009

9

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 7.21 MB

0 / 0

english, 2009

10

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 2.95 MB

0 / 0

english, 2007

11

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

سال:

1995

زبان:

english

فائل:

DJVU, 3.52 MB

0 / 0

english, 1995

12

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 5.21 MB

0 / 0

english, 2004

13

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 8.84 MB

0 / 5.0

english, 2009

14

Pillars of Computer Science

Pillars of Computer Science

Arnon Avron Nachum Dershowitz Alexander Rabinovich (Eds.)

سال:

2008

زبان:

english

فائل:

PDF, 8.64 MB

0 / 0

english, 2008

15

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 2.85 MB

0 / 0

english, 2011

16

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 33.09 MB

0 / 0

english, 2014

17

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 3.49 MB

0 / 0

english, 2011

18

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 3.42 MB

0 / 0

english, 2011

19

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

سال:

1989

زبان:

english

فائل:

PDF, 11.76 MB

0 / 0

english, 1989

20

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 34.77 MB

0 / 0

english, 2014

21

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Springer International Publishing

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

سال:

2015

زبان:

english

فائل:

PDF, 5.13 MB

0 / 0

english, 2015

22

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

سال:

1989

زبان:

english

فائل:

DJVU, 5.18 MB

0 / 0

english, 1989

23

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 2.23 MB

0 / 0

english, 2004

24

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

سال:

1995

زبان:

english

فائل:

PDF, 5.98 MB

0 / 0

english, 1995

25

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 7.14 MB

0 / 0

english, 2004

26

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 5.96 MB

0 / 0

english, 2010