Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail d'une collection
Collection Computer Science
- Editeur : Springer
- ISSN : pas d'ISSN
Documents disponibles dans la collection
Faire une suggestion Affiner la rechercheSecure data management in decentralized systems / Yu Ting
Titre : Secure data management in decentralized systems Type de document : document électronique Auteurs : Yu Ting, Auteur ; Jajodia Sushil, Auteur Editeur : Berlin : Springer Année de publication : 2007 Collection : Computer Science num. ISSN 1568-2633 ; 33 ISBN/ISSN/EAN : 978-0-387-27696-0 Note générale : Origine de la notice : Springer Langues : Anglais (eng) Mots-clés : Computer Communication Networks
Data encryption (Computer science)
Data structures (Computer science)
Database management
Information storage and retrieval systems
Information systems
Computer Science
Computer Communication Networks
Data Encryption
Data Structures, Cryptology and Information Theory
Database Management
Information Storage and Retrieval
Information Systems Applications (incl.Internet)Index. décimale : 681.3.053 Problèmes de la conversion,du codage et du décodage. Résumé : Computer Science, Database Management, Data Structures, Cryptology and Information Theory, Data Encryption, Computer Communication Networks, Information Storage and Retrieval and Information Systems Applications Secure data management in decentralized systems [document électronique] / Yu Ting, Auteur ; Jajodia Sushil, Auteur . - Springer, 2007. - (Computer Science; ISSN 1568-2633 ; 33) .
ISBN : 978-0-387-27696-0
Origine de la notice : Springer
Langues : Anglais (eng)
Mots-clés : Computer Communication Networks
Data encryption (Computer science)
Data structures (Computer science)
Database management
Information storage and retrieval systems
Information systems
Computer Science
Computer Communication Networks
Data Encryption
Data Structures, Cryptology and Information Theory
Database Management
Information Storage and Retrieval
Information Systems Applications (incl.Internet)Index. décimale : 681.3.053 Problèmes de la conversion,du codage et du décodage. Résumé : Computer Science, Database Management, Data Structures, Cryptology and Information Theory, Data Encryption, Computer Communication Networks, Information Storage and Retrieval and Information Systems Applications Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00001 681.3.053 YU Ressources électroniques Bibliothèque Centrale Informatique Disponible E00002 681.3.053 YU Ressources électroniques Bibliothèque Centrale Informatique Disponible En bon état
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00007 681.3 LEE Ressources électroniques Bibliothèque Centrale Informatique Disponible E00008 681.3 LEE Ressources électroniques Bibliothèque Centrale Informatique Disponible En bon état
Titre : Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II Type de document : document électronique Auteurs : Yong Shi, Directeur de la recherche Editeur : Berlin : Springer Année de publication : 2007 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-72586-2 Langues : Français (fre) Mots-clés : ICCS(logiciel) Index. décimale : 681.3.06 Logiciels. Software Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II [document électronique] / Yong Shi, Directeur de la recherche . - Springer, 2007. - (Computer Science) .
ISBN : 978-3-540-72586-2
Langues : Français (fre)
Mots-clés : ICCS(logiciel) Index. décimale : 681.3.06 Logiciels. Software Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire CD00007 681.3.06 COM Papier Bibliothèque Centrale Informatique Disponible
Titre : Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings Type de document : document électronique Auteurs : asano Tetsuo, Auteur Editeur : Berlin : Springer Année de publication : 2006 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-49694-6 Langues : Anglais (eng) Mots-clés : Computer algorithms -- Congresses
Numerical calculations -- Data processing -- Congresses
Algorithmes -- Congrès
Calculs numériques -- Informatique -- CongrèsIndex. décimale : 681.3.06 Logiciels. Software Résumé : constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006.
The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings [document électronique] / asano Tetsuo, Auteur . - Springer, 2006. - (Computer Science) .
ISBN : 978-3-540-49694-6
Langues : Anglais (eng)
Mots-clés : Computer algorithms -- Congresses
Numerical calculations -- Data processing -- Congresses
Algorithmes -- Congrès
Calculs numériques -- Informatique -- CongrèsIndex. décimale : 681.3.06 Logiciels. Software Résumé : constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006.
The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00017 681.3.06 ALG Ressources électroniques Bibliothèque Centrale Informatique Disponible E00018 681.3.06 ALG Ressources électroniques Bibliothèque Centrale Informatique Disponible
Titre : Variations on constants : Flow Analysis of Sequential and Parallel Programs Type de document : document électronique Auteurs : Müller-Olm, Markus, Auteur Editeur : Berlin : Springer Année de publication : 2006 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-45385-7 Langues : Anglais (eng) Mots-clés : Programmation parallèle (informatique)
Analyse séquentielleIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.
This electronic resource, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study.
After a general overview, the electronic resource consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption.Variations on constants : Flow Analysis of Sequential and Parallel Programs [document électronique] / Müller-Olm, Markus, Auteur . - Springer, 2006. - (Computer Science) .
ISBN : 978-3-540-45385-7
Langues : Anglais (eng)
Mots-clés : Programmation parallèle (informatique)
Analyse séquentielleIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.
This electronic resource, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study.
After a general overview, the electronic resource consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00016 681.3 VAR Ressources électroniques Bibliothèque Centrale Informatique Disponible E00015 681.3 VAR Ressources électroniques Bibliothèque Centrale Informatique Disponible
Permalink
Permalink
Permalink
Permalink
Permalink
