Ditapis dengan
Landscape Lab
Finding Landscape -- Imagining Landscape -- Drawing Landscape -- Composing Landscape -- Landscape and Matter -- Landscape and Spaces -- Landscape and Resources. .This book explores the relationship between the sciences of representation and the strategy of landscape valorisation. The topic is connected to the theme of the image of the city, which is extended to the territory scale and applied …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783319941509
- Deskripsi Fisik
- XVII, 291 p. 179 illus., 137 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tutorials on Emerging Methodologies and Applications in Operations Research
Heuristic Search for Network Design -- Polyhedral Combinatorics -- Constraint Languages for Combinatorial Optimization -- A Tutorial on Radiation Oncology and Optimization -- Parallel Algorithm Design for Branch and Bound -- Computer-Aided Design for Electrical and Computer engineering -- Nonlinear Programming and Engineering Applications -- Connecting MRP, MRP II and ERP — Supply Chain Produ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387228273
- Deskripsi Fisik
- XVIII, 342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Assertion-Based Design
Assertion Methodology -- Specifying RTL Properties -- PLI-Based Assertions -- Functional Coverage -- Assertion Patterns -- Assertion Cookbook -- Specifying Correct Behavior.Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 D…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781402080289
- Deskripsi Fisik
- XXIII, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
An Introduction to Meshfree Methods and Their Programming
Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree Methods Based on Global Weak-Forms -- Meshfree Methods Based on Local Weak-Forms -- Meshfree Collocation Methods -- Meshfree Methods Based on Combination of Local Weak-Form and Collocation.This book aims to present meshfree methods in a friendly and straightforward manner, so that beginners can very…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402034688
- Deskripsi Fisik
- XX, 480 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Design and Specification Languages for SoCs
Analog and Mixed-Signal Systems -- Refinement of Mixed-Signal Systems: Between Heaven and Hell -- Mixed Nets, Conversion Models, and VHDL-AMS -- Monte Carlo Simulation Using VHDL-AMS -- Early Prediction of Conducted-Mode Emission of Complex Ic’s -- Practical Case Example of Inertial Mems Modeling with VHDL-AMS -- UML-Based System Specification and Design -- Metamodels and MDA Transformations …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261515
- Deskripsi Fisik
- X, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Analytical Methods in Anisotropic Elasticity
Fundamentals of Anisotropic Elasticity and Analytical Methodologies -- Anisotropic Materials -- Plane Deformation Analysis -- Solution Methodologies -- Foundations of Anisotropic Beam Analysis -- Beams of General Anisotropy -- Homogeneous, Uncoupled Monoclinic Beams -- Non-Homogeneous Plane and Beam Analysis -- Solid Coupled Monoclinic Beams -- Thin-Walled Coupled Monoclinic Beams -- Program De…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644208
- Deskripsi Fisik
- XVIII, 451 p. 167 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design
Learning Environments -- Globaledu - An Architecture to Support Learning in a Pervasive Computing Environment -- Using Docbook to Aid in The Creation of Learning Content -- A Java Framework to Teach Computer Architecture -- Tools and Application for Education -- Blue Macaw: A Didactic Placement Tool Using Simulated Annealing -- Application of Project/Problem-Based Learning in Microelectronics -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387307619
- Deskripsi Fisik
- X, 147 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Automated Technology for Verification and Analysis
Keynote Speeches -- Ranking Abstraction as a Companion to Predicate Abstraction -- Termination and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm for Symmetric Multi-processor Architecture -- Comprehensive Verification Framework for Depen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319696
- Deskripsi Fisik
- XII, 508 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design of Embedded Control Systems
Specification of Concurrent Embedded Control Systems -- Using Sequents for Description of Concurrent Digital Systems Behavior -- Formal Logic Design of Reprogrammable Controllers -- Hierarchical Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387283272
- Deskripsi Fisik
- XI, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Distributed Network Systems
Overview of Distributed Network Systems -- Modelling for Distributed Network Systems: The Client-Server Model -- Communication Paradigms for Distributed Network Systems -- Internetworking -- Interprocess Communication Using Message Passing -- TCP/UDP Communication in Java -- Interprocess Communication Using RPC -- Group Communications -- Reliability and Replication Techniques -- Security -- A R…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387238401
- Deskripsi Fisik
- XXVII, 513 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