Sebastian Held | کتابکو

نتایج جستجو

برای Sebastian Held، صفحه ۱۳۴ از ۲۳۴ در بین ۵,۸۳۵ کتاب.

PDF

Probability Theory on Vector Spaces III: Proceedings of a Conference held in Lublin, Poland, August 24–31, 1983

Probability Theory on Vector Spaces III: Proceedings of a Conference held in Lublin, Poland, August 24–31, 1983

D. Borowski, 1984

DJVU

Quantum Probability and Applications to the Quantum Theory of Irreversible Processes: Proceedings of the International Workshop Held at Villa Mondrago

Quantum Probability and Applications to the Quantum Theory of Irreversible Processes: Proceedings of the International Workshop Held at Villa Mondrago

L. Accardi, 1984

PDF

Quantum Probability and Applications to the Quantum Theory of Irreversible Processes: Proceedings of the International Workshop held at Villa Mondragone, Italy, September 6–11, 1982

Quantum Probability and Applications to the Quantum Theory of Irreversible Processes: Proceedings of the International Workshop held at Villa Mondragone, Italy, September 6–11, 1982

Luigi Accardi (auth.), 1984

PDF

Systems Theory in Immunology: Proceedings of the Working Conference, Held in Rome, May 1978

Systems Theory in Immunology: Proceedings of the Working Conference, Held in Rome, May 1978

Göran Möller (auth.), 1979

PDF

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Stefan Kowalewski, 2009

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: 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

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

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

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

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

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