Ditapis dengan
SDL 2005: Model Driven
Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315391
- Deskripsi Fisik
- XII, 364 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scenarios: Models, Transformations and Tools
Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320326
- Deskripsi Fisik
- XII, 279 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rules and Rule Markup Languages for the Semantic Web
Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper -- Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences -- A Realistic Architecture for the Semantic Web -- Active Rules in the Semantic Web: Dealing with Language Heterogeneity -- Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML -- A Semantic …
- Edisi
- 1st ed..
- ISBN/ISSN
- 9783540322702
- Deskripsi Fisik
- X, 225 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Set Software -- Data Mining -- Hybrid and Hierarchical Methods -- Information Retrieval -- Image Recognition and Processing -- Multimedia Applications -- Medical Applications -- Bioinformatic Applications -- Web Content Analysis -- Business Applications -- Security Applications -- Industrial Applications -- Embedded Systems and Networking -- Intelligent and Sapient Syste…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318248
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set Approximations -- Rough Sets and Higher Order Vagueness -- Approximation in Formal Concept Analysis -- Second-Order Rough Approximations in Multi-criteria Classification with Imprecise Evalua…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318255
- Deskripsi Fisik
- XXIV, 748 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reasoning Web
to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316756
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Constraints
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322528
- Deskripsi Fisik
- X, 217 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rapid Integration of Software Engineering Techniques
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320395
- Deskripsi Fisik
- X, 145 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Visualization, Explanation and Reasoning Styles in Mathematics
Mathematical Reasoning and Visualization -- Visualization in Logic and Mathematics -- From Symmetry Perception to Basic Geometry -- Naturalism, Pictures, and Platonic Intuitions -- Mathematical Activity -- Mathematical Explanation and Proof Styles -- Tertium Non Datur: On Reasoning Styles in Early Mathematics -- The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Pr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402033353
- Deskripsi Fisik
- X, 300 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