Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Affiner votre recherche

Votre recherche a retourné 29 résultats.

A second course in formal languages and automata theory par Shallit, Jeffrey Outlaw. Publication : Cambridge | New York Cambridge University Press 2009 . xi, 240 pages 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Computation engineering applied automata theory and logic par Gopalakrishnan, Ganesh. Publication : New York, NY Springer 2006 . xxxv, 471 pages 25 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Foundations of XML processing the tree-automata approach par Hosoya, Haruo, Publication : Cambridge | New York Cambridge University Press 2011 . xi, 226 pages , "This is the first book that provides a solid theoretical account of the foundation of the popular data format XML. Part I establishes basic concepts, starting with schemas, tree automata and pattern matching, and concluding with static typechecking for XML as a highlight of the book. In Part II, the author turns his attention to more advanced topics, including efficient 'on-the-fly' tree automata algorithms, path- and logic-based queries, tree transformation, and exact typechecking. The author provides many examples of code fragments to illustrate features, and exercises to enhance understanding. Thus the book will be ideal for students and researchers whether just beginning, or experienced in XML research"-- | "This is the first book to provide a solid theoretical account of the foundation of the popular data format XML. Part I establishes basic concepts, starting with schemas, tree automata, and pattern matching and concluding with static type checking for XML as a highlight of the book. In Part II the author turns his attention to more advanced topics, including efficient "on-the-fly" tree automata algorithms, path- and logic-based queries, tree transformation, and exact type checking. Many examples of code fragments illustrate XML features, and exercises are provided to enhance understanding. Thus the book should be very useful both for students and for XML researchers"-- 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Noncommutative rational series with applications par Berstel, Jean Publication : Cambridge | New York Cambridge University Press 2011 . xiii, 248 pages , "The algebraic theory of automata was created by Schützenberger and Chomsky over 50 years ago and there has since been a great deal of development. Classical work on the theory to noncommutative power series has been augmented more recently to areas such as representation theory, combinatorial mathematics and theoretical computer science. This book presents to an audience of graduate students and researchers a modern account of the subject and its applications. The algebraic approach allows the theory to be developed in a general form of wide applicability. For example, number-theoretic results can now be more fully explored, in addition to applications in automata theory, codes and non-commutative algebra. Much material, for example, Schützenberger's theorem on polynomially bounded rational series, appears here for the first time in book form. This is an excellent resource and reference for all those working in algebra, theoretical computer science and their areas of overlap"-- | "The algebraic theory of automata was created by Schützenberger and Chomsky over 50 years ago and there has since been a great deal of development. Classical work on the theory of noncommutative power series has been augmented more recently to areas such as representation theory, combinatorial mathematics and theoretical computer science. This book presents to an audience of graduate students and researchers a modern account of the subject and its applications. The algebraic approach allows the theory to be developed in a general form of wide applicability. For example, number theoretic results can now be more fully explored, in addition to applications in automata theory, codes and noncommutative algebra. Much material, for example, Schützenberger's theorem on polynomially bounded rational series, and results on semi simple algebras, appear here for the first time in book form. In sum, this is an excellent resource and reference for all those working in algebra, theoretical computer science and their areas of overlap"-- 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Theories of computability par Pippenger, Nicholas. Publication : Cambridge Cambridge University Press 1997 . 1 vol. (IX-251 p.) , Originally published: 1997. 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
CMOS IC layout : concepts, methodologies, and tools / par Clein, Dan, Publication : . 1 online resource (xix, 261 pages) : , Includes index. Disponibilité :  http://www.sciencedirect.com/science/book/9780750671941,

Ajouter au panier
Architecture and patterns for IT service management, resource planning, and governance : making shoes for the cobbler's children / par Betz, Charles T. Publication : . 1 online resource (xxix, 417 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780123705938,

Ajouter au panier
Magnetic information storage technology / par Wang, Shan X. Publication : . 1 online resource (xxxii, 536 pages) : , Includes index. Disponibilité :  http://www.sciencedirect.com/science/book/9780127345703,

Ajouter au panier
Computational complexity : a quantitative perspective / par Zimand, Marius. Publication : . 1 online resource (xii, 340 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780444828415,  http://www.sciencedirect.com/science/publication?issn=03040208&volume=196,

Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha