Computer programming / software development
Results 2065 - 2088 of 4079
Computer programming / software development
Hardback. A tribute to Robert Paige (1947-1999), this book includes papers published in his honor in the "Higher-Order and Symbolic Computation Journal" in the years 2003 and 2005. Among them there are two papers by Bob: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. Editor(s): Danvy, Olivier; Mairson, Harry; Henglein, Fritz; Pettorossi, Alberto. Num Pages: 272 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9781402065842
- ISBN
- 9781402065842
Hardback
Condition: New
€ 123.51
€ 123.51
Hardback. 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; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 172
- Condition
- New
- SKU
- V9781402060663
- ISBN
- 9781402060663
Hardback
Condition: New
€ 121.55
€ 121.55
New Algorithms, Architectures and Applications for Reconfigurable Comp...
. Ed(S): Lysaght, Patrick; Rosenstiel, Wolfga...
Hardback. Consists of a collection of contributions from the authors of some of the best papers from the Field Programmable Logic conference (FPL-03) and the Design and Test Europe conference (DATE-03). This book is a record of the research into field programmable logic and reconfigurable computing. Editor(s): Lysaght, Patrick; Rosenstiel, Wolfgang. Num Pages: 314 pages, biography. BIC Classification: THR; UM. Category: (G) General (US: Trade). Dimension: 232 x 156 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 314
- Condition
- New
- SKU
- V9781402031274
- ISBN
- 9781402031274
Hardback
Condition: New
€ 191.40
€ 191.40
Hardcover. Who are we in simulated worlds? Will experiencing worlds that are not 'actual' change our ways of structuring thought? Can virtual worlds open up new possibilities to philosophize? Virtual Worlds as Philosophical Tools tries to answer these questions from a perspective that combines philosophy of technology with videogame design. Num Pages: 210 pages, biography. BIC Classification: HPM; UMK; UYV. Category: (P) Professional & Vocational. Dimension: 146 x 223 x 17. Weight in Grams: 412.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Palgrave Macmillan
- Condition
- New
- SKU
- V9781137521774
- ISBN
- 9781137521774
Hardback
Condition: New
€ 121.96
€ 121.96
Hardback. This detailed book explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Series: Springer Series in Reliability Engineering. Num Pages: 202 pages, 27 black & white tables, biography. BIC Classification: TGPQ; TJK; UMB; UT; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 19. Weight in Grams: 468.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011
- Number of pages
- 202
- Condition
- New
- SKU
- V9780857293176
- ISBN
- 9780857293176
Hardback
Condition: New
€ 186.38
€ 186.38
Hardback. Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques. Series: Texts in Computer Science. Num Pages: 672 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 159 x 44. Weight in Grams: 1114.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2nd ed. 2011
- Number of pages
- 672
- Condition
- New
- SKU
- V9780857292766
- ISBN
- 9780857292766
Hardback
Condition: New
€ 67.91
€ 67.91
Hardback. Software Reliability Assessment with OR Applications provides a comprehensive guide to software reliability measurement, prediction, and control. Readers will find solutions to decision-making problems that software developers and engineers often face. Series: Springer Series in Reliability Engineering. Num Pages: 572 pages, 68 black & white tables, biography. BIC Classification: KJMV5; TGPQ; UMZ; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 169 x 35. Weight in Grams: 960.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 572
- Condition
- New
- SKU
- V9780857292032
- ISBN
- 9780857292032
Hardback
Condition: New
€ 240.62
€ 240.62
Hardback. This book presents a new approach to the investigation of Boolean control networks, using the semi-tensor product (STP), which can express a logical function as a conventional discrete-time linear system. This makes it possible to analyze basic control problems. Series: Communications and Control Engineering. Num Pages: 488 pages, biography. BIC Classification: PBW; PSA; TJFM; UMX. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 26. Weight in Grams: 857.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 488
- Condition
- New
- SKU
- V9780857290960
- ISBN
- 9780857290960
Hardback
Condition: New
€ 130.59
€ 130.59
Hardback. This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory. Num Pages: 245 pages, biography. BIC Classification: PBCD; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 245
- Condition
- New
- SKU
- V9780817642204
- ISBN
- 9780817642204
Hardback
Condition: New
€ 65.06
€ 65.06
Hardback. Many behaviors of real physical, biological, economical, and chemical systems can be described by ordinary differential equations (ODEs). This book provides a general framework useful for the applications, on the conceptual aspects of the theory of ODEs, and a sophisticated use of Mathematica software for the solutions of problems related to ODEs. Editor(s): Marasco, Addolorata; Romano, Antonio. Series: Modeling and Simulation in Science, Engineering and Technology. Num Pages: 284 pages, biography. BIC Classification: PBKJ; PBWH; UFM; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780817642051
- ISBN
- 9780817642051
Hardback
Condition: New
€ 123.24
€ 123.24
Hardback. Intends to provide technical information about current and future issues of search data structures used to index large object-oriented databases. This book is useful for practitioners involved in OODBMS product selection, application dependent database performance tuning and application development on top of object databases. Series: Advances in Database Systems. Num Pages: 177 pages, biography. BIC Classification: UMB; UNS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 980.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 177
- Condition
- New
- SKU
- V9780792399711
- ISBN
- 9780792399711
Hardback
Condition: New
€ 189.43
€ 189.43
Hardback. The two main goals of this text are: to answer questions that SGML users may actually encounter, and to help them get "unstuck" and be as productive as possible in using the language; and to show proactive ways to simplify the use of SGML, and get its benefits with minimal complexity. Series: Electronic Publishing Series (Closed). Num Pages: 250 pages, biography. BIC Classification: UDB; UMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 250
- Condition
- New
- SKU
- V9780792399438
- ISBN
- 9780792399438
Hardback
Condition: New
€ 127.72
€ 127.72
Analog and Mixed-Signal Hardware Description Languages
. Ed(S): Vachoux, Alain; Berge, Jean-Michel; ...
Hardback. Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. This book shows how to use these hardware description languages in the design of electronic components and systems. It is suitable for researchers and designers working in electronic design. Editor(s): Vachoux, Alain; Berge, Jean-Michel; Levia, Oz; Rouillard, Jacques. Series: Current Issues in Electronic Modeling. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 235 x 155 x 11. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792398752
- ISBN
- 9780792398752
Hardback
Condition: New
€ 125.67
€ 125.67
Computational Issues in High Performance Software for Nonlinear Optimi...
. Ed(S): Murli, A.; Toraldo, Gerardo
hardcover. Brings together in one place important contributions and research results in this important area. This book serves as a reference, providing insight into some of the most important research issues in the field. Editor(s): Murli, A.; Toraldo, Gerardo. Num Pages: 158 pages, biography. BIC Classification: KJ; PBW; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 920.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer United States
- Edition
- Reprinted from COMPUTATIONAL OPTIMIZATION AND APPL
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792398622
- ISBN
- 9780792398622
Hardback
Condition: New
€ 187.50
€ 187.50
Using WAVES and VHDL for Effective Design and Testing
Hanna, James P.; Hillman, Robert G.; Hirsch, ...
Hardback. While VHDL was an IEEE standard language, and consistency among myriad designers was fairly well guaranteed, no such standard existed for test waveform generation and assessment. The Waveform and Vector Exchange Specification, or WAVES, was conceived and designed to solve this testing problem - and it has. This book deals with this topic. Num Pages: 304 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9780792397991
- ISBN
- 9780792397991
Hardback
Condition: New
€ 192.22
€ 192.22
Hardback. Brings together contributions and research results in this important area. This book serves as a reference, providing insight into some of the most important research issues in the field. Editor(s): Setliff, Dorothy E.; Reubenstein, Howard. Num Pages: 108 pages, biography. BIC Classification: UMZ; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 7. Weight in Grams: 750.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 108
- Condition
- New
- SKU
- V9780792397892
- ISBN
- 9780792397892
Hardback
Condition: New
€ 123.40
€ 123.40
Hardback. Encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. This book deals with precise specifications of 'what' is accomplished by the business and 'what' is to be done by a system. Editor(s): Kilov, Haim; Harvey, William. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792397786
- ISBN
- 9780792397786
Hardback
Condition: New
€ 192.27
€ 192.27
Hardback. Brings together in one place important contributions and research results in this important area. This work provides insight into some of the most important research issues in the field. Editor(s): Muller, Hausi A.; Norman, Ronald J.; Slonim, Jacob. Num Pages: 209 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 14. Weight in Grams: 1060.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from AUTOMATED SOFTWARE ENGINEERING, 3:
- Number of pages
- 209
- Condition
- New
- SKU
- V9780792397731
- ISBN
- 9780792397731
Hardback
Condition: New
€ 242.90
€ 242.90
Rapid Application Generation of Business and Finance Software
. Ed(S): Khebbal, Sukhdev; Sharpington, Chris
Hardback. Describes a method for developing various computing applications with the software technologies. This book shows how to build such software faster and more reliably. It covers such application areas as direct marketing, banking insurance and executive information systems. Editor(s): Khebbal, Sukhdev; Sharpington, Chris. Num Pages: 212 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780792397076
- ISBN
- 9780792397076
Hardback
Condition: New
€ 126.72
€ 126.72
Hardback. Addresses the construction and solution of analytic performability models for critical-application software. This book includes a review of general performability concepts, along with notions which are peculiar to software performability. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 202 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 488.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 202
- Condition
- New
- SKU
- V9780792396703
- ISBN
- 9780792396703
Hardback
Condition: New
€ 190.07
€ 190.07
Hardback. Presents a logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1240.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9780792396635
- ISBN
- 9780792396635
Hardback
Condition: New
€ 127.52
€ 127.52
Hardback. Presents a novel approach to decentralized process modeling that combines both trends and suggests a paradigm for decentralized PCEs, supporting concerted efforts among geographically-dispersed teams with emphasis on flexible control over the degree of collaboration versus autonomy provided. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 301 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 301
- Condition
- New
- SKU
- V9780792396314
- ISBN
- 9780792396314
Hardback
Condition: New
€ 192.02
€ 192.02
Hardback. Presents a knowledge-based approach to the automation of program understanding that plays an important role in various software related tasks. This book is suitable for computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-use. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 136 pages, biography. BIC Classification: UMZ; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 9. Weight in Grams: 377.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 136
- Condition
- New
- SKU
- V9780792396055
- ISBN
- 9780792396055
Hardback
Condition: New
€ 122.53
€ 122.53
Hardback. Presents an exposition of major developments in uniform random number generation for practical use. This book emphasizes on practice in relation to the theoretical background of uniform random numbers. It is suitable for those interested in algorithmic methods for generating 'randomness' on a computer. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 209 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 209
- Condition
- New
- SKU
- V9780792395720
- ISBN
- 9780792395720
Hardback
Condition: New
€ 243.17
€ 243.17