Ditapis dengan
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2004) -- Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts -- 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305545
- Deskripsi Fisik
- VIII, 215 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Reasoning with Analytic Tableaux and Related Methods
Invited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach -- Description Logics in Ontology Applications -- Automated Reasoning in the Context of the Semantic Web -- Formal Versus Rigorous Mathematics: How to Get Your Papers Published -- Research Papers -- Consistency of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase of M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318224
- Deskripsi Fisik
- XIV, 346 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Theories of Software Intensive Systems
Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams -- Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking and Theorem Proving -- Formalizing Counterexample-Driven Refinement with Weakest Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402035326
- Deskripsi Fisik
- X, 404 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
ECOOP 2005 - Object-Oriented Programming
Invited Talks -- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces in Java -- Efficiently Refactoring Java Applications to Use Generic Libraries -- Sharing the Runtime Representation of Classes Across Class Loaders -- Aspects and Modularity -- Aspect-Orien…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317258
- Deskripsi Fisik
- XVII, 631 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing and Internet Technology
Plenary Talk I -- The Distributed Sensor Networks – An Emerging Technology -- Distributed Computing -- Distribute Computing Track Chair’s Message -- Network Protcols -- Efficient Binding Lifetime Determination Schemes in HMIPv6 -- A Fast Search and Advanced Marking Scheme for Network IP Traceback Model -- Design and Performance Evaluation of Token-Based MAC Protocols in WDM Burst Switched R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324294
- Deskripsi Fisik
- XXII, 610 p. 243 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing and Internet Technology
Plenary Talk – I -- Taming the Dynamics of Disributed Data -- DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing Information Explosion -- Fair Leader Election by Randomized Voting -- An Efficient Leader Election Algorithm for Mobile Ad Hoc Networks -- Distributed Balanced Tables: A New Approach -- Performance Evaluation of Gigabit Ethernet and SCI in a Linux C…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305552
- Deskripsi Fisik
- XX, 474 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing – IWDC 2005
Keynote Talk I -- Distributed Coordination Algorithms for Mobile Robot Swarms: New Directions and Challenges -- Session I A: Theory -- Labeling Schemes for Tree Representation -- Single-Bit Messages Are Insufficient in the Presence of Duplication -- Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324287
- Deskripsi Fisik
- XXII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Computing -- IWDC 2004
Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Dist…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305361
- Deskripsi Fisik
- XIX, 546 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Applications and Interoperable Systems
Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Towards Real-Time Middleware for Applications of Vehicular Ad Hoc Networks -- Adaptive Context Management Using a Component-Based Approach -- Customised Billing for Location-Based Services -- Interoperability Architectures -- Loosely-Coupled Integration of CSCW Systems -- Interoperability and eServices -- Model-Driven…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315827
- Deskripsi Fisik
- XI, 235 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Applications of Evolutionary Computing
EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Hu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320036
- Deskripsi Fisik
- XX, 631 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