Logics for Computer Science عنوان فارسی: منطق علوم کامپیوتر نویسنده(گان): Arindama Singh سال انتشار: 2003 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings عنوان فارسی: اندازه گیری، مدلسازی و ارزیابی سیستم های رایانه و اعتماد و اطمینان و تحمل خطا: 15 GI بین المللی / ITG کنفرانس، MMB نویسنده(گان): Philip Koopman, Justin Ray (auth.), Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (eds.) سال انتشار: 2010 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Introduction to Formal Language Theory عنوان فارسی: مقدمه ای بر نظریه زبان رسمی نویسنده(گان): Michael A. Harrison سال انتشار: 1978 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Simply SCHEME: introducing computer science عنوان فارسی: به سادگی طرح: معرفی علوم کامپیوتر نویسنده(گان): Brian Harvey, Matthew Wright, Harold Abelson سال انتشار: 1994 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Categories and computer science عنوان فارسی: دسته بندی ها و علوم کامپیوتر نویسنده(گان): R. F. C. Walters سال انتشار: 1992 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Linear logic in computer science عنوان فارسی: منطق خطی در علوم کامپیوتر نویسنده(گان): Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott سال انتشار: 2004 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project (McGraw-Hill advanced computer science series) عنوان فارسی: نرم افزار هوش مصنوعی برای شیمی آلی: (کامپیوتر و جوی پیشرفته سری علم مک هیل) Dendral پروژه نویسنده(گان): Robert K. Lindsay, etc. سال انتشار: 1980 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Introduction to formal language theory عنوان فارسی: مقدمه ای بر نظریه زبان رسمی نویسنده(گان): Michael A. Harrison سال انتشار: 1978 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Programming from First Principles (Prentice-Hall International series in computer science) عنوان فارسی: برنامه نویسی را از اصول اولیه (پرنتیس هال سری بین المللی در علوم کامپیوتر) نویسنده(گان): Richard Bornat سال انتشار: 1986 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Theoretical Computer Science: Essays in Memory of Shimon Even عنوان فارسی: علم نظری کامپیوتر: مقالاتی در حافظه شیمون حتی نویسنده(گان): Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum (auth.), Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (eds.) سال انتشار: 2006 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
The Vienna Development Method: The Meta-Language عنوان فارسی: روش توسعه وین: متا زبان نویسنده(گان): Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.) سال انتشار: 1978 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Logic for computer science: foundations of automatic theorem proving عنوان فارسی: منطق برای علم کامپیوتر: پایه های اثبات قضیه به صورت خودکار نویسنده(گان): Jean H. Gallier سال انتشار: 1986 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Selected papers on computer science عنوان فارسی: مقالات انتخاب شده در علم کامپیوتر نویسنده(گان): Donald E. Knuth سال انتشار: 2004 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Logic in computer science: modelling and reasoning about systems عنوان فارسی: منطق در علوم رایانه: مدل سازی و استدلال در مورد سیستم نویسنده(گان): Michael Huth, Mark Ryan, M. Huth, M. Ryan سال انتشار: 1999 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Foundations of computer science عنوان فارسی: پایه های علم کامپیوتر نویسنده(گان): Alfred V. Aho, Jeffrey D. Ullman سال انتشار: 1995 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Logic in computer science: modelling and reasoning about systems عنوان فارسی: منطق در علوم رایانه: مدل سازی و استدلال در مورد سیستم نویسنده(گان): Michael Huth, Mark Ryan سال انتشار: 2004 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Schaum's outline of principles of computer science عنوان فارسی: طرح Schaum از اصول علوم کامپیوتر نویسنده(گان): Paul Tymann, Carl Reynolds سال انتشار: 2008 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
Digital signal processing: a computer science perspective عنوان فارسی: پردازش سیگنال های دیجیتال: دیدگاه علوم رایانه نویسنده(گان): Stein J.Y. سال انتشار: 2000 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات
The computer science of TeX and LaTeX عنوان فارسی: علوم کامپیوتر از تک و لاتک نویسنده(گان): Eijkhout V. سال انتشار: 2004 دسته بندی: کامپیوتر، سخنرانی ها، جزوه و مقالات