.png){kind=logo}
Science & Technology
Results 100041 - 100060 of 113705
Science & Technology
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Hardback. Considering both the size of digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book summarizes research on abstraction techniques for model checking large digital system. Series: Integrated Circuits and Systems. Num Pages: 179 pages, biography. BIC Classification: TJ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 179
- Condition
- New
- SKU
- V9780387341552
- ISBN
- 9780387341552
Hardback
Condition: New
€ 131.32
€ 131.32
Hardback. Covers such topics as Sobolev's fundamental works on equations of mathematical physics, computational mathematics, and cubature formulas. Editor(s): Demidenko, Gennadii V.; Vaskevich, Vladimir L. Num Pages: 604 pages, 20 black & white illustrations, 15 black & white tables, biography. BIC Classification: PH. Category: (UU) Undergraduate. Dimension: 234 x 156 x 34. Weight in Grams: 2330.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 604
- Condition
- New
- SKU
- V9780387341484
- ISBN
- 9780387341484
Hardback
Condition: New
€ 205.05
€ 205.05
hardcover. Provides a description of fast boundary element methods, based on rigorous mathematical analysis. This book describes the Adaptive Cross Approximation Algorithm, starting from the basic ideas and proceeding to their practical realization. Series: Mathematical and Analytical Techniques with Applications to Engineering. Num Pages: 284 pages, 97 black & white illustrations, 37 black & white tables, biography. BIC Classification: PB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer United States
- Number of pages
- 284
- Condition
- New
- Edition
- 2007th Edition
- SKU
- V9780387340418
- ISBN
- 9780387340418
Hardback
Condition: New
€ 128.75
€ 128.75
Hardback. Offers an overview of WiMAX technology. This book discusses various applications at microwave frequencies between 2 and 11 GHz. It covers a range of topics, from network deployment to implementation of terminals. It is intended for network architects and developers of broadband fixed wireless access products. Series: Signals and Communication Technology. Num Pages: 212 pages, 13 black & white tables, biography. BIC Classification: TJK; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1120.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780387339566
- ISBN
- 9780387339566
Hardback
Condition: New
€ 132.14
€ 132.14
Hardback. The philosophical and religious implications of extraterrestrial intelligence are combined with an exploration of the scientific and technical implications. The book compares recent theories (e.g. 'rare earth') and takes a firm stance against pseudo-science. Num Pages: 320 pages, 58 black & white illustrations, biography. BIC Classification: TTD; VXQB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9780387339252
- ISBN
- 9780387339252
Hardback
Condition: New
€ 32.99€ 29.74
€ 32.99
€ 29.74
Hardback. This second volume of the series focuses on recent developments in the field and highlights the parameters governing photoinduced nonlinearity. Besides reviewing conventional electro-optic crystals, it assesses present understanding of the effect in a variety of organic photorefractive materials. Editor(s): Gunter, Peter; Huignard, Jean-Pierre. Series: Springer Series in Optical Sciences. Num Pages: 664 pages, 370 black & white illustrations, biography. BIC Classification: TGM; TTB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1148.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 664
- Condition
- New
- SKU
- V9780387339245
- ISBN
- 9780387339245
Hardback
Condition: New
€ 71.53
€ 71.53
Hardback. Presents a collection of problems and exercises in environmental science. This book can be used in many courses in environmental studies especially environmental physics, energy and the environment, and atmospheric physics. The mathematical background is given in an introductory chapter. Num Pages: 330 pages, biography. BIC Classification: TQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 330
- Condition
- New
- SKU
- V9780387339122
- ISBN
- 9780387339122
Hardback
Condition: New
€ 68.49
€ 68.49
Paperback. Provides a collection of exercises together with their solutions in design and analysis of experiments. This book provides the theoretical results and is useful to the students studying the design of experiments and instructors and researchers engaged in the teaching and research of design by experiment. Num Pages: 308 pages, 3 black & white illustrations, biography. BIC Classification: PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 960.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 308
- Condition
- New
- SKU
- V9780387338927
- ISBN
- 9780387338927
Paperback
Condition: New
€ 70.30
€ 70.30
Hardback. Constitutes the proceedings of the 22nd IFIP TC7 Conference held in July 2005, in Torino, Italy. This work features papers that concern stochastic and distributed systems, their control/optimization, and inverse problems and explore applications of optimization techniques and computational methods in fields such as medicine, biology and economics. Editor(s): Ceragioli, F. (Politecnico di Torino); Dontchev, A. (University of Michigan); Furuta, H.; Pandolfi, Luciano. Series: IFIP Advances in Information and Communication Technology. Num Pages: 342 pages, biography. BIC Classification: TJFM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1450.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 342
- Condition
- New
- SKU
- V9780387338811
- ISBN
- 9780387338811
Hardback
Condition: New
€ 200.65
€ 200.65
Hardback. Presents discussions in modern genetics and genetic engineering. This volume covers gene therapy research, genetic mapping, plant science and technology, transport protein biochemistry, and viral vectors in gene therapy, among other topics. It is of interest to geneticists and their colleagues in affiliated disciplines. Editor(s): Setlow, Jane K. Series: Genetic Engineering: Principles and Methods. Num Pages: 190 pages, 33 black & white illustrations, biography. BIC Classification: TCBG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 190
- Condition
- New
- SKU
- V9780387338408
- ISBN
- 9780387338408
Hardback
Condition: New
€ 198.12
€ 198.12
Hardback. Dendritic cells (DCs) play the most vital part in inducing anti-viral immune responses in HIV and AIDS among many other viruses. This volume focuses on the role of DCs in the pathogenesis and immunity of HIV-1 infection. Editor(s): Gessani, Sandra; Belardelli, Filippo. Num Pages: 544 pages, 20 black & white tables, biography. BIC Classification: PSF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 1122.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 544
- Condition
- New
- SKU
- V9780387337845
- ISBN
- 9780387337845
Hardback
Condition: New
€ 198.48
€ 198.48
hardcover. Focuses on desmin and other intermediate filaments in disease and health. This volume is intended for graduate students and researchers in the field. Editor(s): Paramio, Jesus. Series: Molecular Biology Intelligence Unit. Num Pages: 150 pages, 6 black & white tables, biography. BIC Classification: PSF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 410.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer United States
- Number of pages
- 150
- Condition
- New
- Edition
- 2006th Edition
- SKU
- V9780387337807
- ISBN
- 9780387337807
Hardback
Condition: New
€ 197.08
€ 197.08
Stochastic Processes, Optimization, and Control Theory - Applications ...
. Ed(S): Yan, Houmin; Yin, George; Zhang, Qin...
Hardback. Contains 16 research articles and presents the pressing issues in stochastic processes, control theory, differential games, optimization, and their applications in finance, manufacturing, queueing networks, and climate control. This book is intended for people working in the aforementioned fields. Editor(s): Yan, Houmin; Yin, George; Zhang, Qing. Series: International Series in Operations Research & Management Science. Num Pages: 360 pages, 36 black & white illustrations, 11 black & white tables, biography. BIC Classification: TJFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1660.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 360
- Condition
- New
- SKU
- V9780387337708
- ISBN
- 9780387337708
Hardback
Condition: New
€ 202.02
€ 202.02
Hardback. Discusses the many variations of vacation policy. This title features a variety of typical vacation model applications. Series: International Series in Operations Research & Management Science. Num Pages: 386 pages, 8 black & white illustrations, 14 black & white tables, biography. BIC Classification: PBT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 1640.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9780387337210
- ISBN
- 9780387337210
Hardback
Condition: New
€ 201.90
€ 201.90
Hardback. This timely work uses scientific studies to show us how to wisely manage old field ecosystems in the neotropics, where conversion of land to cropping systems is the most common kind of disturbance and many landscapes are defined by areas recovering from agriculture. Editor(s): Myster, Randall W. (University of Central Oklahoma). Num Pages: 308 pages, 46 black & white tables, biography. BIC Classification: 1QMT; PSAF; TV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 308
- Condition
- New
- SKU
- V9780387336411
- ISBN
- 9780387336411
Hardback
Condition: New
€ 133.92
€ 133.92
Hardback. Summarizes and presents the major achievements in the field of plasticity theory for geotechnical materials and its applications to geotechnical analysis and design. This book is suitable for the geotechnical and solid mechanics community. Series: Advances in Mechanics and Mathematics. Num Pages: 544 pages, 212 black & white illustrations, biography. BIC Classification: PB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 2060.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 544
- Condition
- New
- SKU
- V9780387335971
- ISBN
- 9780387335971
Hardback
Condition: New
€ 359.64
€ 359.64
Hardback. Since its first discovery in the early 90's, the NF-kB/Rel transcription factor family has drawn the attention of experimental biologists, medical profession, and biotech/pharmaceutical industries. This book intends to provide a guide to the knowledge in the field of NF-kB/Rel transcription factor family. Editor(s): Liou, Hsiou-Chi. Series: Molecular Biology Intelligence Unit. Num Pages: 185 pages, 11 black & white tables, biography. BIC Classification: PSF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 1040.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 185
- Condition
- New
- SKU
- V9780387335728
- ISBN
- 9780387335728
Hardback
Condition: New
€ 197.92
€ 197.92
Hardback. The book gives an extended review of theoretical and observational aspects of neutron star physics. It describes all layers of neutron stars, from the surface to the core, with the emphasis on their structure and equation of state. Series: Astrophysics and Space Science Library. Num Pages: 644 pages, biography. BIC Classification: PGM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 2370.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 644
- Condition
- New
- SKU
- V9780387335438
- ISBN
- 9780387335438
Hardback
Condition: New
€ 205.20
€ 205.20
Hardback. Provides an understanding of the physics at work in sunspots and solar coronal loops, and offers a approach to Magneto-Fluid-Dynamics (or Magneto-Hydro-Dynamics). This title stresses the use of electric currents in Magneto-Fluid-Dynamics. Series: Astronomy and Astrophysics Library. Num Pages: 349 pages, 70 black & white illustrations, biography. BIC Classification: PH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 349
- Condition
- New
- SKU
- V9780387335421
- ISBN
- 9780387335421
Hardback
Condition: New
€ 195.69
€ 195.69
Hardback. This book provides a unique perspective on the destruction - both natural and human-caused - of coral reef ecosystems. The text combines principles of geophysics, paleontology, and marine sciences with real-time observation and offers strategies for restoration and management of ecosystems. Editor(s): Aronson, Richard B. (Dauphin Island Sea Lab). Series: Ecological Studies. Num Pages: 466 pages, 23 black & white tables, biography. BIC Classification: PSAF; RGBR. Category: (P) Professional & Vocational; (UF) Further/Higher Education. Dimension: 234 x 156 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 466
- Condition
- New
- SKU
- V9780387335384
- ISBN
- 9780387335384
Hardback
Condition: New
€ 258.50
€ 258.50