Computer programming / software development
Results 741 - 760 of 3494
Computer programming / software development
Hardback. Proceedings of the NATO Advanced Research Workshop, held in Sinaia, Romania, 17-22 September 2002 Editor(s): Herzog, Jurgen; Vuletescu, Victor. Series: NATO Science Series II. Num Pages: 273 pages, biography. BIC Classification: PBF; PBG; PBW; 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
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9781402014864
- ISBN
- 9781402014864
Hardback
Condition: New
€ 199.61
€ 199.61
Paperback. Proceedings of the NATO Advanced Research Workshop, held in Sinaia, Romania, 17-22 September 2002 Editor(s): Herzog, Jurgen; Vuletescu, Victor. Series: NATO Science Series II. Num Pages: 273 pages, biography. BIC Classification: PBF; PBG; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 15. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9781402014871
- ISBN
- 9781402014871
Paperback
Condition: New
€ 198.78
€ 198.78
Hardback. Investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level. This book gives an overview of transaction models, and analyzes their suitability for concurrent programming languages. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: UMN. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 19. Weight in Grams: 612.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 279
- Condition
- New
- SKU
- V9781402017278
- ISBN
- 9781402017278
Hardback
Condition: New
€ 128.92
€ 128.92
Hardback. Call-by-push-value is a programming language paradigm that breaks down the call-by-value and call-by-name paradigms into simple primitives. Aimed at graduate students and researchers, this monograph presents the call-by-push-value structure underlying semantics, including operational semantics, domains, possible worlds, continuations, and games. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: TJFD; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 733.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 352
- Condition
- New
- SKU
- V9781402017308
- ISBN
- 9781402017308
Hardback
Condition: New
€ 229.34
€ 229.34
Hardback. Aims to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. This book explains computer programs, and includes applications and corresponding numerical tests. It is designed to bridge the gap between mathematical abstract algorithms and concrete numerical ones. Series: Solid Mechanics and its Applications. Num Pages: 340 pages, biography. BIC Classification: PBKQ; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402017711
- ISBN
- 9781402017711
Hardback
Condition: New
€ 197.32
€ 197.32
Engineering Theories of Software Intensive Systems: Proceedings of the...
Broy, Manfred, Harel, David, Hoare, Tony, Gru...
Paperback. Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance. Editor(s): Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony. Series: NATO Science Series II. Num Pages: 404 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9781402035319
- ISBN
- 9781402035319
Paperback
Condition: New
€ 257.15
€ 257.15
Hardback. Outlines packaged software class libraries to enable researchers to find cost-effective and efficient methods of getting problems coded into the computer, or into a modeling language package or into optimizing solvers - hence providing software coding solutions to whatever specialized needs a specific problem might require. Editor(s): Voss, Stefan; Woodruff, David L. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 370 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 703.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 370
- Condition
- New
- SKU
- V9781402070020
- ISBN
- 9781402070020
Hardback
Condition: New
€ 203.13
€ 203.13
Hardback. Contains a collection of papers providing a snapshot of hardware support for Java. This book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently. Editor(s): Narayanan, Vijaykrishnan; Wolczko, Mario L. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 252 pages, biography. BIC Classification: UMW; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781402070341
- ISBN
- 9781402070341
Hardback
Condition: New
€ 134.21
€ 134.21
Foundations of Information Technology in the Era of Network and Mobile...
. Ed(S): Baeza-Yates, Ricardo; Montanari, Ugo...
Hardback. Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002. Editor(s): Baeza-Yates, Ricardo; Montanari, Ugo; Santoro, Nicola. Series: IFIP Advances in Information and Communication Technology. Num Pages: 628 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 628
- Condition
- New
- SKU
- V9781402071812
- ISBN
- 9781402071812
Hardback
Condition: New
€ 198.04
€ 198.04
Hardback. Stresses how business components are built for large-scale applications, within dedicated development processes and for easy and direct combination. This book introduces the advances on Component-Based Software Engineering. It is suitable for practitioners and researchers in industry and graduate-level students in Computer Science and Engineering. Editor(s): Barbier, Franck. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 272 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9781402072079
- ISBN
- 9781402072079
Hardback
Condition: New
€ 134.33
€ 134.33
Hardback. Describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design, where time-to-market demands are critical. This book presents several EA techniques, showing their application at different levels of the design process. It demonstrates several optimization steps, including DSP code optimization and test generation. Editor(s): Drechsler, Rolf; Drechsler, Nicole. Series: Genetic Algorithms and Evolutionary Computation. Num Pages: 177 pages, biography. BIC Classification: UMB; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 177
- Condition
- New
- SKU
- V9781402072765
- ISBN
- 9781402072765
Hardback
Condition: New
€ 132.85
€ 132.85
Hardback. The Network Interdiction Problem has a variety of applications in areas, such as transportation and the communications area. This book focuses on problems associated with protecting and attacking computer, transportation, and social networks. It is organized with interdiction papers first and the stochastic programming papers in the second part. Editor(s): Woodruff, David L. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 136 pages, biography. BIC Classification: PBWL; UM; UTN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 387.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 136
- Condition
- New
- SKU
- V9781402073021
- ISBN
- 9781402073021
Hardback
Condition: New
€ 69.66
€ 69.66
Hardback. Presents the verification techniques to produce fully functional first silicon ASICs, systems-on-a-chip (SoC), boards and entire systems. This title covers topics such as discussions on OpenVera; approaches for writing constrainable random stimulus generators; and, strategies for making testbenches self-checking. Num Pages: 478 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 35. Weight in Grams: 894.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2nd ed. 2003
- Number of pages
- 478
- Condition
- New
- SKU
- V9781402074011
- ISBN
- 9781402074011
Hardback
Condition: New
€ 295.10
€ 295.10
hardcover. Part of the "CHDL Series", this work features a selection of the best papers presented in FDL'02. It contains papers from the Specification Formalisms for Proven design workshop that present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B. Editor(s): Villar, Eugenio; Mermet, Jean. Series: CHDL. Num Pages: 340 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 340
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402074141
- ISBN
- 9781402074141
Hardback
Condition: New
€ 202.65
€ 202.65
Hardback. The software engineering field has observed an increased integration with the Computational Intelligence (CI) field, which is comprised of the mature technologies of fuzzy logic, artificial neural networks and rough sets. This book contains contributions that focus on applying CI techniques to address various software engineering problems. Editor(s): Khoshgoftaar, Taghi M. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 361 pages, biography. BIC Classification: UG; UMZ; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 703.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 361
- Condition
- New
- SKU
- V9781402074271
- ISBN
- 9781402074271
Hardback
Condition: New
€ 201.34
€ 201.34
Hardback. Designed to meet the needs of a professional audience composed of in computer science and engineering, this work is a compilation of contributing papers presented at TOOLS (Technology of Object-Oriented Languages and Systems) Eastern Europe 2000 and 2002. Editor(s): D'Hondt, Theo. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 231 pages, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 231
- Condition
- New
- SKU
- V9781402074288
- ISBN
- 9781402074288
Hardback
Condition: New
€ 131.00
€ 131.00
Identifying Relevant Information for Testing Technique Selection
Vegas, Sira; Juristo, Natalia; Basili, Victor...
Hardback. The importance of properly selecting testing techniques is widely accepted in the software engineering community. The problem addressed in this book is aimed at improving software testing technique selection. This book is designed for those in software engineering. It is also suitable for students in computer science and engineering. Series: International Series in Software Engineering. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9781402074356
- ISBN
- 9781402074356
Hardback
Condition: New
€ 134.79
€ 134.79
Hardback. Provides the comprehensive introduction to Grammatical Evolution, a novel approach to Genetic Programming that adopts principles from molecular biology. This approach to Genetic Programming represents a powerful new weapon in the Machine Learning toolkit that can be applied to a diverse set of problem domains. Series: Genetic Programming. Num Pages: 144 pages, biography. BIC Classification: UM; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 160 x 15. Weight in Grams: 410.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 144
- Condition
- New
- SKU
- V9781402074448
- ISBN
- 9781402074448
Hardback
Condition: New
€ 197.11
€ 197.11
Hardback. Discusses software visualization in the perspective of software engineering. This title includes a collection of 14 chapters on software visualization, covering the topics from theory to practical systems. It includes chapters that are divided into four Parts. Editor(s): Zhang, Kang. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 442 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9781402074486
- ISBN
- 9781402074486
Hardback
Condition: New
€ 260.85
€ 260.85
Hardback. Introduces readers of different backgrounds to the selected algorithms. This book is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. It is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 266 pages, biography. BIC Classification: UMB; UMW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 266
- Condition
- New
- SKU
- V9781402075131
- ISBN
- 9781402075131
Hardback
Condition: New
€ 201.26
€ 201.26