Bibliothèque de L'IMIST/CNRST

Votre panier est vide.

Panier
Listes

Langues

Connexion à votre compte
Historique de recherche Effacer

IMIST

Ask A Librarian

Name: Phone No: Email: Comment:

Cancel

Chercher

Recherche avancée
Recherche d'autorités
Nuage de tags
Suggestions d'achat

Connexion à votre compte

Identifiant : Mot de passe :

Vous n'avez pas de compte ? Cliquer ici pour vous créer un compte.

Accueil ›
Résultats de recherche pour 'ccl=su:Computers / Networking / General'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Aggarwal,, Charu C. (1)
- Axelsson, Stefan (1)
- Cheng,, Maggie Xiaoy... (1)
- Du,, Ding-Zhu (1)
- Li,, Yingshu (1)
- Mahalik,, Nitaigour ... (1)
- Rutten, Jan (1)
- Sands, David (1)
- Sangiorgi, Davide (2)
- Afficher plus
- Afficher moins
Sites de rattachement
- La bibliothèque des sciences de l'ingénieur (6)
Types de document
- Livre (6)
Collection
- Advances in database... (1)
- Advances in informat... (1)
- Cambridge tracts in ... (1)
Sujets
- Bisimulation (2)
- Coinduction (Mathema... (2)
- Communications engin... (2)
- Computer Books: Gene... (4)
- Computer networking ... (3)
- Computer science (5)
- Computers (4)
- Computers / Hardware... (2)
- Computers / Networki... (4)
- COMPUTERS / Networki... (2)
- Computers / Programm... (2)
- Computing & informat... (3)
- Computing: Professio... (2)
- Electronics Engineer... (2)
- General Theory of Co... (2)
- Induction (Mathemati... (2)
- Information technolo... (2)
- Modality (Logic) (2)
- Networking - General (4)
- Technology & Enginee... (2)
- Afficher plus
- Afficher moins

Votre recherche a retourné 6 résultats.

Ne pas surligner Surligner

| |

		Advanced topics in bisimulation and coinduction Publication : Cambridge \| New York Cambridge University Press 2012 . xiii, 326 pages , "Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material"-- 24 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		An introduction to bisimulation and coinduction par Sangiorgi, Davide. Publication : Cambridge \| New York Cambridge University Press 2012 . xii, 247 pages , "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis"-- \| "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction, and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, nonwell- founded sets, etc"-- 25 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Combinatorial optimization in communication networks. Publication : [S.l.] : Springer, 2006 . 658 p. ; , Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks. The objective of this book is to advance and promote the theory and applications of combinatorial optimization in communication networks. Each chapter of the book is written by an expert dealing with theoretical, computational, or applied aspects of combinatorial optimization. Topics covered in the book include the combinatorial optimization problems arising in optical networks, wireless ad hoc networks, sensor networks, mobile communication systems, and satellite networks. A variety of problems are addressed using combinatorial optimization techniques, ranging from routing and resource allocation to QoS provisioning. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Data streams : models and algorithms. Publication : [S.l.] : Springer, 2006 . 358 p. ; , Data Streams: Models and Algorithms primarily discusses issues related to the mining aspects of data streams. Recent progress in hardware technology makes it possible for organizations to store and record large streams of transactional data. For example, even simple daily transactions such as using the credit card or phone result in automated data storage, which brings us to a fairly new topic called data streams. This volume covers mining aspects of data streams comprehensively: each contributed chapter contains a survey on the topic, the key ideas in the field for that particular topic, and future research directions. Data Streams: Models and Algorithms is intended for a professional audience composed of researchers and practitioners in industry. This book is also appropriate for advanced-level students in computer science. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Sensor networks and configuration : fundamentals, standards, platforms, and applications. Publication : [S.l.] : Springer, 2006 . 510 p. ; , Advances in networking influence many kinds of monitoring and control systems in the most dramatic way. Sensor network and configuration falls under the category of modern networking systems. Wireless Sensor Network (WSN) has emerged and caters to the need for real-world applications. Methodology and design of WSN represents a broad research topic with applications in many sectors such as industry, home, computing, agriculture, environment, and so on, based on the adoption of fundamental principles and the state-of-the-art technology. WSN has been preferred choice for the design and development of next generation monitoring and control systems. This book incorporates a selection of research and development papers. Its scope is on history and background, underlying design methodology, application domains and recent developments. The readers will be able to understand the underlying technology, philosophy, concepts, ideas, and principles, with regard to broader areas of sensor network. Aspects of sensor network in terms of basics, standardization, design process, practice, techniques, platforms, and experimental results have been presented in proper order. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Understanding intrusion detection through visualization / par Axelsson, Stefan. Publication : [S.l.] : Springer, 2005 . 145 p. ; , With the ever increasing use of computers for critical systems, computer security that protects data and computer systems from intentional, malicious intervention, continues to attract attention. Among the methods for defense, the application of a tool to help the operator identify ongoing or already perpetrated attacks (intrusion detection), has been the subject of considerable research in the past ten years. A key problem with current intrusion detection systems is the high number of false alarms they produce. Understanding Intrusion Detection through Visualization presents researchïɪħon why false alarms are, and will remain a problem; then appliesïɪħresults from the field of information visualization to the problem of intrusion detection. This approach promises to enable the operator to identify false (and true) alarms, while aiding the operator to identify other operational characteristics of intrusion detection systems. Thisïɪħvolume presents four different visualization approaches, mainly applied to data from web server access logs. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)

Vous ne trouvez pas ce que vous cherchez ?

Faites une suggestion d'achat

© 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