.png){kind=logo}
Computer programming / software development
Results 1369 - 1392 of 8431
Computer programming / software development
Design, Analysis and Test of Logic Circuits Under Uncertainty
Krishnaswamy, Smita; Markov, Igor L.; Hayes, ...
Paperback. Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyze, design and test logic circuits with probabilistic behavior, and provides a multidisciplinary approach to uncertainty. Series: Lecture Notes in Electrical Engineering. Num Pages: 124 pages, 24 black & white tables, biography. BIC Classification: TJFC; UK; UMB; UYAM; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 124
- Condition
- New
- SKU
- V9789400797987
- ISBN
- 9789400797987
Paperback
Condition: New
€ 139.21
€ 139.21
Paperback. This book's engineering approach to identifying causes of land subsidence in delta cities is based on the Biot system of equations. These advanced computational methods, used in Bangkok, will aid the compensation process in subsidence-derived damages claims. Series: Springer Environmental Science and Engineering. Num Pages: 325 pages, biography. BIC Classification: PHVG; RBGL; RBK; RBP; RP; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Netherlands
- Number of pages
- 325
- Condition
- New
- SKU
- V9789400797345
- ISBN
- 9789400797345
Paperback
Condition: New
€ 161.00
€ 161.00
Paperback. This book offers state-of-the-art ideas for low power design methods, from circuit to architecture to software, with design case studies in three fast growing areas: solid state disks in mobile devices, biomedical electronics and wireless security systems. Editor(s): Kyung, Chong-Min; Yoo, Sungjoo. Num Pages: 300 pages, 27 black & white tables, biography. BIC Classification: PNFS; TH; TJFC; TTBM; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 300
- Condition
- New
- SKU
- V9789400792586
- ISBN
- 9789400792586
Paperback
Condition: New
€ 127.88
€ 127.88
Paperback. This text offers a quality-driven design and verification flow for digital systems. Dedicated verification techniques are integrated which target the different levels of abstraction, and each technique has a means to measure the achieved verification quality. Num Pages: 189 pages, biography. BIC Classification: TJFC; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 189
- Condition
- New
- SKU
- V9789400791923
- ISBN
- 9789400791923
Paperback
Condition: New
€ 127.76
€ 127.76
Paperback. Covering the fundamentals of linear algebra, this book introduces those concepts of quantum physics that are needed to understand quantum circuits and algorithms, and requires only basic familiarity with algebra, graph algorithms and computer engineering. Num Pages: 200 pages, biography. BIC Classification: PBW; PHQ; TJFC; UGK; UMB. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 200
- Condition
- New
- SKU
- V9789400791251
- ISBN
- 9789400791251
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Mathematical Summary for Digital Signal Processing Applications with Matlab consists of Mathematics which is not usually dealt with in the DSP core subject, but used in DSP applications. It gives Matlab programs with illustrations. Num Pages: 219 pages, biography. BIC Classification: PBF; TTBM; UMB. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 219
- Condition
- New
- SKU
- V9789400790858
- ISBN
- 9789400790858
Paperback
Condition: New
€ 194.08
€ 194.08
Paperback. This book details the newest developments and trends in dynamic and run-time reconfigurable systems. It covers all aspects of the subject: architectures, design methods and applications. Editor(s): Platzner, Marco; Wehn, Norbert. Num Pages: 466 pages, biography. BIC Classification: TJFC; UMX; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 466
- Condition
- New
- SKU
- V9789400790766
- ISBN
- 9789400790766
Paperback
Condition: New
€ 129.47
€ 129.47
Paperback. Editor(s): Giunchiglia, Enrico; Walsh, Toby. Num Pages: 300 pages, biography. BIC Classification: UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 300
- Condition
- New
- SKU
- V9789400787155
- ISBN
- 9789400787155
Paperback
Condition: New
€ 194.14
€ 194.14
Hardback. This volume describes and analyzes the contributions of Krister Segerberg to the study of real and doxastic actions. Covers relations between actions, intentions and routines, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories. Editor(s): Trypuz, Robert. Series: Outstanding Contributions to Logic. Num Pages: 335 pages, 40 colour illustrations, biography. BIC Classification: HPL; HPM; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 335
- Condition
- New
- SKU
- V9789400770454
- ISBN
- 9789400770454
Hardback
Condition: New
€ 129.35
€ 129.35
Hardback. Editor(s): Capelluto, Daniel. Series: Advances in Experimental Medicine and Biology. Num Pages: 219 pages, 16 black & white illustrations, 28 colour illustrations, 8 black & white tables, biograph. BIC Classification: MBGR; PNFS; PSA; UMB. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 18. Weight in Grams: 661.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 219
- Condition
- New
- SKU
- V9789400763302
- ISBN
- 9789400763302
Hardback
Condition: New
€ 196.09
€ 196.09
Hardcover. This book provides advanced analytics and decision management techniques and tools for creating sustainable competitive advantages. Covers multi-criteria decision making; Six Sigma methodology; supply chain evolution for sustainability-focused firms and more. Editor(s): Luo, Zongwei. Num Pages: 328 pages, 15 black & white tables, 4 colour tables, biography. BIC Classification: KFF; KJMV5; RNU; THX; UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 158 x 18. Weight in Grams: 598.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2013th Edition
- Number of pages
- 275
- Condition
- New
- SKU
- V9789400759947
- ISBN
- 9789400759947
Hardback
Condition: New
€ 129.83
€ 129.83
Ubiquitous Information Technologies and Applications
. Ed(S): Han, Youn-Hee; Park, Doo-Soon; Jia, ...
Hardback. Editor(s): Han, Youn-Hee; Park, Doo-Soon; Jia, Weijia; Yeo, Sang-Soo. Series: Lecture Notes in Electrical Engineering. Num Pages: 928 pages, 404 black & white illustrations, 100 black & white tables, biography. BIC Classification: TJK; UMA; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 49. Weight in Grams: 1653.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 928
- Condition
- New
- SKU
- V9789400758568
- ISBN
- 9789400758568
Hardback
Condition: New
€ 256.13
€ 256.13
Hardback. Constitutes the 4th FTRA International Conference on Computer Science and its Applications (CSA-12) that can be held in Jeju, Korea on November 22~25, 2012. Editor(s): Yeo, Sang-Soo; Pan, Yi; Lee, Yang Sun; Chang, Hang-Bae. Series: Lecture Notes in Electrical Engineering. Num Pages: 1022 pages, biography. BIC Classification: KJQ; TJK; UG; UMZ; UNH; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1811.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 1022
- Condition
- New
- SKU
- V9789400756984
- ISBN
- 9789400756984
Hardback
Condition: New
€ 258.33
€ 258.33
Information Technology Convergence, Secure and Trust Computing, and Da...
. Ed(S): Park, Jong Hyuk; Kim, Jongsung; Zou,...
Hardback. The 4th FTRA International Conference on Information Technology Convergence and Services (ITCS-12) will be held in Gwangju, Korea on September 6 - 8, 2012. Editor(s): Park, Jong Hyuk; Kim, Jongsung; Zou, Deqing; Lee, Yang Sun. Series: Lecture Notes in Electrical Engineering. Num Pages: 328 pages, biography. BIC Classification: TJK; UMB; UR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 328
- Condition
- New
- SKU
- V9789400750821
- ISBN
- 9789400750821
Hardback
Condition: New
€ 195.44
€ 195.44
Hardback. Contains thirty revised and extended research articles written by prominent researchers participating in an international conference in engineering technologies and physical science and applications. This book is suitable for researchers and graduate students working with/on engineering technologies and physical science and applications. Editor(s): Kim, Haeng-Kon; Ao, Sio-Iong; Rieger, Burghard B. Series: Lecture Notes in Electrical Engineering. Num Pages: 400 pages, 56 black & white tables, biography. BIC Classification: TBJ; TJFC; TJK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 400
- Condition
- New
- SKU
- V9789400747852
- ISBN
- 9789400747852
Hardback
Condition: New
€ 196.19
€ 196.19
Hardback. This book addresses patient-specific modeling. It integrates computational modeling, experimental procedures, imagine clinical segmentation and mesh generation with the finite element method to solve problems in computational biomedicine and bioengineering. Editor(s): Calvo Lopez, Begona; Pena, Estefania. Series: Lecture Notes in Computational Vision and Biomechanics. Num Pages: 193 pages, biography. BIC Classification: MBP; MMP; MQW; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 473.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 193
- Condition
- New
- SKU
- V9789400745513
- ISBN
- 9789400745513
Hardback
Condition: New
€ 127.93
€ 127.93
Worst-Case Execution Time Aware Compilation Techniques for Real-Time S...
Lokuciejewski, Paul; Marwedel, Peter
Paperback. This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. Series: Embedded Systems. Num Pages: 262 pages, 15 black & white tables, biography. BIC Classification: TJFC; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 262
- Condition
- New
- SKU
- V9789400733688
- ISBN
- 9789400733688
Paperback
Condition: New
€ 194.14
€ 194.14
Advances in Design Methods from Modeling Languages for Embedded System...
Dominique . Ed(S): Borrione
Paperback. This book presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip. Editor(s): Borrione, Dominique. Series: Lecture Notes in Electrical Engineering. Num Pages: 256 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 256
- Condition
- New
- SKU
- V9789400733336
- ISBN
- 9789400733336
Paperback
Condition: New
€ 194.08
€ 194.08
Paperback. This book contains the proceedings of the World Congress on Engineering, WCE 2009. Topics covered include control engineering, network management, wireless networks, biotechnology, signal processing, high performance computing, and industrial applications. Editor(s): Gelman, Len. Series: Lecture Notes in Electrical Engineering. Num Pages: 512 pages, biography. BIC Classification: TJF; UK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1019.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 512
- Condition
- New
- SKU
- V9789400732384
- ISBN
- 9789400732384
Paperback
Condition: New
€ 198.47
€ 198.47
Guide to FPGA Implementation of Arithmetic Functions
Deschamps, Jean-Pierre; Sutter, Gustavo D.; C...
Hardback. This book reviews the development of Field Programmable Gate Arrays, complex systems made up of processors executing programs, memories, buses, input-output interfaces, and other peripherals of different types. Includes many examples of FPGA implementations. Series: Lecture Notes in Electrical Engineering. Num Pages: 488 pages, 65 black & white tables, biography. BIC Classification: TJFC; UMB; UYQE. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 32. Weight in Grams: 860.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 2012
- Number of pages
- 488
- Condition
- New
- SKU
- V9789400729865
- ISBN
- 9789400729865
Hardback
Condition: New
€ 285.51
€ 285.51
Proceedings of the International Conference on IT Convergence and Secu...
. Ed(S): Kim, Kuinam J.; Ahn, Seong Jin
hardcover. Editor(s): Kim, Kuinam J.; Ahn, Seong Jin. Series: Lecture Notes in Electrical Engineering. Num Pages: 656 pages, biography. BIC Classification: UMZ; UNF; UR; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1142.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2012th Edition
- Number of pages
- 656
- Condition
- New
- SKU
- V9789400729100
- ISBN
- 9789400729100
Hardback
Condition: New
€ 253.93
€ 253.93
Hardback. Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 212 pages, 8 black & white tables, biography. BIC Classification: HPC; HPK; HPL; PBC; PBKS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 485.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 212
- Condition
- New
- SKU
- V9789400717350
- ISBN
- 9789400717350
Hardback
Condition: New
€ 183.32
€ 183.32
Hardback. Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Series: Trends in Logic. Num Pages: 250 pages, 10 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 545.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 250
- Condition
- New
- SKU
- V9789400709065
- ISBN
- 9789400709065
Hardback
Condition: New
€ 128.44
€ 128.44
Hardback. This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics. Series: Trends in Logic. Num Pages: 290 pages, biography. BIC Classification: PBCD; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 159 x 24. Weight in Grams: 568.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 290
- Condition
- New
- SKU
- V9789400703193
- ISBN
- 9789400703193
Hardback
Condition: New
€ 133.42
€ 133.42