Held, Jacob M | کتابکو

نتایج جستجو

برای Held, Jacob M، صفحه ۱۵۲ از ۲۵۲ در بین ۶,۲۷۷ کتاب.

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Shuvendu K. Lahiri, 2004

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Shuvendu K. Lahiri, 2004

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Gerard J. Holzmann (auth.), 2011

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Gerard J. Holzmann (auth.), 2011

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Giorgio Bacci, 2013

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Erika Ábrahám, 2014

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Christel Baier, 2015

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Marsha Chechik, 2016

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Randal E. Bryant (auth.), 1998

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’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

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’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

Jeff Kramer, 1999

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’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

Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’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

Jeff Kramer, 1999

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Pierre Wolper, 2000

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Pierre Wolper, 2000

PDF

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Moshe Y. Vardi (auth.), 2001

DJVU

Twistor Geometry and Non-Linear Systems: Review Lectures given at the 4th Bulgarian Summer School on Mathematical Problems of Quantum Field Theory, Held at Primorsko, Bulgaria, September 1980

Twistor Geometry and Non-Linear Systems: Review Lectures given at the 4th Bulgarian Summer School on Mathematical Problems of Quantum Field Theory, Held at Primorsko, Bulgaria, September 1980

S. G. Gindikin (auth.), 1982

PDF

Twistor Geometry and Non-Linear Systems: Review Lectures given at the 4th Bulgarian Summer School on Mathematical Problems of Quantum Field Theory, Held at Primorsko, Bulgaria, September 1980

Twistor Geometry and Non-Linear Systems: Review Lectures given at the 4th Bulgarian Summer School on Mathematical Problems of Quantum Field Theory, Held at Primorsko, Bulgaria, September 1980

S. G. Gindikin (auth.), 1982

PDF

Advances in X-Ray Analysis: Volume 9 Proceedings of the Fourteenth Annual Conference on Applications of X-Ray Analysis Held August 25–27, 1965

Advances in X-Ray Analysis: Volume 9 Proceedings of the Fourteenth Annual Conference on Applications of X-Ray Analysis Held August 25–27, 1965

F. W. Young Jr., 1966

PDF

Bubble Dynamics and Interface Phenomena: Proceedings of an IUTAM Symposium held in Birmingham, U.K., 6–9 September 1993

Bubble Dynamics and Interface Phenomena: Proceedings of an IUTAM Symposium held in Birmingham, U.K., 6–9 September 1993

Andrea Prosperetti (auth.), 1994

PDF

Atmospheric Physics from Spacelab: Proceedings of the 11th ESLAB Symposium, Organized by the Space Science Department of the European Space Agency, Held at Frascati, Italy, 11–14 May 1976

Atmospheric Physics from Spacelab: Proceedings of the 11th ESLAB Symposium, Organized by the Space Science Department of the European Space Agency, Held at Frascati, Italy, 11–14 May 1976

L. Thomas (auth.), 1976

PDF

The Codex Judas Papers: Proceedings of the International Congress on the Tchacos Codex held at Rice University, Houston, Texas, March 13–16, 2008

The Codex Judas Papers: Proceedings of the International Congress on the Tchacos Codex held at Rice University, Houston, Texas, March 13–16, 2008

April D. DeConick, 2009

PDF

Cell-Associated Water. Proceedings of a Workshop on Cell-Associated Water Held in Boston, Massachusetts, September, 1976

Cell-Associated Water. Proceedings of a Workshop on Cell-Associated Water Held in Boston, Massachusetts, September, 1976

W. Drost-Hansen, 1979

PDF

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

Sergey Balandin, 2009

PDF

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

Sergey Balandin, 2009

PDF

IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales: Proceedings of the IUTAM Symposium held in Hong Kong, China, 31 May–4 June, 2004

IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-Scales: Proceedings of the IUTAM Symposium held in Hong Kong, China, 31 May–4 June, 2004

Biao Wang, 2006

PDF

Algebraic Geometry: Proceedings of the International Conference on Algebraic Geometry Held at La Rábida, Spain, January 7–15, 1981

Algebraic Geometry: Proceedings of the International Conference on Algebraic Geometry Held at La Rábida, Spain, January 7–15, 1981

J. L. Brylinski (auth.), 1982

|< ۱۴۷ ۱۴۸ ۱۴۹ ۱۵۰ ۱۵۱ ۱۵۲ ۱۵۳ ۱۵۴ ۱۵۵ ۱۵۶ ۱۵۷ >|

دانلود کتاب | کتاب ها | نرم افزارهای مفید

کتابکو چگونه کار می کند | درخواست حذف اثر | راهنمای کسب امتیاز | سیاست حفظ حریم خصوصی | سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو) | ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.