Ditapis dengan
Principles and Practice of Constraint Programming - CP 2005
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320500
- Deskripsi Fisik
- XX, 888 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Practical Theory of Reactive Systems
Prologue -- Components of a Theory -- Fundamentals -- Towards an Action Language -- Formal Properties of Behaviors -- Proving Behavioral Properties -- Building a Practical Theory -- Basic Language Facilities -- Fundamentals of Design Methodology -- Object Orientation Elaborated -- Components and Interfaces -- Distributed and Real-Time Systems -- Distributed Systems -- Real Time -- Epilogue -- R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540273486
- Deskripsi Fisik
- XXI, 420 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Practical Aspects of Declarative Languages
Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305576
- Deskripsi Fisik
- VIII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Perspectives in Conceptual Modeling
First International Workshop on Best Practices of UML (BP-UML 2005) -- Preface to BP-UML 2005 -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams -- Utilizing a Multimedia UML Framework for an Image Database Application -- Model Evaluation and Requirements Modeling -- Obje…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322399
- Deskripsi Fisik
- XXII, 480 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Peer-to-Peer Systems IV
Workshop Report -- Workshop Report -- Security and Incentives -- A Self-repairing Peer-to-Peer System Resilient to Dynamic Adversarial Churn -- A First Look at Peer-to-Peer Worms: Threats and Defenses -- A Taxonomy of Rational Attacks -- Search -- Brushwood: Distributed Trees in Peer-to-Peer Systems -- Arpeggio: Metadata Searching and Content Sharing with Chord -- OverCite: A Cooperative Dig…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319061
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Peer-to-Peer Systems III
Workshop Report for the 3rd International Workshop on Peer-to-Peer Systems (IPTPS 2004) -- Workshop Report for the 3rd International Workshop on Peer-to-Peer Systems (IPTPS 2004) -- I Miscellaneous -- A Practical Distributed Mutual Exclusion Protocol in Dynamic Peer-to-Peer Systems -- On the Cost of Participating in a Peer-to-Peer Network -- 2 P2P or Not 2 P2P? -- II Networking -- On Transport …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301837
- Deskripsi Fisik
- XII, 308 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Peer-to-Peer Systems and Applications
1. Introduction -- 1. Introduction -- I. Peer-to-Peer: Notion, Areas, History and Future -- 2. What Is This “Peer-to-Peer” About? -- 3. Past and Future -- 4. Application Areas -- II. Unstructured Peer-to-Peer Systems -- 5. First and Second Generation of Peer-to-Peer Systems -- 6. Random Graphs, Small-Worlds and Scale-Free Networks -- III. Structured Peer-to-Peer Systems -- 7. Distributed Ha…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320470
- Deskripsi Fisik
- XXVIII, 632 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel Computing Technologies
On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event Structures -- Similarity of Generalized Resources in Petri Nets -- Real-Time Event Structures and Scott Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes -- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects -- An Approach to the Im…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318262
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
Workshop 1: International Workshop on Applications and Economics of Peer-to-Peer Systems (AEPP 2005) -- Aurelia: Building Locality-Preserving Overlay Network over Heterogeneous P2P Environments -- On Building and Updating Distributed LSI for P2P Systems -- Performing Efficient Keyword Search by Keyword Grouping in DHT Peer-to-Peer Network -- Characterization of P2P File-Sharing System -- Analys…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540321156
- Deskripsi Fisik
- XX, 672 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel and Distributed Processing and Applications
Keynote Speech -- Session 1A: Parallel Algorithms and Systems I -- Session 1B: Data Mining and Management -- Session 1C: Distributed Algorithms and Systems -- Session 2A: Fault Tolerance Protocols and Systems -- Session 2B: Sensor Networks and Protocols -- Session 2C: Cluster Systems and Applications -- Session 3A: Parallel Algorithms and Systems II -- Session 3B: Grid Applications and Systems …
- Edisi
- 1st ed. 2
- ISBN/ISSN
- 9783540305668
- Deskripsi Fisik
- XXIV, 1058 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