Ditapis dengan
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
- -
A Modern Perspective on Type Theory
The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica -- Deramification -- Propositions as Types, Pure Type Systems, AUTOMATH -- Propositions as Types and Pure Type Systems -- The pre-PAT RTT and STT in PAT-style -- A Correspondence between RTT and the system Nuprl -- Automath -- Extensions of Pure Type Systems -- Pure Type Systems with definitions -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402023354
- Deskripsi Fisik
- XIV, 360 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
- -
Graphs, Networks and Algorithms
Basic Graph Theory -- Algorithms and Complexity -- Shortest Paths -- Spanning Trees -- The Greedy Algorithm -- Flows -- Combinatorial Applications -- Connectivity and Depth First Search -- Colorings -- Circulations -- The Network Simplex Algorithm -- Synthesis of Networks -- Matchings -- Weighted matchings -- A Hard Problem: The TSP.From the reviews of the first edition: ".... The book is a fir…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540269083
- Deskripsi Fisik
- XVI, 612 p. 195 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Domain Decomposition Methods in Science and Engineering
Invited Talks -- Minisymposium: Domain Decomposition Methods for Wave Propagation in Unbounded Media -- Minisymposium: Parallel Finite Element Software -- Minisymposium: Collaborating Subdomains for Multi-Scale Multi-Physics Modelling -- Minisymposium: Recent Developments for Schwarz Methods -- Minisymposium: Trefftz-Methods -- Minisymposium: Domain Decomposition on Nonmatching Grids -- Minisym…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540268253
- Deskripsi Fisik
- XVIII, 690 p. 184 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design of Adaptive Finite Element Software
Concepts and abstract algorithms -- Implementation of model problems -- Data structures and implementation.During the last years, scientific computing has become an important research branch located between applied mathematics and applied sciences and engineering. Highly efficient numerical methods are based on adaptive methods, higher order discretizations, fast linear and non-linear iterative…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540271567
- Deskripsi Fisik
- XII, 315 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Electromagnetics
Convergence -- Finite Differences -- Eigenvalues -- The Finite-Difference Time-Domain Method -- The Finite Element Method -- The Method of Moments -- Summary and Overview.Computational Electromagnetics is a young and growing discipline, expanding as a result of the steadily increasing demand for software for the design and analysis of electrical devices. This book introduces three of the most p…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387261607
- Deskripsi Fisik
- XXII, 224 p. 74 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adaptive Mesh Refinement - Theory and Applications
Scientific Computing -- Computational Science “Same Old Silence, Same Old Mistakes” “Something More Is Needed … ” -- Massively Parallel Simulations with DOE?s ASCI Supercomputers: An Overview of the Los Alamos Crestone Project -- Methods -- Adaptive Mesh Refinement on Overlapping Grids -- A Dynamically Adaptive Arbitrary Lagrangian-Eulerian Method for Hydrodynamics -- Front Tracking A…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540270393
- Deskripsi Fisik
- XIV, 554 p. 275 illus., 11 illus. in color.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
- -
QoS in Packet Networks
Basic Mathematics for QoS -- QoS Metrics -- IP QoS Generic Functional Requirements -- IP Integrated Services and Differentiated Services -- QoS in ATM Networks -- MPLS -- References.QoS is an important subject which occupies a central place in overall packet network technologies. A complex subject, its analysis involves such mathematical disciplines as probability, random variables, stochastic …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387233901
- Deskripsi Fisik
- XIII, 243 p. 164 illus.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