Ditapis dengan
Remote Sensing Image Classification in R
Dedication -- Preface -- Acknowledgements -- Acronyms and Abbreviations -- Chapter 1. Remote sensing Digital Image Processing in R -- Chapter 2. Pre-processing -- Chapter 3. Image Transformation,etc.This book offers an introduction to remotely sensed image processing and classification in R using machine learning algorithms. It also provides a concise and practical reference tutorial, which equ…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9789811380129
- Deskripsi Fisik
- XVIII, 189 p. 359 illus., 53 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Security in E-Learning
Quick Start -- Authors -- Teachers -- Managers -- Students -- In-Depth -- Protecting Content -- Security Risk Analysis -- Personal Security Checklist -- Access Control, Authentication & Auditing -- Cryptography -- Additional Resources -- PGP - Pretty Good Privacy -- Plagiarism Detection and Prevention.Security in E-Learning is organized in three parts. First, the author raises awareness that se…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387260655
- Deskripsi Fisik
- XVIII, 185 p. 43 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scientific Engineering of Distributed Java Applications
Component-Based Design of Embedded Software: An Analysis of Design Issues -- Component-Based Design of Embedded Software: An Analysis of Design Issues -- How Design Patterns Affect Application Performance – A Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed Systems -- Task-Based Access Control for Virtual Organizations -- Self-Deployment …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318699
- Deskripsi Fisik
- X, 134 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
- -
Reverse Engineering of Object Oriented Code
The Object Flow Graph -- Class Diagram -- Object Diagram -- Interaction Diagrams -- State Diagrams -- Package Diagram -- Conclusions.In software evolution and maintenance, the ultimate, most reliable description of a system is its source code. Reverse engineering aims at extracting abstract, goal-oriented views from the code, to summarize relevant properties of program computations. Reverse Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387238036
- Deskripsi Fisik
- XIV, 208 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reliable Software Technology – Ada-Europe 2005
Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applica…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316664
- Deskripsi Fisik
- XVI, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Basic Concepts -- Problem Formulations -- Convex and Lagrangian Relaxations -- Decomposition Methods -- Semidefinite Relaxations -- Convex Underestimators -- Cuts, Lower Bounds and Box Reduction -- Local and Global Optimality Criteria -- Adaptive Discretization of Infinite Dimensional MINLPs -- Algorithms -- Overview of Global Optimization Methods -- Deformation Heuristics -- Rounding, Partitio…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373740
- Deskripsi Fisik
- XVI, 213 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
- -
Communicating Sequential Processes. The First 25 Years
Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322658
- Deskripsi Fisik
- XIV, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Categories for Software Engineering
Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural Description -- An Algebra of Connectors.This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this b…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268918
- Deskripsi Fisik
- XIV, 250 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