Livres sur le sujet « Algebraic automata theory »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Algebraic automata theory ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
Bolesław, Mikołajczak, dir. Algebraic and structural automata theory. Amsterdam : North-Holland Pub. Co., 1991.
Trouver le texte intégralItÕo, Masami. Algebraic theory of automata and languages. Singapore : World Scientific, 2005.
Trouver le texte intégralAlgebraic theory of automata and languages. River Edge, N.J : World Scientific, 2004.
Trouver le texte intégralAlgebraic theory of automata networks : An introduction. Philadelphia, PA : Society for Industrial and Applied Mathematics, 2005.
Trouver le texte intégralJa, Greenglaz L., et Gvaramija, dir. Algebraic structures in automata and databases theory. Singapore : World Scientific, 1992.
Trouver le texte intégralB, Kudri︠a︡vt︠s︡ev V., Rosenberg I. G. 1939-, Goldstein Martin et NATO Public Diplomacy Division, dir. Structural theory of automata, semigroups, and universal algebra. Dordrecht : Springer, 2005.
Trouver le texte intégralM, Delorme, et Mazoyer J, dir. Cellular automata : A parallel model. Dordrecht : Kluwer Academic Publishers, 1999.
Trouver le texte intégralGraph algebras and automata. New York : Marcel Dekker, 2003.
Trouver le texte intégralArgentina) Luis Santaló Winter School-CIMPA Research School Topics in Noncommutative Geometry (3rd 2010 Buenos Aires. Topics in noncommutative geometry : Third Luis Santaló Winter School-CIMPA Research School Topics in Noncommutative Geometry, Universidad de Buenos Aires, Buenos Aires, Argentina, July 26-August 6, 2010. Sous la direction de Cortiñas, Guillermo, editor of compilation. Providence, RI : American Mathematical Society, 2012.
Trouver le texte intégralJiří, Adámek. Automata and algebras in categories. Dordrecht : Kluwer Academic Publishers, 1990.
Trouver le texte intégralauthor, Kohlas Jürg 1939, dir. Generic Inference : A Unifying Theory for Automated Reasoning. Hoboken, New Jersey : Wiley, 2011.
Trouver le texte intégralKuich, Werner. Semirings, Automata, Languages. Berlin, Heidelberg : Springer Berlin Heidelberg, 1986.
Trouver le texte intégralResolution proof systems : An algebraic theory. Dordrecht : Kluwer Academic Publishers, 1996.
Trouver le texte intégralStachniak, Zbigniew. Resolution Proof Systems : An Algebraic Theory. Dordrecht : Springer Netherlands, 1996.
Trouver le texte intégralSeslavin, Andrey. Theory of automatic control. Linear, continuous systems. ru : INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1014654.
Texte intégral1935-, Peetre Jaak, et Penjam Jaan 1955-, dir. Semigroups and automata : Selecta, Uno Kaljulaid (1941-1999). Amsterdam : IOS, 2006.
Trouver le texte intégralBüchi, J. Richard. Finite automata, their algebras and grammars : Towards a theory of formal expressions. Sous la direction de Siefkes Dirk. New York : Springer-Verlag, 1989.
Trouver le texte intégralMyasnikov, Alexei G. Non-commutative cryptography and complexity of group-theoretic problems. Providence, R.I : American Mathematical Society, 2011.
Trouver le texte intégralInternational Conference on Cellular Automata for Research and Industry (4th 2000 Karlsruhe, Germany). Theory and practical issues on cellular automata : Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe, 4-6 October 2000. London : Springer, 2001.
Trouver le texte intégralMcCune, W. Automated deduction in equational logic and cubic curves. Berlin : Springer, 1996.
Trouver le texte intégralDavid, Hutchison. Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Trouver le texte intégral1956-, Kerber Manfred, et Kohlhase Michael 1964-, dir. Symbolic computation and automated reasoning : The CALCULEMUS-2000 Symposium. Natick, Mass : A K Peters, 2001.
Trouver le texte intégralKaiser, Łukasz. Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions. Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Trouver le texte intégralMilnor, John W. Dynamical systems (1984-2012). Sous la direction de Bonifant Araceli 1963-. Providence, Rhode Island : American Mathematical Society, 2014.
Trouver le texte intégralder, Veen Alle-Jan van, dir. Time-varying systems and computations. Boston : Kluwer Academic Publishers, 1998.
Trouver le texte intégralCommunication complexity : A new approach to circuit depth. Cambridge, Mass : MIT Press, 1989.
Trouver le texte intégralWen-tsün, Wu. Mechanical theorem proving in geometries : Basic principles. Wien : Springer-Verlag, 1994.
Trouver le texte intégralBibel, Wolfgang. Automated Deduction - A Basis for Applications : Volume III Applications. Dordrecht : Springer Netherlands, 1998.
Trouver le texte intégralKamareddine, Fairouz D. Thirty Five Years of Automating Mathematics. Dordrecht : Springer Netherlands, 2003.
Trouver le texte intégralBibel, Wolfgang. Automated Deduction - A Basis for Applications : Volume II : Systems and Implementation Techniques. Dordrecht : Springer Netherlands, 1998.
Trouver le texte intégralW, Vaandrager Frits, et SpringerLink (Online service), dir. Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Trouver le texte intégralD'Agostino, Marcello. Handbook of Tableau Methods. Dordrecht : Springer Netherlands, 1999.
Trouver le texte intégralHenri, Cohen, et Frey Gerhard 1944-, dir. Handbook of elliptic and hyperelliptic curve cryptography. Boca Raton, FL : Taylor and Francis, 2005.
Trouver le texte intégralDavid, Hutchison. Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Trouver le texte intégralVan Landingham, Hugh F., 1935-, dir. Algorithms for computer-aided design of multivariable control systems. New York : M. Dekker, 1993.
Trouver le texte intégralHolcombe, M. Algebraic Automata Theory. Cambridge University Press, 2009.
Trouver le texte intégralHolcombe, M. Algebraic Automata Theory. Cambridge University Press, 2011.
Trouver le texte intégralGinzburg, Abraham, et Robert L. Ashenhurst. Algebraic Theory of Automata. Elsevier Science & Technology Books, 2014.
Trouver le texte intégralAlgebraic and Structural Automata Theory. Elsevier, 1991. http://dx.doi.org/10.1016/s0167-5060(08)x7001-3.
Texte intégralMikolajczak, B. Algebraic and Structural Automata Theory. Elsevier Science & Technology Books, 1991.
Trouver le texte intégralGreenglaz, L. Ja, et B. I. Plotkin. Algebraic Structures in Automata and Database Theory. World Scientific Publishing Company, 1993.
Trouver le texte intégralHolcombe, M. Algebraic Automata Theory (Cambridge Studies in Advanced Mathematics). Cambridge University Press, 2004.
Trouver le texte intégralMazoyer, J., et M. Delorme. Cellular Automata : A Parallel Model. Springer, 2013.
Trouver le texte intégralCellular Automata : A Parallel Model. Springer, 2010.
Trouver le texte intégral(Editor), M. Delorme, et J. Mazoyer (Editor), dir. Cellular Automata : A Parallel Model (Mathematics and Its Applications). Springer, 1998.
Trouver le texte intégral(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) et Ivo G. Rosenberg (Editor), dir. Structural Theory of Automata, Semigroups, and Universal Algebra : Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003 (NATO Science Series II : Mathematics, Physics and Chemistry, Vol. 207). Springer, 2005.
Trouver le texte intégralDõmõsi, Pál, et Chrystopher L. Nehaniv. Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11) (Monographs on Discrete Mathematics and Applications). SIAM : Society for Industrial and Applied Mathematics, 2004.
Trouver le texte intégralCategories as a basis for algebraic automaton theory. 1985.
Trouver le texte intégralCategories as a basis for algebraic automaton theory. 1985.
Trouver le texte intégral(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) et Ivo G. Rosenberg (Editor), dir. Structural Theory of Automata, Semigroups, and Universal Algebra : Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups ... II : Mathematics, Physics and Chemistry). Springer, 2005.
Trouver le texte intégral