.png){kind=logo}
Computer programming / software development
Results 6481 - 6500 of 7831
Computer programming / software development
Worst-Case Execution Time Aware Compilation Techniques for Real-Time S...
Lokuciejewski, Paul; Marwedel, Peter
hardcover. 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: 234 x 156 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 2011th Edition
- Number of pages
- 262
- Condition
- New
- SKU
- V9789048199280
- ISBN
- 9789048199280
Hardback
Condition: New
€ 199.49
€ 199.49
Hardcover. This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. Editor(s): Benthem, Johan van; Gupta, Amitabha; Parikh, Rohit. Series: Synthese Library. Num Pages: 372 pages, biography. BIC Classification: HPD; HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 160 x 246 x 27. Weight in Grams: 734.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9789400700796
- ISBN
- 9789400700796
Hardback
Condition: New
€ 196.03
€ 196.03
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
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
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
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
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
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
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
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
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
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. 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 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
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. Editor(s): Vassiliadis, Stamatis; Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece). Num Pages: 397 pages, biography. BIC Classification: TJF; TJFC; UK; UMZ; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 397
- Condition
- New
- SKU
- V9789400798144
- ISBN
- 9789400798144
Paperback
Condition: New
€ 128.84
€ 128.84
Paperback. Editor(s): Muxworthy, D.T. Series: Ispra Courses (Closed). Num Pages: 296 pages, biography. BIC Classification: GBC; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 296
- Condition
- New
- SKU
- V9789400971479
- ISBN
- 9789400971479
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Series: Mathematics and its Applications. Num Pages: 394 pages, biography. BIC Classification: UGD; UMB; UMX; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 22. Weight in Grams: 660.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 394
- Condition
- New
- SKU
- V9789401037426
- ISBN
- 9789401037426
Paperback
Condition: New
€ 129.17
€ 129.17
Paperback. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 21. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 352
- Condition
- New
- SKU
- V9789401037525
- ISBN
- 9789401037525
Paperback
Condition: New
€ 161.08
€ 161.08
Paperback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantics Structures in Computation. Num Pages: 273 pages, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 273
- Condition
- New
- SKU
- V9789401038591
- ISBN
- 9789401038591
Paperback
Condition: New
€ 127.90
€ 127.90