Ditapis dengan
Software Architecture
Research Papers -- Managing Dynamic Reconfiguration in Component-Based Systems -- Architecting Global Automation Systems over a Distributed Multi-agent Infrastructure -- The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a ?-Calculus Based Architecture Description Language -- Aspect Modelling at Architecture Design -- Dynamic Evolution in Aspect-Oriented …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322689
- Deskripsi Fisik
- XII, 263 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Innovations in Applied Artificial Intelligence
Invited Contributions -- Computer Vision -- Image Analysis -- Speech Recognition -- Robotics -- Agents -- Planning -- Human-Computer Interaction and Natural Language Processing -- Reasoning -- Machine Learning -- Data Mining -- Genetic Algorithms -- Neural Networks -- Decision Support and Heuristic Search -- Fuzzy Logic -- Knowledge Management -- Applications.“Intelligent systems are those wh…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318934
- Deskripsi Fisik
- XX, 858 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Static Analysis
Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319719
- Deskripsi Fisik
- X, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Generative Programming and Component Engineering
Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319771
- Deskripsi Fisik
- XII, 452 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Concept Analysis
Foundations -- Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies -- Semiconcept and Protoconcept Algebras: The Basic Theorems -- Features of Interaction Between Formal Concept Analysis and Algebraic Geometry -- From Formal Concept Analysis to Contextual Logic -- Contextual Attribute Logic of Many-Valued Attributes -- Treating Incomplete Knowledge in Formal Conce…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318811
- Deskripsi Fisik
- X, 349 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Inductive Logic Programming
Research Papers -- An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees -- Guiding Inference Through Relational Reinforcement Learning -- Converting Semantic Meta-knowledge into Inductive Bias -- Learning Teleoreactive Logic Programs from Problem Solving -- A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inver…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318514
- Deskripsi Fisik
- XIV, 434 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Processing and Security Systems
Digital Image and Signal Processing -- Fourier Descritpor-Based Deformable Models for Segmentation of the Distal Femur in CT -- Hierarchical Segmentation of Sparse Surface Data Using Energy-Minimization Approach -- Interactive Real-time Image Analysis System for Distant Operation -- Analysis/Synthesis Speech Model Based on the Pitch-Tracking Periodic-Aperiodic Decomposition -- Bio-inspired voic…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387263250
- Deskripsi Fisik
- X, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Networking
Wireless LAN -- Security I -- TCP and Congestion Control -- Wireless Ad Hoc Network Routing -- Network Measurement -- Routing -- Power Control in Wireless Networks -- QoS I -- High Speed Networks -- Wireless Networks I -- QoS II -- Wireless Ad Hoc Networks -- Network Design -- Peer to Peer Networks -- QoS III -- Security II -- Wireless Networks II -- Applications and Services -- Security III --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305828
- Deskripsi Fisik
- XVII, 936 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Broadband Satellite Communication Systems and the Challenges of Mobility
Broadband Satellite Multimedia (BSM) Architectures -- Satlabs Group: Leading the DVB-RCS Standard to a Commercial Success -- COST272: Packet-Oriented Service Delivery Via Satellites -- Removing Barriers, Integrating Research, Spreading Excellence: The European Satellite Communications Network of Excellence “SatNEx” -- Integrating Satellite Digital Radio Broadcasting (S-DB), Terrestrial Cell…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387240435
- Deskripsi Fisik
- XVIII, 248 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Testing Commercial-off-the-Shelf Components and Systems
Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components -- COTS Component Testing through Built-In Test -- COTS Component Testing through Aspect-Based Metadata -- Automatic Testing of Exception Handling Code -- Basic Concepts and Terms -- Testing Components in the Context of a System -- A Process and Role-Based Taxonomy of Techniques to Make Testable COT…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540270713
- Deskripsi Fisik
- XIV, 410 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