Ditapis dengan
Modeling Crop Rotations and Co-Products in Agricultural Life Cycle Assessments
Challenges in LCA for Agricultural Systems -- Application of the Cereal Unit in a New Allocation Procedure for Agricultural LCAs -- Modeling Crop Rotation in Agricultural LCAs -- Crop Rotations and Crop Residues are Relevant Parameters for Agricultural Carbon Footprints -- International Initiatives on Global Challenges for Agriculture.Gerhard Brankatschk provides solutions for methodological li…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783658235888
- Deskripsi Fisik
- XXII, 194 p. 15 illus., 8 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Human-Robot Interaction
Multi-modal Robot Interfaces -- Perception, Interpretation and Interaction -- Learning, Programming and Instructing -- Co-existence: Physical Interaction and Coordinated Motion -- Safety and Dependability -- Architecture -- Systems and Applications."Advances in Human-Robot Interaction" provides a unique collection of recent research in human-robot interaction. It covers the basic important rese…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315094
- Deskripsi Fisik
- XIII, 414 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The African Criminal Court
Part I: Introduction -- 1. Creating an African Criminal Court -- 2. Historical and Political Background to the Malabo Protocol -- Part II: The Crimes in the Annex to the Malabo Protocol -- 3. Genocide (Article 28B), Crimes against Humanity (Article 28C), War Crimes (Article 28D) and the Crime of Aggression (Article 28M) -- 4. The Crime of Unconstitutional Change of Government (Article 28E) -- 5…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9789462651500
- Deskripsi Fisik
- XII, 347 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Algorithms and Computation
Puzzles, Art, and Magic with Algorithms -- The ABCs of AVDs: Geometric Retrieval Made Simple -- Pareto Optimality in House Allocation Problems -- Property-Preserving Data Reconstruction -- On the Monotone Circuit Complexity of Quadratic Boolean Functions -- Generalized Function Matching -- Approximate Distance Oracles for Graphs with Dense Clusters -- Multicriteria Global Minimum Cuts -- Polyli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305514
- Deskripsi Fisik
- XVII, 935 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component-Based Software Testing with UML
Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related Technologies -- Assessing Quality-of-Service Contracts.Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540267331
- Deskripsi Fisik
- XVIII, 316 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Component-Based Software Development for Embedded Systems
Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based Software Development for Embedded Systems – An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verifi…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316145
- Deskripsi Fisik
- VIII, 348 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Methods of Celestial Mechanics
Applications -- Volume II in Overview -- The Rotation of Earth and Moon -- Artificial Earth Satellites -- Evolution of the Planetary System -- Program System -- The Program System Celestial Mechanics -- The Computer-Programs NUMINT and LINEAR -- The Computer-Programs SATORB and LEOKIN -- The Computer-Program ORBDET -- The Computer-Program ERDROT -- The Computer-Program PLASYS -- Elements of Spe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540265122
- Deskripsi Fisik
- XVI, 448 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Methods of Celestial Mechanics
Physical, Mathematical, and Numerical Principles -- Overview of the Work -- Historical Background -- The Equations of Motion -- The Two- and the Three-Body Problems -- Variational Equations -- Theory of Perturbations -- Numerical Solution of Ordinary Differential Equations: Principles and Concepts -- Orbit Determination and Parameter Estimation.G. Beutler's Methods of Celestial Mechanics is a c…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268703
- Deskripsi Fisik
- XVI, 466 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information and Management Systems for Product Customization
Fundamentals of Product Customization -- Product Customization: Theoretical Basics -- Mass Customization and Complexity -- A Customers’ Needs Model for Mass Customization -- An IT Infrastructure for Effective and Efficient Product Customization -- Customer Oriented Interaction Systems -- A Multi-agent System for Coping with Variety Induced Complexity -- Implementation Scenarios of the Informa…
- Edisi
- 1st ed
- ISBN/ISSN
- 9780387233482
- Deskripsi Fisik
- XXII, 269 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Molecular Marker Systems in Plant Breeding and Crop Improvement
Basics -- The Principle: Identification and Application of Molecular Markers -- Genotyping Tools in Plant Breeding: From Restriction Fragment Length Polymorphisms to Single Nucleotide Polymorphisms -- A Model Crop Species: Molecular Markers in Rice -- From Markers to Cloned Genes: Map-Based Cloning -- Specific Crops -- DNA Markers in Brassica: Use of Genetic Information from Arabidopsis and Dev…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540265382
- Deskripsi Fisik
- XXII, 478 p. 42 illus., 5 illus. in color.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