Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Initial state

КнигаСтраницы для поиска
Уэйкерли Дж.Ф. — Проектирование цифровых устройств (том 1)661
Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 231.B
Chagrov A., Zakharyaschev M. — Modal logic493
Fishman G.S. — Monte Carlo: concepts, algorithms, and applications494, 513—515, 580
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and toolsSee State
Gross H.G. — Component-Based Software Testing with UML41, 43, 134
Levine J.R., Manson T., Brown D. — Lex & Yacc149, 172
Dill K.A., Bromberg S. — Molecular Driving Forces: Statistical Thermodynamics in Chemistry and Biology236
Deitel H.M. — C++ How to Program
Engel K.-J., Nagel R. — One-Parameter Semigroups for Linear Evolution Equations452
Ito M. — Algebraic Theory of Automata and Languages85
Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations128
Kowalski R. — Logic for problem solving75
Engel K.-J., Nagel R. — One-Parameter Semigroups for Linear Evolution Equations (preliminary version of 10 September 1998)440
Born M. — Natural philosophy of cause and chance (The Waynflete lectures)48
Feynman R.P. — QED, the strange theory of light and matter82
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computationsee “Start state”
Ito K. — Encyclopedic Dictionary of Mathematics31.B
Staffans O. — Well-Posed Linear Systems41, 70, 360
Monk J.D. — Mathematical Logic15
Hein J.L. — Discrete Structures, Logic, and Computability585
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing113, 168, 224
Kenzel W., Reents G., Clajus M. — Physics by Computersee state, initial
Вraker J.G. — Algorithms and applications in timed discrete event systems18
Hazewinkel M. — Handbook of Algebra (part 2)138
Hein J.L. — Theory of Computation: An Introduction268
Hughes C., Hughes T. — Professional Multicore Programming: Design and Implementation for C++ Developers367
Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative93
Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation56—57, 66, 131, 181
Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math408, 419
Brewer J.W., Bunce J.W., Vleck F.S. — Linear systems over commutative rings49
Schremmer A. — Reasonable basic algebra59
Dolev S. — Self-Stabilization1
Courant R., John F. — Introduction to Calculus and Analysis. Volume 1634
Amrein W.O., Sinha K.B., Jauch J.M. — Scattering Theory in Quantum Mechanics: Physical Principles and Mathematical Methods137, 156, 278—287
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation17, 110, 272 (see also Start state)
Eilenberg S. — Automata, languages, and machines. Volume A12
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling113, 168, 224
Hinman P.G. — Fundamentals of Mathematical Logic438
Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics408, 419
Intriligator M.D. — Mathematical optimization and economic theory294
Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics455, 457, 458, 461, 469, 475, 476, 479, 484, 488, 507, 510, 517, 520
Farina J.E.G. — Quantum theory of scattering processes58, 62, 68, 86
Gill A. — Applied Algebra for the Computer Sciences215, 241, 260
Jacky J. — The Way of Z: Practical Programming with Formal Methods51—52, 123, 154, 322
Szepietowski A. — Turing Machines with Sublogarithmic Space8
Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic88
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте