 Book
 xvi, 368 p. : ill. ; 24 cm.
This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analysing and redesigning an organisation's resources and operations, workflow management systems ensure that the right information reaches the right person or computer application at the right time. The book provides a basic overview of workflow terminology and organisation, as well as detailed coverage of workflow modelling with Petri nets. Because Petri nets make definitions easier for nonexperts to understand, they facilitate communication between designers and users. The book includes a chapter of case studies, review exercises and a glossary.
(source: Nielsen Book Data)9780262011891 20160528
(source: Nielsen Book Data)9780262011891 20160528
This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analysing and redesigning an organisation's resources and operations, workflow management systems ensure that the right information reaches the right person or computer application at the right time. The book provides a basic overview of workflow terminology and organisation, as well as detailed coverage of workflow modelling with Petri nets. Because Petri nets make definitions easier for nonexperts to understand, they facilitate communication between designers and users. The book includes a chapter of case studies, review exercises and a glossary.
(source: Nielsen Book Data)9780262011891 20160528
(source: Nielsen Book Data)9780262011891 20160528
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
T58.6 .A17 2002  Unknown 
 Book
 xvi, 320 p. : ill. ; 25 cm.
 Preface to the series. Preface. Introduction. Chapters 1. Phenomenological theory of recombination. 2. Impurity centers. 3. Cascade capture by isolated attractive centers. 4. Onequantum transitions. 5. Experimental data on capture by attractive centers in Ge and Si. 6. Reciprocal influence of impurity centers. 7. Capture limited by diffusion. 8. Capture by repulsive centers. 9. Multiphonon capture and thermal emission. 10. Thermal emission and capture in an electric field. 11. Auger recombination. 12. Impurity Auger processes. Appendices. References. Author index. Subject index. Materials index. Cumulative index.
 (source: Nielsen Book Data)9780444888549 20160528
(source: Nielsen Book Data)9780444888549 20160528
 Preface to the series. Preface. Introduction. Chapters 1. Phenomenological theory of recombination. 2. Impurity centers. 3. Cascade capture by isolated attractive centers. 4. Onequantum transitions. 5. Experimental data on capture by attractive centers in Ge and Si. 6. Reciprocal influence of impurity centers. 7. Capture limited by diffusion. 8. Capture by repulsive centers. 9. Multiphonon capture and thermal emission. 10. Thermal emission and capture in an electric field. 11. Auger recombination. 12. Impurity Auger processes. Appendices. References. Author index. Subject index. Materials index. Cumulative index.
 (source: Nielsen Book Data)9780444888549 20160528
(source: Nielsen Book Data)9780444888549 20160528
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QC661.6 .R43 N66 1991  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC661.6.R43 N66 1991  Available 
3. Passages from the life of a philosopher [1864]
 Book
 xii, 496 p. front., illus. 23 cm.
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Timoshenko Collection: Ask at circulation desk  
QA29 .B2 A2  Inlibrary use 
 Book
 xvii, 551 p. : ill. ; 24 cm.
 Preface Notation Introduction Part I: Fundamentals Wavelet Fundamentals Part II: Wavelets and Subbands\ Time and Frequency Analysis of Signals Discrete Wavelet Transform: From Frames to Fast Wavelet Transform Theory of Subband Decomposition TwoDimensional Wavelet Transforms and Applications Part III: Applications Applications of Wavelets in the Analysis of Transient Signals Applications of Subband and Wavelet Transform in Communication Systems RealTime Implementations of Wavelet Transforms Appendix Bibliography Index.
 (source: Nielsen Book Data)9780817641368 20160528
(source: Nielsen Book Data)9780817641368 20160528
 Preface Notation Introduction Part I: Fundamentals Wavelet Fundamentals Part II: Wavelets and Subbands\ Time and Frequency Analysis of Signals Discrete Wavelet Transform: From Frames to Fast Wavelet Transform Theory of Subband Decomposition TwoDimensional Wavelet Transforms and Applications Part III: Applications Applications of Wavelets in the Analysis of Transient Signals Applications of Subband and Wavelet Transform in Communication Systems RealTime Implementations of Wavelet Transforms Appendix Bibliography Index.
 (source: Nielsen Book Data)9780817641368 20160528
(source: Nielsen Book Data)9780817641368 20160528
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
TK5102.9 .A23 2002  Unknown 
 Book
 693 p. illus. 22 cm.
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
TL672 .A2 1959  Inlibrary use 
 Book
 832 p. : ill. ; 26 cm.
 Free Fields The Thirring Model Determinants and Heat Kernels SelfInteracting Fermionic Models Nonlinear [sigma] Models: Classical Aspects Nonlinear [sigma] Models  Quantum Aspects Exact SMatrices of 2D Models The WessZuminoWitten Theory QED2: Operator Approach Quantum Chromodynamics QED2: Functional Approach The Finite Temperature Schwinger Model NonAbelian Chiral Gauge Theories Chiral Quantum Electrodynamics Conformally Invariant Field Theory Conformal Field Theory with Internal Symmetry 2D Gravity and StringRelated Topics.
 (source: Nielsen Book Data)9789810245962 20160528
(source: Nielsen Book Data)9789810245962 20160528
 Free Fields The Thirring Model Determinants and Heat Kernels SelfInteracting Fermionic Models Nonlinear [sigma] Models: Classical Aspects Nonlinear [sigma] Models  Quantum Aspects Exact SMatrices of 2D Models The WessZuminoWitten Theory QED2: Operator Approach Quantum Chromodynamics QED2: Functional Approach The Finite Temperature Schwinger Model NonAbelian Chiral Gauge Theories Chiral Quantum Electrodynamics Conformally Invariant Field Theory Conformal Field Theory with Internal Symmetry 2D Gravity and StringRelated Topics.
 (source: Nielsen Book Data)9789810245962 20160528
(source: Nielsen Book Data)9789810245962 20160528
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
QC174.45 .A37 2001  Unknown 
 Book
 ix, 286 p. : ill. ; 24 cm.
This is the first book to combine classical vehicle dynamics with electronic control. The equationbased presentation of the theory behind vehicle dynamics enables readers to develop a thorough understanding of the key attribute to both a vehicle's drive ability and its active safety. Supported by MATLAB tools, the key areas that affect vehicle dynamics are explored including tire mechanics, the steering system, vehicle roll, traction and braking, 4WS and vehicle dynamics, vehicle dynamics by vehicle and human control, and controllability. As a professional reference volume, this book is an essential addition to the resources available to anyone working in vehicle design and development. Written by a leading authority in the field (who himself has considerable practical experience), the book has a unique blend of theory and practice that will be of immense value in this applications based field. It lets you get a thorough understand of why vehicles respond the way they do with a complete treatment of vehicle dynamics from theory to application. It is full of case studies and worked examples using MATLAB/Simulink. It covers all variables of vehicle dynamics including tire and vehicle motion, control aspects, human control and external disturbances.
(source: Nielsen Book Data)9781856177498 20160528
(source: Nielsen Book Data)9781856177498 20160528
This is the first book to combine classical vehicle dynamics with electronic control. The equationbased presentation of the theory behind vehicle dynamics enables readers to develop a thorough understanding of the key attribute to both a vehicle's drive ability and its active safety. Supported by MATLAB tools, the key areas that affect vehicle dynamics are explored including tire mechanics, the steering system, vehicle roll, traction and braking, 4WS and vehicle dynamics, vehicle dynamics by vehicle and human control, and controllability. As a professional reference volume, this book is an essential addition to the resources available to anyone working in vehicle design and development. Written by a leading authority in the field (who himself has considerable practical experience), the book has a unique blend of theory and practice that will be of immense value in this applications based field. It lets you get a thorough understand of why vehicles respond the way they do with a complete treatment of vehicle dynamics from theory to application. It is full of case studies and worked examples using MATLAB/Simulink. It covers all variables of vehicle dynamics including tire and vehicle motion, control aspects, human control and external disturbances.
(source: Nielsen Book Data)9781856177498 20160528
(source: Nielsen Book Data)9781856177498 20160528
www.sciencedirect.com ScienceDirect
 www.sciencedirect.com ScienceDirect
 Google Books (Full view)
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
TL243 .A24 2009  Unknown 
8. Optical properties of solids [1972]
 Book
 1026 p. 23 cm.
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QC176.8 .O6 A23 1972  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC176.8 .O6 A23 1972  Available 
 Book
 xxiii, 657 p. : ill. ; 24 cm.
 1 Building Abstractions with Procedures 2 Building Abstractions with Data 3 Modularity, Objects, and State 4 Metalinguistic Abstraction 5 Computing with Register Machines.
 (source: Nielsen Book Data)9780070004849 20160528
 Part 1 Building abstractions with procedures: the elements of programming expressions naming and the environment evaluating combinations compound procedures the substitution model for procedure application conditional expressions and predicates example: square roots by Newton's method procedures as blackbox abstractions procedure and the processes they generate linear recursion and iteration tree recursion orders of growth exponentiation greatest common divisors example: testing primality formulating abstractions with higherorder procedures procedures as arguments constructing procedures using Lambda procedures as general methods procedures as returned values. Part 2 Building abstractions with data: introduction to data abstraction example: arithmetic operations for rational numbers abstraction barriers what is meant by data? extended exercise: interval arithmetic hierarchical data and the closure property representing sequences hierarchical structures sequences as conventional interfaces example: a picture language symbolic data quotation example: symbolic differentiation example: representing sets example: Huffman encoding trees multiple representations for abstract data representations for complex numbers tagged data datadirected programming and additivity systems with generic operations generic arithmetic operations combining data of different types example: symbolic algebra. Part 3 Modularity, objects, and state: assignment and local state local state variables the benefits of introducing assignment the costs of introducing assignment the environment model of evaluation the rules for evaluation applying simple procedures frames as the repository of local state internal definitions modelling with mutable data mutable list structure representing queues representing tables a simulator for digital circuits propagation of constraints concurrency: time is of the essence the nature of time in concurrent systems mechanisms for controlling concurrency streams streams are delayed lists infinite streams exploiting the stream paradigm streams and delayed evaluation modularity of functional programs and modularity of objects. Part 4 Metalinguistic abstraction: the metacircular evaluator the core of the evaluator representing expressions evaluator data structures running the evaluator as a program data as programs internal definitions separating syntactic analysis from execution variations on a scheme  lazy evaluation normal order and applicative order an interpreter with lazy evaluation streams as lazy lists. (Part contents).
 (source: Nielsen Book Data)9780262011532 20160528
(source: Nielsen Book Data)9780070004849 20160528
There are new implementations of most of the major programming systems in this revised book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the computer science course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higherorder procedures in graphics and on applications of stream processing in numerical programming, and many exercises. In addition, all the programmes have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
(source: Nielsen Book Data)9780262011532 20160528
 1 Building Abstractions with Procedures 2 Building Abstractions with Data 3 Modularity, Objects, and State 4 Metalinguistic Abstraction 5 Computing with Register Machines.
 (source: Nielsen Book Data)9780070004849 20160528
 Part 1 Building abstractions with procedures: the elements of programming expressions naming and the environment evaluating combinations compound procedures the substitution model for procedure application conditional expressions and predicates example: square roots by Newton's method procedures as blackbox abstractions procedure and the processes they generate linear recursion and iteration tree recursion orders of growth exponentiation greatest common divisors example: testing primality formulating abstractions with higherorder procedures procedures as arguments constructing procedures using Lambda procedures as general methods procedures as returned values. Part 2 Building abstractions with data: introduction to data abstraction example: arithmetic operations for rational numbers abstraction barriers what is meant by data? extended exercise: interval arithmetic hierarchical data and the closure property representing sequences hierarchical structures sequences as conventional interfaces example: a picture language symbolic data quotation example: symbolic differentiation example: representing sets example: Huffman encoding trees multiple representations for abstract data representations for complex numbers tagged data datadirected programming and additivity systems with generic operations generic arithmetic operations combining data of different types example: symbolic algebra. Part 3 Modularity, objects, and state: assignment and local state local state variables the benefits of introducing assignment the costs of introducing assignment the environment model of evaluation the rules for evaluation applying simple procedures frames as the repository of local state internal definitions modelling with mutable data mutable list structure representing queues representing tables a simulator for digital circuits propagation of constraints concurrency: time is of the essence the nature of time in concurrent systems mechanisms for controlling concurrency streams streams are delayed lists infinite streams exploiting the stream paradigm streams and delayed evaluation modularity of functional programs and modularity of objects. Part 4 Metalinguistic abstraction: the metacircular evaluator the core of the evaluator representing expressions evaluator data structures running the evaluator as a program data as programs internal definitions separating syntactic analysis from execution variations on a scheme  lazy evaluation normal order and applicative order an interpreter with lazy evaluation streams as lazy lists. (Part contents).
 (source: Nielsen Book Data)9780262011532 20160528
(source: Nielsen Book Data)9780070004849 20160528
There are new implementations of most of the major programming systems in this revised book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the computer science course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higherorder procedures in graphics and on applications of stream processing in numerical programming, and many exercises. In addition, all the programmes have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
(source: Nielsen Book Data)9780262011532 20160528
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
QA76.6 .A255 1996  Unknown 
 Book
 xx, 542 p. ill. : 24 cm.
Designed for the introductory computer science subject at MIT, this book presents a unique conceptual introduction to programming that should make it required reading for every computer scientist. The authors' main concern is to give their readers command of the major techniques used to control the complexity of large software systems: building abstractions, establishing conventional interfaces, and establishing new descriptive languages."Structure and Interpretation of Computer Programs" covers a wide range of material, from simple numerical programs, through symbol manipulation, logic programming, interpretation, and compilation. Main sections of the book are: Building Abstractions with Procedures; Building Abstractions with Data; Modularity, Objects, and State, MetaLinguistic Abstraction; and Computing with Register Machines. Each chapter includes numerous exercises and programming projects. As a programming language, the book uses Scheme, a modern dialect of LISP, which incorporates block structure and lexical scoping.This book inaugurates the MIT Electrical Engineering and Computer Science series, copublished with McGraw Hill.
(source: Nielsen Book Data)9780262010771 20160605
(source: Nielsen Book Data)9780262010771 20160605
Designed for the introductory computer science subject at MIT, this book presents a unique conceptual introduction to programming that should make it required reading for every computer scientist. The authors' main concern is to give their readers command of the major techniques used to control the complexity of large software systems: building abstractions, establishing conventional interfaces, and establishing new descriptive languages."Structure and Interpretation of Computer Programs" covers a wide range of material, from simple numerical programs, through symbol manipulation, logic programming, interpretation, and compilation. Main sections of the book are: Building Abstractions with Procedures; Building Abstractions with Data; Modularity, Objects, and State, MetaLinguistic Abstraction; and Computing with Register Machines. Each chapter includes numerous exercises and programming projects. As a programming language, the book uses Scheme, a modern dialect of LISP, which incorporates block structure and lexical scoping.This book inaugurates the MIT Electrical Engineering and Computer Science series, copublished with McGraw Hill.
(source: Nielsen Book Data)9780262010771 20160605
(source: Nielsen Book Data)9780262010771 20160605
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QA76.6 .A255 1985  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QA76.6 .A255 1985  Available 
11. Quantum mechanics [2004]
 Book
 xv, 528 p. : ill. ; 25 cm.
 1. Classical Mechanics. 2. Fundamentals of Quantum Mechanics. 3. Stationary States. 4. Symmetry Transformations on States. 5. Symmetry Transformations on Operators. 6. Interlude. 7. Approximation Methods for Bound States. 8. Potential Scattering. 9. Transitions. 10. Further Topics in Quantum Dynamics. 11. The Quantized Electromagnetic Field. 12. Relativistic Wave Equations. 13. Identical Particles. Appendix A. Mathematical Tools. Appendix B. Rotation Matrices. Appendix C. SU 3. Appendix D. References. Index.
 (source: Nielsen Book Data)9780131461000 20160527
(source: Nielsen Book Data)9780131461000 20160527
 1. Classical Mechanics. 2. Fundamentals of Quantum Mechanics. 3. Stationary States. 4. Symmetry Transformations on States. 5. Symmetry Transformations on Operators. 6. Interlude. 7. Approximation Methods for Bound States. 8. Potential Scattering. 9. Transitions. 10. Further Topics in Quantum Dynamics. 11. The Quantized Electromagnetic Field. 12. Relativistic Wave Equations. 13. Identical Particles. Appendix A. Mathematical Tools. Appendix B. Rotation Matrices. Appendix C. SU 3. Appendix D. References. Index.
 (source: Nielsen Book Data)9780131461000 20160527
(source: Nielsen Book Data)9780131461000 20160527
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
QC174.12 .A27 2004  Unknown 
 Book
 xv, 242 p. : ill. ; 27 cm.
 Part I. Introduction: 1. What this monograph is about 2. Some experiments 3. Continuum mechanics 4. Quasilinear systems 5. Outline of monograph Part II. TwoWell Potentials, Governing Equations and Energetics: 1. Introduction 2. Twophase nonlinearly elastic materials 3. Field equations and jump conditions 4. Energetics of motion, driving force and dissipation inequality Part III. Equilibrium Phase Mixtures and Quasistatic Processes: 1. Introduction 2. Equilibrium states 3. Variational theory of equilibrium mixtures of phases 4. Quasistatic processes 5. Nucleation and kinetics 6. Constant elongation rate processes 7. Hysteresis Part IV. ImpactInduced Transitions in TwoPhase Elastic Materials: 1. Introduction 2. The impact problem for trilinear twophase materials 3. Scaleinvariant solutions of the impact problem 4. Nucleation and kinetics 5. Comparison with experiment 6. Other types of kinetic relations 7. Related work Part V. MultipleWell Free Energy Potentials: 1. Introduction 2. Helmholtz free energy potential 3. Potential energy function and the effect of stress 4. Example 1: The van der Waals fluid 5. Example 2: Twophase martensitic material with cubic and tetragonal phases Part VI. The Continuum Theory of Driving Force: 1. Introduction 2. Balance laws, field equations and jump conditions 3. The second law of thermodynamics and the driving force Part VII. Thermoelastic Materials: 1. Introduction 2. The thermoelastic constitutive law 3. Stability of a thermoelastic material 4. A onedimensional special case: uniaxial strain Part VIII. Kinetics and Nucleation: 1. Introduction 2. Nonequilibrium processes, thermodynamic fluxes and forces, kinetic relation 3. Phenomenological examples of kinetic relations 4. Micromechanicallybased examples of kinetic relations 5. Nucleation Part IX. Models for TwoPhase Thermoelastic Materials in One Dimension: 1. Preliminaries 2. Materials of MieGruneisen type 3. Twophase MieGruneisen materials Part X. Quasistatic Hysteresis in TwoPhase Thermoelastic Tensile Bars: 1. Preliminaries 2. Thermomechanical equilibrium states for a twophase material 3. Quasistatic processes 4. Trilinear thermoelastic material 5. Stress cycles at constant temperature 6. Temperature cycles at constant stress 7. The shapememory cycle 8. The experiments of Shaw and Kyriakides 9. Slow thermomechanical processes Part XI. Dynamics of Phase Transitions in Uniaxially Strained Thermoelastic Solids: 1. Introduction 2. Uniaxial strain in adiabatic thermoelasticity 3. The impact problem Part XII. Statics: Geometric Compatibility: 1. Preliminaries 2. Examples Part XIII. Dynamics: ImpactInduced Transition in a CuA1Nl Single Crystal: 1. Introduction 2. Preliminaries 3. Impact without phase transformation 4. Impact with phase transformation 5. Application to austeniteB1 martensite transformation in CuA1Nl Part XIV. Quasistatics: Kinetics of Martensitic Twinning: 1. Introduction 2. The material and loading device 3. Observations 4. The model 5. The energy of the system 6. The effect of the transition layers: further observations 7. The effect of the transition layers: further modeling 8. Kinetics.
 (source: Nielsen Book Data)9780521661478 20160528
(source: Nielsen Book Data)9780521661478 20160528
 Part I. Introduction: 1. What this monograph is about 2. Some experiments 3. Continuum mechanics 4. Quasilinear systems 5. Outline of monograph Part II. TwoWell Potentials, Governing Equations and Energetics: 1. Introduction 2. Twophase nonlinearly elastic materials 3. Field equations and jump conditions 4. Energetics of motion, driving force and dissipation inequality Part III. Equilibrium Phase Mixtures and Quasistatic Processes: 1. Introduction 2. Equilibrium states 3. Variational theory of equilibrium mixtures of phases 4. Quasistatic processes 5. Nucleation and kinetics 6. Constant elongation rate processes 7. Hysteresis Part IV. ImpactInduced Transitions in TwoPhase Elastic Materials: 1. Introduction 2. The impact problem for trilinear twophase materials 3. Scaleinvariant solutions of the impact problem 4. Nucleation and kinetics 5. Comparison with experiment 6. Other types of kinetic relations 7. Related work Part V. MultipleWell Free Energy Potentials: 1. Introduction 2. Helmholtz free energy potential 3. Potential energy function and the effect of stress 4. Example 1: The van der Waals fluid 5. Example 2: Twophase martensitic material with cubic and tetragonal phases Part VI. The Continuum Theory of Driving Force: 1. Introduction 2. Balance laws, field equations and jump conditions 3. The second law of thermodynamics and the driving force Part VII. Thermoelastic Materials: 1. Introduction 2. The thermoelastic constitutive law 3. Stability of a thermoelastic material 4. A onedimensional special case: uniaxial strain Part VIII. Kinetics and Nucleation: 1. Introduction 2. Nonequilibrium processes, thermodynamic fluxes and forces, kinetic relation 3. Phenomenological examples of kinetic relations 4. Micromechanicallybased examples of kinetic relations 5. Nucleation Part IX. Models for TwoPhase Thermoelastic Materials in One Dimension: 1. Preliminaries 2. Materials of MieGruneisen type 3. Twophase MieGruneisen materials Part X. Quasistatic Hysteresis in TwoPhase Thermoelastic Tensile Bars: 1. Preliminaries 2. Thermomechanical equilibrium states for a twophase material 3. Quasistatic processes 4. Trilinear thermoelastic material 5. Stress cycles at constant temperature 6. Temperature cycles at constant stress 7. The shapememory cycle 8. The experiments of Shaw and Kyriakides 9. Slow thermomechanical processes Part XI. Dynamics of Phase Transitions in Uniaxially Strained Thermoelastic Solids: 1. Introduction 2. Uniaxial strain in adiabatic thermoelasticity 3. The impact problem Part XII. Statics: Geometric Compatibility: 1. Preliminaries 2. Examples Part XIII. Dynamics: ImpactInduced Transition in a CuA1Nl Single Crystal: 1. Introduction 2. Preliminaries 3. Impact without phase transformation 4. Impact with phase transformation 5. Application to austeniteB1 martensite transformation in CuA1Nl Part XIV. Quasistatics: Kinetics of Martensitic Twinning: 1. Introduction 2. The material and loading device 3. Observations 4. The model 5. The energy of the system 6. The effect of the transition layers: further observations 7. The effect of the transition layers: further modeling 8. Kinetics.
 (source: Nielsen Book Data)9780521661478 20160528
(source: Nielsen Book Data)9780521661478 20160528
www.myilibrary.com MyiLibrary
 www.myilibrary.com MyiLibrary
 Google Books (Full view)
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QC175.16 .P5 A24 2006  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC175.16 .P5 A24 2006  Available 
13. Nanofluidics [2009]
 Book
 vi, 204 p. : ill. ; 27 cm.
 Introduction  What is Nanofluidics? Impacts and Potentials of Nanofluidics. Organization of the Book. Fundamentals of Mass Transport in Nanoscale  Force Interaction in Nanoscale. Continuum Limit and Slip Conditions. Ion Transport in Nanochannels. Capillary Effects in Nanochannels. Fabrication Technologies for Nanochannels  Planar Nanochannels. TopDown Nanopatterning. 1D Network of Square Nanochannels. High Aspect Ratio Nanochannels and Nanopore. Applications of Nanofluidics  Preconcentration and Separation of Ions and Biomolecules. Single Molecule Electronics. Other Applications. Outlook.
 (source: Nielsen Book Data)9781596933507 20160527
(source: Nielsen Book Data)9781596933507 20160527
 Introduction  What is Nanofluidics? Impacts and Potentials of Nanofluidics. Organization of the Book. Fundamentals of Mass Transport in Nanoscale  Force Interaction in Nanoscale. Continuum Limit and Slip Conditions. Ion Transport in Nanochannels. Capillary Effects in Nanochannels. Fabrication Technologies for Nanochannels  Planar Nanochannels. TopDown Nanopatterning. 1D Network of Square Nanochannels. High Aspect Ratio Nanochannels and Nanopore. Applications of Nanofluidics  Preconcentration and Separation of Ions and Biomolecules. Single Molecule Electronics. Other Applications. Outlook.
 (source: Nielsen Book Data)9781596933507 20160527
(source: Nielsen Book Data)9781596933507 20160527
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
TJ853.4 .M53 A24 2009  Unknown 
14. Spacecraft sensors [2005]
 Book
 xv, 322 p. : ill. ; 24 cm.
 Preface. 1. Introduction. 2. Sensors and Signals. 3. Noise and Filtering in Spacecraft Sensors. 4. Infrared Sensors. 5. Passive Microwave Sensors. 6. Spacebased Radar Sensors. 7. GPS. Index.
 (source: Nielsen Book Data)9780470865293 20160528
(source: Nielsen Book Data)9780470865293 20160528
 Preface. 1. Introduction. 2. Sensors and Signals. 3. Noise and Filtering in Spacecraft Sensors. 4. Infrared Sensors. 5. Passive Microwave Sensors. 6. Spacebased Radar Sensors. 7. GPS. Index.
 (source: Nielsen Book Data)9780470865293 20160528
(source: Nielsen Book Data)9780470865293 20160528
dx.doi.org Wiley Online Library
 dx.doi.org Wiley Online Library
 Google Books (Full view)
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
TL3000 .A334 2005  Unknown 
15. Foundations of databases [1995]
 Book
 xviii, 685 p. : ill. ; 25 cm.
 A. ANTECHAMBER. Database Systems. The Main Principles. Functionalities. Complexity and Diversity. Past and Future. Ties with This Book. Bibliographic Notes. Theoretical Background. Some Basics. Languages, Computability, and Complexity. Basics from Logic. The Relational Model. The Structure of the Relational Model. Named versus Unnamed Perspectives. Notation. Bibliographic Notes. B. BASICS: RELATIONAL QUERY LANGUAGES. Conjunctive Queries. Getting Started. LogicBased Perspectives. Query Composition and Views. Algebraic Perspectives. Adding Union. Bibliographic Notes. Exercises. Adding Negation: Algebra and Calculus. The Relational Algebras. Nonrecursive Datalog with Negation. The Relational Calculus. Syntactic Restrictions for Domain Independence. Aggregate Functions. Digression: Finite Representations of Infinite Databases. Bibliographic Notes. Exercises. Static Analysis and Optimization. Issues in Practical Query Optimization. Global Optimization. Static Analysis of the Relational Calculus. Computers with Acyclic Joins. Bibliographic Notes. Exercises. Notes on Practical Languages. SQL: The Structured Query Language. QuerybyExample and Microsoft Access. Confronting the Real World. Bibliographic Notes. Exercises. C. CONSTRAINTS. Functional and Join Dependency. Motivation. Functional and Key Dependencies. join and Multivalued Dependencies. The Chase. Bibliographic Notes. Exercises. Inclusion Dependency. Inclusion Dependency in Isolation. Finite versus Infinite Implication. Nonaxiomatizability of fd's + ind's. Restricted Kinds of Inclusion Dependency. Bibliographic Notes. Exercises. A Larger Perspective. A Unifying Framework. The Chase revisited. Axiomatization. An Algebraic Perspective. Bibliographic Notes. Exercises. Design and Dependencies. Semantic Data Models. Normal Forms. Universal Relation Assumption. Bibliographic Notes. Exercises. D. DATALOG AND RECURSION. Datalog. Syntax of Datalog. ModelTheoretic Semantics. Fixpoint Semantics. ProofTheoretic Approach. Static Program Analysis. Bibliographic Notes. Exercises. Evaluation of Datalog. Seminaive Evaluation. TopDown Techniques. Magic. Two Improvements. Bibliographic Notes. Exercises. Recursion and Negation. Algebra + While. Calculus + Fixpoint. Datalog with Negation. Equivalence. Recursion in Practical Language. Bibliographic Notes. Exercises. Negation in Datalog. The Basic Problem. Stratified Semantics. WellFounded Semantics. Expressive Power. Negation as Failure of Brief. Bibliographic Notes. Exercises. E. EXPRESSIVENESS AND COMPLEXITY. Sizing up Languages. Queries. Complexity of Queries. Languages and Complexity. Bibliographic Notes. Exercises. First Order, Fixpoint and While. Complexity of FirstOrder Queries. Expressiveness of FirstOrder Queries. Fixpoint and While Queries. The Impact of Order. Bibliographic Notes. Exercises. Highly Expressive Languages. While(N)while with Arithmetic. While(new)while with New Values. While(uty)An Untyped Extension of while. Bibliographic Notes. Exercises. F. FINALE. Incomplete Information. WarmUp. Weak Representation Systems. Conditional Tables. The Complexity of Nulls. Other Approaches. Bibliographic Notes. Exercises. Complex Values. Complex Value Databases. The Algebra. The Caculas. Examples. Equivalence Theorems. Fixpoint and Deduction. Expressive Power and Complexity. A Practicle Query Language for Complex Values. Bibliographic Notes. Exercises. Object Databases. Informal Presentation. Formal Definition of an OODB Model. Languages for OODB Queries. Languages for Methods. Further Issues for OODB's. Bibliographic Notes. Exercises. Dynamic Aspects. Updated Languages. Transactional Schemas. Updating Views and Deductive Databases. Active Databases. Temporal Databases and Constraints. Bibliographic Notes. Exercises. Bibliography. Symbol Index. Index. 0201537710T04062001.
 (source: Nielsen Book Data)9780201537710 20160528
(source: Nielsen Book Data)9780201537710 20160528
 A. ANTECHAMBER. Database Systems. The Main Principles. Functionalities. Complexity and Diversity. Past and Future. Ties with This Book. Bibliographic Notes. Theoretical Background. Some Basics. Languages, Computability, and Complexity. Basics from Logic. The Relational Model. The Structure of the Relational Model. Named versus Unnamed Perspectives. Notation. Bibliographic Notes. B. BASICS: RELATIONAL QUERY LANGUAGES. Conjunctive Queries. Getting Started. LogicBased Perspectives. Query Composition and Views. Algebraic Perspectives. Adding Union. Bibliographic Notes. Exercises. Adding Negation: Algebra and Calculus. The Relational Algebras. Nonrecursive Datalog with Negation. The Relational Calculus. Syntactic Restrictions for Domain Independence. Aggregate Functions. Digression: Finite Representations of Infinite Databases. Bibliographic Notes. Exercises. Static Analysis and Optimization. Issues in Practical Query Optimization. Global Optimization. Static Analysis of the Relational Calculus. Computers with Acyclic Joins. Bibliographic Notes. Exercises. Notes on Practical Languages. SQL: The Structured Query Language. QuerybyExample and Microsoft Access. Confronting the Real World. Bibliographic Notes. Exercises. C. CONSTRAINTS. Functional and Join Dependency. Motivation. Functional and Key Dependencies. join and Multivalued Dependencies. The Chase. Bibliographic Notes. Exercises. Inclusion Dependency. Inclusion Dependency in Isolation. Finite versus Infinite Implication. Nonaxiomatizability of fd's + ind's. Restricted Kinds of Inclusion Dependency. Bibliographic Notes. Exercises. A Larger Perspective. A Unifying Framework. The Chase revisited. Axiomatization. An Algebraic Perspective. Bibliographic Notes. Exercises. Design and Dependencies. Semantic Data Models. Normal Forms. Universal Relation Assumption. Bibliographic Notes. Exercises. D. DATALOG AND RECURSION. Datalog. Syntax of Datalog. ModelTheoretic Semantics. Fixpoint Semantics. ProofTheoretic Approach. Static Program Analysis. Bibliographic Notes. Exercises. Evaluation of Datalog. Seminaive Evaluation. TopDown Techniques. Magic. Two Improvements. Bibliographic Notes. Exercises. Recursion and Negation. Algebra + While. Calculus + Fixpoint. Datalog with Negation. Equivalence. Recursion in Practical Language. Bibliographic Notes. Exercises. Negation in Datalog. The Basic Problem. Stratified Semantics. WellFounded Semantics. Expressive Power. Negation as Failure of Brief. Bibliographic Notes. Exercises. E. EXPRESSIVENESS AND COMPLEXITY. Sizing up Languages. Queries. Complexity of Queries. Languages and Complexity. Bibliographic Notes. Exercises. First Order, Fixpoint and While. Complexity of FirstOrder Queries. Expressiveness of FirstOrder Queries. Fixpoint and While Queries. The Impact of Order. Bibliographic Notes. Exercises. Highly Expressive Languages. While(N)while with Arithmetic. While(new)while with New Values. While(uty)An Untyped Extension of while. Bibliographic Notes. Exercises. F. FINALE. Incomplete Information. WarmUp. Weak Representation Systems. Conditional Tables. The Complexity of Nulls. Other Approaches. Bibliographic Notes. Exercises. Complex Values. Complex Value Databases. The Algebra. The Caculas. Examples. Equivalence Theorems. Fixpoint and Deduction. Expressive Power and Complexity. A Practicle Query Language for Complex Values. Bibliographic Notes. Exercises. Object Databases. Informal Presentation. Formal Definition of an OODB Model. Languages for OODB Queries. Languages for Methods. Further Issues for OODB's. Bibliographic Notes. Exercises. Dynamic Aspects. Updated Languages. Transactional Schemas. Updating Views and Deductive Databases. Active Databases. Temporal Databases and Constraints. Bibliographic Notes. Exercises. Bibliography. Symbol Index. Index. 0201537710T04062001.
 (source: Nielsen Book Data)9780201537710 20160528
(source: Nielsen Book Data)9780201537710 20160528
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks  
QA76.9 .D3 A26 1995  Unknown 
 Book
 xiv, 911 p. : ill. ; 22 cm.
Engineering Library (Terman), SAL3 (offcampus storage), Science Library (Li and Ma)
Engineering Library (Terman)  Status 

Stacks  
QC762 .A2  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC762 .A2  Available 
Science Library (Li and Ma)  Status 

Stacks  
QC762 .A2  Unknown 
17. Nuclear magnetism : order and disorder [1982]
 Book
 xix, 626 p. : ill. ; 24 cm.
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QC762 .A28  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC762 .A28  Available 
 Book
 xviii, 477 p. : ill. ; 24 cm. + 1 CDROM (4 3/4 in.).
 Characterization and Analysis of Linear circuits at RF and Microwave Frequencies. Characterization and Analysis of Active Circuits at RF and Microwave Frequencies. RadioFrequency Components. Narrowband ImpedanceMatching with LC Networks. Coupled Coils and Transformers. TransmissionLine Transformers. Film Resistors, ParallelPlate Capacitors, Inductors, and Microstrip Discontinuities. The Design of wideband ImpedanceMatching Networks. The Design of RadioFrequency and Microwave Amplifiers and Oscillators.
 (source: Nielsen Book Data)9781596930988 20160527
(source: Nielsen Book Data)9781596930988 20160527
 Characterization and Analysis of Linear circuits at RF and Microwave Frequencies. Characterization and Analysis of Active Circuits at RF and Microwave Frequencies. RadioFrequency Components. Narrowband ImpedanceMatching with LC Networks. Coupled Coils and Transformers. TransmissionLine Transformers. Film Resistors, ParallelPlate Capacitors, Inductors, and Microstrip Discontinuities. The Design of wideband ImpedanceMatching Networks. The Design of RadioFrequency and Microwave Amplifiers and Oscillators.
 (source: Nielsen Book Data)9781596930988 20160527
(source: Nielsen Book Data)9781596930988 20160527
Engineering Library (Terman)
Engineering Library (Terman)  Status 

Stacks


TK7871.2 .A28 2009  Unknown 
19. Fundamentals of the theory of metals [1988]
 Book
 x, 630 p. : ill. : 25 cm.
 Preface. Part I. Normal Metals. 1. An electron in a periodic crystal lattice. 2. The electron Fermi liquid. 3. Electrical and thermal conductivity. 4. Scattering processes. 5. Galvanomagnetic properties of metals. 6. Thermoelectric and thermomagnetic phenomena. 7. Metals in a highfrequency electromagnetic field. Cyclotron resonance. 8. Size effects. 9. Propagation of electromagnetic waves in the presence of a magnetic field. 10. Magnetic susceptibility and the de Haasvan Alphen effect. 11. Quantum effects in conductivity. 12. Absorption of sound in metals. 13. Fermiliquid effects. 14. Methods of calculating the electronic spectra of metals. Part II. Superconducting Metals. 15. Macroscopic theory of superconductivity. 16. Basic ideas of the BCS theory. 17. The GinzburgLandau theory. 18. Type II superconductivity. 19. Kinetics of superconductors. 20. The superconductornormal metal interface. 21. Superconductivity and magnetism. 22. Tunnel junctions. The Josephson effect. Appendices. References. Suggested reading. Author index. Subject index.
 (source: Nielsen Book Data)9780444870940 20160528
(source: Nielsen Book Data)9780444870940 20160528
 Preface. Part I. Normal Metals. 1. An electron in a periodic crystal lattice. 2. The electron Fermi liquid. 3. Electrical and thermal conductivity. 4. Scattering processes. 5. Galvanomagnetic properties of metals. 6. Thermoelectric and thermomagnetic phenomena. 7. Metals in a highfrequency electromagnetic field. Cyclotron resonance. 8. Size effects. 9. Propagation of electromagnetic waves in the presence of a magnetic field. 10. Magnetic susceptibility and the de Haasvan Alphen effect. 11. Quantum effects in conductivity. 12. Absorption of sound in metals. 13. Fermiliquid effects. 14. Methods of calculating the electronic spectra of metals. Part II. Superconducting Metals. 15. Macroscopic theory of superconductivity. 16. Basic ideas of the BCS theory. 17. The GinzburgLandau theory. 18. Type II superconductivity. 19. Kinetics of superconductors. 20. The superconductornormal metal interface. 21. Superconductivity and magnetism. 22. Tunnel junctions. The Josephson effect. Appendices. References. Suggested reading. Author index. Subject index.
 (source: Nielsen Book Data)9780444870940 20160528
(source: Nielsen Book Data)9780444870940 20160528
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QC176.8.E4 A2713 1988  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC176.8 .E4 A2713 1988  Available 
 Book
 xv, 352 p. diagrs. 24 cm.
Engineering Library (Terman), SAL3 (offcampus storage)
Engineering Library (Terman)  Status 

Stacks  
QC174.4.A213 1963  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC174.4.A213 1963  Available 