Computable Models عنوان فارسی: مدل های محاسبه نویسنده(گان): Raymond Turner سال انتشار: 2009 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics عنوان فارسی: هندبوک علم کامپیوتر نظری. نویسنده(گان): Jan van Leeuwen (ed.) سال انتشار: 1990 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity عنوان فارسی: هندبوک علم کامپیوتر نظری. نویسنده(گان): Jan van Leeuwen (ed.) سال انتشار: 1990 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Data Networks عنوان فارسی: شبکه های داده نویسنده(گان): Dimitri Bertsekas, Robert Gallager سال انتشار: 1987 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Concurrency Verification: Introduction to Compositional and Non-compositional Methods عنوان فارسی: همزمانی امنیتی: مقدمه ترکیبی و روش های غیر ترکیبی نویسنده(گان): Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers سال انتشار: 2001 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Automata and Computability عنوان فارسی: ماشین آلات و محاسبهپذیری نویسنده(گان): Dexter C. Kozen سال انتشار: 1977 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Data Structures and Algorithms 1: Sorting and Searching عنوان فارسی: ساختمان داده ها و الگوریتم ها 1: مرتب سازی و جستجو نویسنده(گان): Kurt Mehlhorn سال انتشار: 1984 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Fundamentals of Parameterized Complexity عنوان فارسی: اصول پیچیدگی پارامتر نویسنده(گان): Rodney G. Downey, Michael R. Fellows سال انتشار: 2013 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Verification of Reactive Systems: Formal Methods and Algorithms عنوان فارسی: تایید سیستم های واکنشگر: روش های رسمی و الگوریتم نویسنده(گان): Klaus Schneider سال انتشار: 2004 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics عنوان فارسی: اصول مشخصات 1 جبری: معادلات و معناشناسی اولیه نویسنده(گان): Hartmut Ehrig, Bernd Mahr سال انتشار: 1985 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints عنوان فارسی: اصول مشخصات جبری 2: مشخصات ماژول و محدودیت نویسنده(گان): Hartmut Ehrig, Bernd Mahr سال انتشار: 1990 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use عنوان فارسی: شبکه پتری رنگی: مفاهیم اساسی، روش تجزیه و تحلیل و استفاده عملی نویسنده(گان): Kurt Jensen سال انتشار: 1997 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors عنوان فارسی: نظریه ی کاربردی از سیستم های واکنشگر: مدل سازی افزایشی رفتارهای پویا نویسنده(گان): Reino Kurki-Suonio سال انتشار: 2005 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” عنوان فارسی: پارادایم کلاسیک و جدید از محاسبات و سلسله مراتب پیچیدگی خود را: مقالات این کنفرانس "مبانی رسمی علوم III" نویسنده(گان): Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.) سال انتشار: 2004 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Error-Free Polynomial Matrix Computations عنوان فارسی: خطا رایگان چند جمله ای ماتریس محاسبات نویسنده(گان): E. V. Krishnamurthy سال انتشار: 1985 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Verification of Reactive Systems: Formal Methods and Algorithms عنوان فارسی: تایید سیستم های واکنشگر: روش های رسمی و الگوریتم نویسنده(گان): Klaus Schneider سال انتشار: 2004 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use عنوان فارسی: شبکه پتری رنگی: مفاهیم اساسی، روش تجزیه و تحلیل و استفاده عملی نویسنده(گان): Kurt Jensen سال انتشار: 1996 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks عنوان فارسی: مدل های موازی عظیم: تجزیه و تحلیل شبکه های سلولی ماشین آلات و عصبی نویسنده(گان): Max Garzon سال انتشار: 1995 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Structural Complexity I عنوان فارسی: سازه پیچیدگی من نویسنده(گان): José Luis Balcázar, Josep Díaz, Joaquim Gabarró سال انتشار: 1995 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده
Information and Randomness: An Algorithmic Perspective عنوان فارسی: اطلاعات و اتفاقی: یک دیدگاه الگوریتمی نویسنده(گان): Cristian Calude سال انتشار: 1994 دسته بندی: ریاضیات، الگوریتم ها و ساختمان داده