Ditapis dengan
Security in Pervasive Computing
Invited Talk (Abstract) -- Pervasive Computing – A Case for the Precautionary Principle? -- Session 1: Smart Devices and Applications -- TENeT: A Framework for Distributed Smartcards -- P2P Digital Value Fair Trading System Using Smart Cards -- “Devices Are People Too” Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example -- Invited Talk …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320043
- Deskripsi Fisik
- XI, 239 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Invited Talks -- New Directions in PVM/Harness Research -- Towards a Productive MPI Environment -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Suppo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319436
- Deskripsi Fisik
- XVIII, 550 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Innovations in Classification, Data Science, and Information Systems
Discrimination and Clustering -- Probability Models and Statistical Methods -- Pattern Recognition and Computational Learning -- Time Series Analysis -- Marketing, Retailing, and Marketing Research -- Finance, Capital Markets, and Risk Management -- Production, Logistics, and Controlling -- Medicine and Health Services.
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540269816
- Deskripsi Fisik
- XII, 616 p. 143 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Graphs, Networks and Algorithms
Basic Graph Theory -- Algorithms and Complexity -- Shortest Paths -- Spanning Trees -- The Greedy Algorithm -- Flows -- Combinatorial Applications -- Connectivity and Depth First Search -- Colorings -- Circulations -- The Network Simplex Algorithm -- Synthesis of Networks -- Matchings -- Weighted matchings -- A Hard Problem: The TSP.From the reviews of the first edition: ".... The book is a fir…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540269083
- Deskripsi Fisik
- XVI, 612 p. 195 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Functional Molecular Nanostructures
M. Schmittel, V. Kalsani: Functional, Discrete, Nanoscale Supramolecular Assemblies -- C. M. Drain, I. Goldberg, I. Sylvain, A. Falber: Synthesis and Applications of Supramolecular Porphyrinic Materials -- M.A. B. Bloc, C. Kaiser, A. Khan, S. Hecht: Discrete Organic Nanotubes Based on a Combination of Covalent and Non-Covalent Approaches -- A. D. Schlüter: A Covalent Chemistry Approach to G…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314745
- Deskripsi Fisik
- X, 327 p. 101 illus., 21 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
An Introduction to Queueing Theory and Matrix-Analytic Methods
Queues: The Art of Modelling -- Markov Chains and Queues in Discrete Time -- Homogeneous Markov Processes on Discrete State Spaces -- Markovian Queues in Continuous Time -- Markovian Queueing Networks -- Renewal Theory -- Markov Renewal Theory -- Semi-Markovian Queues -- Phase-Type Distributions -- Markovian Arrival Processes -- The GI/PH/1 Queue -- The BMAP/G/1 Queue -- Discrete Time Approache…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402036316
- Deskripsi Fisik
- XIV, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Professional Knowledge Management
Keynote Contributions -- Intelligent Office Appliances (IOA) -- Learning Software Organizations (LSO) -- Learner-Oriented Knowledge Management and KM-Oriented E-Learning (LOKMOL) -- Peer-to-Peer and Agent Infrastructures for Knowledge Management (PAIKM) -- Knowledge Intensive Business Processes (KiBP) -- German Workshop on Experience Management (GWEM) -- Knowledge Management in Medicine (KMM) -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316206
- Deskripsi Fisik
- XXIII, 739 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed and Parallel Systems
Grid Systems -- Glogin - Interactive Connectivity for the Grid -- Parallel Program Execution Support in the Jgrid System -- VL-E: Approaches to Design a Grid-Based Virtual Laboratory -- Scheduling and Resource Brokering within the Grid Visualization Kernel -- Cluster Technology -- Message Passing vs. Virtual Shared Memory A Performance Comparison -- MPI-I/O with a Shared File Pointer Using a Pa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387230962
- Deskripsi Fisik
- XI, 211 p. 48 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Security - ESORICS 2005
Computerized Voting Machines: A View from the Trenches -- XML Access Control with Policy Matching Tree -- Semantic Access Control Model: A Formal Specification -- A Generic XACML Based Declarative Authorization Scheme for Java -- Specification and Validation of Authorisation Constraints Using UML and OCL -- Unified Index for Mobile Object Data and Authorizations -- On Obligations -- A Practical…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319818
- Deskripsi Fisik
- XII, 516 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mechanizing Mathematical Reasoning
A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI and Politics -- Logic and Deduction -- Some Reflections on Proof Transformations -- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation -- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective -- Temporal Dynamics of Support…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322542
- Deskripsi Fisik
- X, 570 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah