.png){kind=logo}
Computer programming / software development
Results 7033 - 7056 of 8428
Computer programming / software development
Hardback. 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. Series: Lecture Notes in Electrical Engineering. Num Pages: 256 pages, biography. BIC Classification: TJFC; UMX. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 256
- Condition
- New
- SKU
- V9789048193035
- ISBN
- 9789048193035
Hardback
Condition: New
€ 199.00
€ 199.00
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
Hardback. Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic. Series: Applied Logic Series. Num Pages: 244 pages, 37 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 242 x 339 x 19. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 244
- Condition
- New
- SKU
- V9789400700017
- ISBN
- 9789400700017
Hardback
Condition: New
€ 132.43
€ 132.43
Hardback. Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic. Series: Trends in Logic. Num Pages: 523 pages, 8 black & white tables, biography. BIC Classification: HPL; PBC; UMX. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 30. Weight in Grams: 929.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 2011
- Number of pages
- 523
- Condition
- New
- SKU
- V9789400700048
- ISBN
- 9789400700048
Hardback
Condition: New
€ 204.66
€ 204.66
Hardback. Highlighting the coherence of, and connections between, current themes in the subject, this volume collates original contributions from key researchers into a new trend in the contemporary theory of knowledge and belief known as 'dynamic epistemology'. Editor(s): Girard, Patrick R.; Roy, Olivier; Marion, Mathieu. Series: Synthese Library. Num Pages: 252 pages, 10 black & white tables, biography. BIC Classification: HPK; HPL; JPA; KCH; PDA; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 534.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 252
- Condition
- New
- SKU
- V9789400700734
- ISBN
- 9789400700734
Hardback
Condition: New
€ 132.55
€ 132.55
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. This book provides an overview and analysis of developments in several areas of computational intelligence. It includes methods that apply to diverse fields such as manufacturing, tourism, power systems, computer science, robotics, chemistry and biology. Editor(s): Madureira, A.; Ferreira, Judite; Vale, Zita. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 204 pages, biography. BIC Classification: TBC; THRB; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 465.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 204
- Condition
- New
- SKU
- V9789400700925
- ISBN
- 9789400700925
Hardback
Condition: New
€ 131.57
€ 131.57
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
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. 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
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
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
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
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
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
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. 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
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. 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