Ditapis dengan
Coviability of Social and Ecological Systems: Reconnecting Mankind to the Bio…
Chapter 1: Introductory Chapter: Formalizing a Paradigm, the Biosphere face to the Relationship Between Human and Non-Human(Barrière) -- Chapter 2: Coviability and Biodiversity Conservation at The Crossroads of Socio-Ecological Interactions(Lévêque) -- Chapter 3: Coviability, Through the Lens of the Mathematical Theory of Viability(Aubin) -- Chapter 4: A Mathematical Approach to Coviability:…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319784977
- Deskripsi Fisik
- LXXXII, 728 p. 103 illus., 66 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Hydrology in a Changing World
Recent Advances in the Hydrological Modeling to Incorporate Changing Climate, Land Use, Land Cover Changes and Related Non-stationarities -- Improvements in the Hydrological Model Performance and Related Research -- Advancements in the Parameter Estimation and Uncertainty Quantification in Hydrological Modeling -- Predictability of Hydrological Systems -- Modeling Techniques in Changing Conditi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030021979
- Deskripsi Fisik
- VI, 253 p. 92 illus., 72 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Production Rendering
A System Overview -- A Rendering Architecture -- Geometry -- Shading -- Compiling -- Ray Tracing -- Global Illumination -- Image Construction -- Rendering Gems.In the past, rendering systems used a range of different approaches, each compatible and able to handle certain kinds of images. However, the last few years have seen the development of practical techniques, which bring together many are…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280856
- Deskripsi Fisik
- XIII, 302 p. 115 illus., 32 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Perspectives in Conceptual Modeling
First International Workshop on Best Practices of UML (BP-UML 2005) -- Preface to BP-UML 2005 -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams -- Utilizing a Multimedia UML Framework for an Image Database Application -- Model Evaluation and Requirements Modeling -- Obje…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322399
- Deskripsi Fisik
- XXII, 480 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Parallel Computing Technologies
On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event Structures -- Similarity of Generalized Resources in Petri Nets -- Real-Time Event Structures and Scott Domains -- Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes -- Allowing Atomic Objects to Coexist with Sequentially Consistent Objects -- An Approach to the Im…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318262
- Deskripsi Fisik
- XII, 472 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Numerical Analysis and Its Applications
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318521
- Deskripsi Fisik
- XIII, 630 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318521
- Deskripsi Fisik
- XIII, 630 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Autonomy Oriented Computing
Fundamentals -- From Autonomy to AOC -- AOC at a Glance -- Design and Engineering Issues -- A Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems Modeling -- AOC in Optimization -- Challenges and Opportunities.Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and presenting exper…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402081224
- Deskripsi Fisik
- XXXII, 216 p. 57 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Societies in the Agents World V
Roles, Organizations and Institutions for Agents -- Organizations as Socially Constructed Agents in the Agent Oriented Paradigm -- Virtual Enterprise Normative Framework Within Electronic Institutions -- Virtual Knowledge Communities for Corporate Knowledge Issues -- Achieving Competence by Argumentation on Rules for Roles -- Participation Components for Holding Roles in Multiagent Systems Prot…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318873
- Deskripsi Fisik
- XIV, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial Life Models in Software
Avida: Evolution Experiments with Self-Replicating Computer Programs -- Framsticks: A Platform for Modeling, Simulating, and Evolving 3D Creatures -- Nerve Garden: Germinating Biological Metaphors in Net-based Virtual Worlds -- GenePool: Exploring the Interaction Between Natural Selection and Sexual Selection -- Sodarace: Adventures in Artificial Life -- Escaping the Accidents of History: An Ov…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846282140
- Deskripsi Fisik
- XII, 344 p. 189 illus., 16 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Artificial Intelligence and Simulation
Keynotes -- Modeling and Simulation Methodologies I -- Intelligent Control -- Computer and Network Security I -- HLA and Simulator Interoperation -- Manufacturing -- Agent-Based Modeling -- DEVS Modeling and Simulation -- Modeling and Simulation Methodologies II -- Parallel and Distributed Modeling and Simulation I -- Mobile Computer Network -- Web-Based Simulation, Natural System -- Modeling a…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305835
- Deskripsi Fisik
- XVI, 716 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