Ditapis dengan
The Basics of S-PLUS
Graphical User Interface -- A First Session -- A Second Session -- Graphics -- Trellis Graphics -- Exploring Data -- Statistical Modeling -- Programming -- Object-Oriented Programming -- Input and Output -- Tips and Tricks -- S-Plus Internals -- Information Sources on and Around S-Plus -- R.This book explains the basics of S-PLUS in a clear style at a level suitable for people with little compu…
- Edisi
- 4th ed. 2005.
- ISBN/ISSN
- 9780387283906
- Deskripsi Fisik
- XXII, 444 p. 31 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
An R and S-Plus® Companion to Multivariate Analysis
Multivariate Data and Multivariate Analysis -- Looking at Multivariate Data -- Principal Components Analysis -- Exploratory Factor Analysis -- Multidimensional Scaling and Correspondence Analysis -- Cluster Analysis -- Grouped Multivariate Data: Multivariate Analysis of Variance and Discriminant Function Analysis -- Multiple Regression and Canonical Correlation -- Analysis of Repeated Measures …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781846281242
- Deskripsi Fisik
- XIII, 221 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
- -
Quality of Software Architectures and Software Quality
Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320562
- Deskripsi Fisik
- XIV, 294 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Multi-Agent Systems
Invited Papers -- Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach -- Agents – The Challenge of Relevance to the IT Mainstream -- Agent-Oriented Programming -- Goal Representation for BDI Agent Systems -- AF-APL – Bridging Principles and Practice in Agent Oriented Languages -- Agent Platforms and Tools -- A Toolkit for the Realization of Constraint-Based Multiagent …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322603
- Deskripsi Fisik
- XIV, 249 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322474
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Programming Languages and Systems
Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based Static Analyzers -- The ASTREÉ Analyzer -- Interprocedural Herbrand Equalities -- Analysis of Modular Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319870
- Deskripsi Fisik
- XIV, 442 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Processes, Terms and Cycles: Steps on the Road to Infinity
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb’s Logic Meets the ?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324256
- Deskripsi Fisik
- XVIII, 642 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Principles and Practice of Constraint Programming - CP 2005
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320500
- Deskripsi Fisik
- XX, 888 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