|
|
 |
| Результат поиска |
Поиск книг, содержащих: Initial state
| Книга | Страницы для поиска | | Уэйкерли Дж.Ф. — Проектирование цифровых устройств (том 1) | 661 | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 31.B | | Chagrov A., Zakharyaschev M. — Modal logic | 493 | | Fishman G.S. — Monte Carlo: concepts, algorithms, and applications | 494, 513—515, 580 | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | See State | | Gross H.G. — Component-Based Software Testing with UML | 41, 43, 134 | | Levine J.R., Manson T., Brown D. — Lex & Yacc | 149, 172 | | Dill K.A., Bromberg S. — Molecular Driving Forces: Statistical Thermodynamics in Chemistry and Biology | 236 | | Deitel H.M. — C++ How to Program | | | Engel K.-J., Nagel R. — One-Parameter Semigroups for Linear Evolution Equations | 452 | | Ito M. — Algebraic Theory of Automata and Languages | 85 | | Allouche J.-P., Shallit J. — Automatic Sequences: Theory, Applications, Generalizations | 128 | | Kowalski R. — Logic for problem solving | 75 | | 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 matter | 82 | | Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation | see “Start state” | | Ito K. — Encyclopedic Dictionary of Mathematics | 31.B | | Staffans O. — Well-Posed Linear Systems | 41, 70, 360 | | Monk J.D. — Mathematical Logic | 15 | | Hein J.L. — Discrete Structures, Logic, and Computability | 585 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 113, 168, 224 | | Kenzel W., Reents G., Clajus M. — Physics by Computer | see state, initial | | Вraker J.G. — Algorithms and applications in timed discrete event systems | 18 | | Hazewinkel M. — Handbook of Algebra (part 2) | 138 | | Hein J.L. — Theory of Computation: An Introduction | 268 | | Hughes C., Hughes T. — Professional Multicore Programming: Design and Implementation for C++ Developers | 367 | | Arbib M.A., Manes E.G. — Arrows structures and functors. The categorical imperative | 93 | | Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 56—57, 66, 131, 181 | | Seymour L. — Schaum's Outline of Theory and Problems of Discrete Math | 408, 419 | | Brewer J.W., Bunce J.W., Vleck F.S. — Linear systems over commutative rings | 49 | | Schremmer A. — Reasonable basic algebra | 59 | | Dolev S. — Self-Stabilization | 1 | | Courant R., John F. — Introduction to Calculus and Analysis. Volume 1 | 634 | | Amrein W.O., Sinha K.B., Jauch J.M. — Scattering Theory in Quantum Mechanics: Physical Principles and Mathematical Methods | 137, 156, 278—287 | | Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 17, 110, 272 (see also Start state) | | Eilenberg S. — Automata, languages, and machines. Volume A | 12 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 113, 168, 224 | | Hinman P.G. — Fundamentals of Mathematical Logic | 438 | | Lipschutz S., Lipson M.L. — Schaum's outline of theory and problems of discrete mathematics | 408, 419 | | Intriligator M.D. — Mathematical optimization and economic theory | 294 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 455, 457, 458, 461, 469, 475, 476, 479, 484, 488, 507, 510, 517, 520 | | Farina J.E.G. — Quantum theory of scattering processes | 58, 62, 68, 86 | | Gill A. — Applied Algebra for the Computer Sciences | 215, 241, 260 | | Jacky J. — The Way of Z: Practical Programming with Formal Methods | 51—52, 123, 154, 322 | | Szepietowski A. — Turing Machines with Sublogarithmic Space | 8 | | Barnes D., Mack J. — An Algebraic Introduction to Mathematical Logic | 88 |
|
|
|
|
О проекте