.png){kind=logo}
Computer programming / software development
Results 1393 - 1416 of 8431
Computer programming / software development
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
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. 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
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. 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
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. 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
Hardback. 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): Ao, Sio-Iong; Gelman, Len. Series: Lecture Notes in Electrical Engineering. Num Pages: 512 pages, biography. BIC Classification: TJF; UK; UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 39. Weight in Grams: 1205.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 512
- Condition
- New
- SKU
- V9789048187751
- ISBN
- 9789048187751
Hardback
Condition: New
€ 199.10
€ 199.10
Paperback. This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL '08, the top international conference specializing in this field. Editor(s): Radetzki, Martin. Series: Lecture Notes in Electrical Engineering. Num Pages: 338 pages, biography. BIC Classification: TJFC; UMX; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 338
- Condition
- New
- SKU
- V9789048181919
- ISBN
- 9789048181919
Paperback
Condition: New
€ 194.58
€ 194.58
Paperback. Published in honor of Prof. Daniel J. Rosenkrantz, a distinguished computer science researcher, this volume collects a number of his seminal papers on subjects as varied as algorithm analysis and computational epidemiology, as well as papers by other authors. Editor(s): Ravi, Sekharipuram S.; Shukla, Sandeep Kumar. Num Pages: 516 pages, biography. BIC Classification: UMX; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 516
- Condition
- New
- SKU
- V9789048181834
- ISBN
- 9789048181834
Paperback
Condition: New
€ 129.13
€ 129.13
Hardware Software Co-design of a Multimedia SOC Platform
Chen, Sao-Jie; Lin, Guang-Huei; Hsiung, Pao-A...
Paperback. This unique text provides a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications. It offers tutorial-like details for beginners and in-depth analysis for more advanced readers. Num Pages: 152 pages, biography. BIC Classification: TJFC; UGC; UK; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 152
- Condition
- New
- SKU
- V9789048181711
- ISBN
- 9789048181711
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics. Num Pages: 254 pages, biography. BIC Classification: TJFC; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 254
- Condition
- New
- SKU
- V9789048181650
- ISBN
- 9789048181650
Paperback
Condition: New
€ 127.78
€ 127.78
paperback. The role of hardware-dependent software (HdS) is often underestimated and the topic is not well represented in literature. This is the first complete book on HdS, a critical topic in embedded system design. It brings together experts from different HdS areas. Editor(s): Ecker, Wolfgang; Muller, Wolfgang; Domer, Rainer. Num Pages: 299 pages, biography. BIC Classification: TJFC; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 299
- Condition
- New
- SKU
- V9789048181285
- ISBN
- 9789048181285
Paperback
Condition: New
€ 127.97
€ 127.97
Paperback. This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded. Editor(s): Majer, Ondrej; Pietarinen, Ahti-Veikko (University of Helsinki); Tulenheimo, Tero. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 402 pages, biography. BIC Classification: CFA; CFG; HPL; PBC; PBW; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 402
- Condition
- New
- SKU
- V9789048181155
- ISBN
- 9789048181155
Paperback
Condition: New
€ 195.22
€ 195.22
Paperback. This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences. Editor(s): Makinson, David; Malinowski, Jacek (Institute of Philosophy and Sociology, The Polish Academy of Sciences, Warsaw, Poland); Wansing, Heinrich. Series: Trends in Logic. Num Pages: 344 pages, biography. BIC Classification: CFX; HPL; PBC; PBF; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 344
- Condition
- New
- SKU
- V9789048180653
- ISBN
- 9789048180653
Paperback
Condition: New
€ 194.77
€ 194.77
Advances in Computational Algorithms and Data Analysis
Ao, Sio-Iong; Rieger, Burghard B.; Chen, Su-S...
Paperback. This text is a compendium of revised and extended articles written for the international conference on Advances in Computational Algorithms and Data Analysis. It presents state-of-the-art advances in the field through discussion of various topics. Series: Lecture Notes in Electrical Engineering. Num Pages: 596 pages, biography. BIC Classification: TJF; UMB; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 902.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 596
- Condition
- New
- SKU
- V9789048180271
- ISBN
- 9789048180271
Paperback
Condition: New
€ 197.11
€ 197.11
Paperback. Editor(s): Elleithy, Khaled. Num Pages: 569 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 260 x 193 x 30. Weight in Grams: 1411.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 569
- Condition
- New
- SKU
- V9789048179725
- ISBN
- 9789048179725
Paperback
Condition: New
€ 255.89
€ 255.89
Paperback. Editor(s): Danvy, Olivier; Henglein, Fritz; Mairson, Harry; Pettorossi, Alberto. Num Pages: 272 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 272
- Condition
- New
- SKU
- V9789048176748
- ISBN
- 9789048176748
Paperback
Condition: New
€ 127.73
€ 127.73
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic...
Ma, Zhe; Marchal, Pol; Scarpazza, Daniele Pao...
Paperback. Num Pages: 264 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 264
- Condition
- New
- SKU
- V9789048176106
- ISBN
- 9789048176106
Paperback
Condition: New
€ 127.78
€ 127.78
paperback. Editor(s): Elleithy, Khaled. Num Pages: 578 pages, biography. BIC Classification: TJFC; UMZ. Category: (P) Professional & Vocational. Dimension: 260 x 193 x 31. Weight in Grams: 1450.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2007
- Number of pages
- 578
- Condition
- New
- SKU
- V9789048175888
- ISBN
- 9789048175888
Paperback
Condition: New
€ 134.40
€ 134.40
Paperback. Editor(s): Huss, Sorin. Num Pages: 358 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 358
- Condition
- New
- SKU
- V9789048175499
- ISBN
- 9789048175499
Paperback
Condition: New
€ 194.86
€ 194.86
Paperback. Num Pages: 359 pages, biography. BIC Classification: TJFC; UKR; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 359
- Condition
- New
- SKU
- V9789048175314
- ISBN
- 9789048175314
Paperback
Condition: New
€ 128.72
€ 128.72
Paperback. Unlike traditional embedded systems references, this book skips routine things to focus on programming microcontrollers, specifically MCS-51 family in 'C' using Keil IDE. This book will kick-start your practical understanding of the most popular microcontroller. Num Pages: 172 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 172
- Condition
- New
- SKU
- V9789048175253
- ISBN
- 9789048175253
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Num Pages: 480 pages, biography. BIC Classification: TJFC; UMX; UMZL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 480
- Condition
- New
- SKU
- V9789048174942
- ISBN
- 9789048174942
Paperback
Condition: New
€ 196.33
€ 196.33