Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Affiner votre recherche

Votre recherche a retourné 180 résultats.

Basic simple type theory par Hindley, James Roger, Publication : Cambridge [et cetera] Cambridge University Press. 1997 . XI, 186 pages 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Domains and lambda-calculi par Amadio, Roberto M. Publication : Cambridge, U.K. | New York Cambridge University Press 1998 . 1 volumes (XVI-484 pages) , Terms covering use: Ouvrage. | Informations sur l'éditeur. 24 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Semantic techniques in quantum computation   Publication : Cambridge | New York Cambridge University Press 2010 . xiv, 478 pages , "The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher. | "The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters fromleading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher. 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Theories of programming languages par Reynolds, John C. Publication : Cambridge | New York Cambridge University Press 1998 . xii, 500 pages , Digitally printed version. Originally published: 1998. 25 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Transitions and trees an introduction to structural operational semantics par Hüttel, Hans. Publication : Cambridge | New York Cambridge University Press 2010 . xvii, 272 pages 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Types and programming languages par Pierce,, Benjamin C. Publication : [S.l.] The MIT Press 2002 . 645 p. , A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. 24 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java / par Buchanan, William. Publication : . 1 online resource (xiv, 674 pages) : , Includes index. Disponibilité :  http://www.sciencedirect.com/science/book/9780340700143,

Ajouter au panier
Learn Cocoa on the Mac par Nutting, Jack. Publication : . XVIII, 424 p. 182 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-4543-8,

Ajouter au panier
Learn Lua for iOS Game Development par Varma, Jayant. Publication : . XXIX, 416 p. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-4663-3,

Ajouter au panier
Cryptography in C and C++ par Welschenbach, Michael. Publication : . XXV, 504 p. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-5099-9,

Ajouter au panier
Learn Java for Android Development par Friesen, Jeff. Publication : . XXVI, 780 p. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-5723-3,

Ajouter au panier
Objective-C Programmer’s Reference par Oliveira, Carlos. Publication : . XXIII, 396 p. 22 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-5906-0,

Ajouter au panier
Node.js Recipes par Gackenheimer, Cory. Publication : . XXIII, 376 p. 28 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-6059-2,

Ajouter au panier
TouchDevelop: Programming on the Go par Horspool, R. Nigel. Publication : . XIX, 270 p. 69 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-6137-7,

Ajouter au panier
Beginning Haskell A Project-Based Approach / par Mena, Alejandro Serrano. Publication : . XX, 428 p. 44 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-6251-0,

Ajouter au panier
HL7 for BizTalk par Edidin, Howard. Publication : . XIII, 208 p. 98 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-6763-8,

Ajouter au panier
Pro TypeScript Application-Scale JavaScript Development / par Fenton, Steve. Publication : . XXII, 248 p. 86 illus. Disponibilité :  http://dx.doi.org/10.1007/978-1-4302-6790-4,

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