Ditapis dengan
Beginning MapServer
Building MapServer -- Simple MapServer Examples -- Creating the Mapping Application -- Modifying a Map’s Look and Feel -- Using Query Mode -- Using Perl MapScript -- Using Python MapScript -- Using PHP/MapScript -- Extending the Capabilities of MapScript with MySQL -- Utility Programs -- MapServer Reference.Beginning MapServer: Open Source GIS Development is the first book of its kind. It off…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200536
- Deskripsi Fisik
- 448 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hierarchical Bayesian Optimization Algorithm
From Genetic Variation to Probabilistic Modeling -- Probabilistic Model-Building Genetic Algorithms -- Bayesian Optimization Algorithm -- Scalability Analysis -- The Challenge of Hierarchical Difficulty -- Hierarchical Bayesian Optimization Algorithm -- Hierarchical BOA in the Real World.This book provides a framework for the design of competent optimization techniques by combining advanced evo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540323730
- Deskripsi Fisik
- XVIII, 166 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reasoning Robots
Special Fluent Calculus -- Special FLUX -- General Fluent Calculus -- General FLUX -- Knowledge Programming -- Planning -- Nondeterminism -- Imprecision* -- Indirect Effects: Ramification Problem* -- Troubleshooting: Qualification Problem -- Robotics.The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction t…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402030697
- Deskripsi Fisik
- XIV, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation of Functional Languages
Implementation of Functional Languages -- Lazy Assertions -- Interfacing Haskell with Object-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Program…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540278610
- Deskripsi Fisik
- X, 190 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Introduction to Assembly Language Programming
Overview -- Basic Computer Organization -- Pentium Assembly Language -- The Pentium Processor -- Overview of Assembly Language -- Procedures and the Stack -- Addressing Modes -- Arithmetic Flags and Instructions -- Selection and Iteration -- Logical and Bit Operations -- String Processing -- ASCII and BCD Arithmetic -- MIPS Assembly Language -- MIPS Processor -- MIPS Assembly Language -- Interr…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387271552
- Deskripsi Fisik
- XXIV, 692 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Parallel Job Scheduling — A Status Report -- Scheduling on the Top 50 Machines -- Parallel Computer Workload Modeling with Markov Chains -- Enhancements to the Decision Process of the Self-Tuning dynP Scheduler -- Reconfigurable Gang Scheduling Algorithm -- Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation -- Inferring the Topology and…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317951
- Deskripsi Fisik
- VIII, 320 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Genetic Programming
Talks -- An Algorithmic Chemistry for Genetic Programming -- Assessing the Effectiveness of Incorporating Knowledge in an Evolutionary Concept Learner -- Automated Re-invention of a Previously Patented Optical Lens System Using Genetic Programming -- Bayesian Automatic Programming -- Dynamic Size Populations in Distributed Genetic Programming -- Evolution of Robot Controller Using Cartesian Gen…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319894
- Deskripsi Fisik
- XIV, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Job Scheduling Strategies for Parallel Processing
Modeling User Runtime Estimates -- Workload Analysis of a Cluster in a Grid Environment -- ScoPred–Scalable User-Directed Performance Prediction Using Complexity Modeling and Historical Data -- Open Job Management Architecture for the Blue Gene/L Supercomputer -- AnthillSched: A Scheduling Strategy for Irregular and Iterative I/O-Intensive Parallel Jobs -- An Extended Evaluation of Two-Phase …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316176
- Deskripsi Fisik
- VIII, 283 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Validated Designs for Object-oriented Systems
Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered Collections -- Modelling Ordered Collections -- Modelling Relationships -- Modelling in Practice: Three Case Studies -- Model Structuring: The Enigma Cipher -- Combining Views: The CSLaM Sy…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281075
- Deskripsi Fisik
- XII, 404 p. 65 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Guide to Assembly Language Programming in Linux
Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory Organization -- The IA-32 Architecture -- Linux -- Installing Linux -- Using Linux -- NASM -- Installing and Using NASM -- Debugging Assembly Language Programs -- Assembly Language -- A First Look at Assembly Language -- More on Assembly Language -- Writing Procedures -- More on Procedures -- Addressing M…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387261713
- Deskripsi Fisik
- XVI, 545 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