.png){kind=logo}
Computer programming / software development
Results 817 - 840 of 8428
Computer programming / software development
Integrated System-level Modeling of Network-on-chip Enabled Multi-proc...
Kogel, Tim; Leupers, Rainer; Meyr, Heinrich
Hardback. Describes various developments in the area of SoC platforms and ESL design methodologies. This book presents a set of tools for the creation and exploration of timing approximate SoC platform models. Num Pages: 186 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 297 x 210 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 186
- Condition
- New
- SKU
- V9781402048258
- ISBN
- 9781402048258
Hardback
Condition: New
€ 198.07
€ 198.07
Hardback. A textbook for teaching object modeling, fundamental concepts learning and system designing with thirteen UML diagrams. It contains a whole section devoted to advanced research topics, samples and case studies. Num Pages: 480 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 244 x 164 x 37. Weight in Grams: 914.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 480
- Condition
- New
- SKU
- V9781402059766
- ISBN
- 9781402059766
Hardback
Condition: New
€ 204.16
€ 204.16
Hardback. Provides a comprehensive study of the field Reconfigurable Computing. This book provides an entry point to the novice willing to move in the research field reconfigurable computing, FPGA and system on programmable chip design. It can also be used as teaching reference for a graduate course in computer engineering. Num Pages: 359 pages, biography. BIC Classification: TJFC; UKR; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9781402060885
- ISBN
- 9781402060885
Hardback
Condition: New
€ 129.66
€ 129.66
Hardback. A contribution to the Chip Design Languages series that consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages. Editor(s): Huss, Sorin. Num Pages: 358 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1540.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 358
- Condition
- New
- SKU
- V9781402061479
- ISBN
- 9781402061479
Hardback
Condition: New
€ 201.25
€ 201.25
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic...
Ma, Zheng; Marchal, Pol; Scarpazza, Daniele P...
Hardback. Num Pages: 264 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 264
- Condition
- New
- SKU
- V9781402063282
- ISBN
- 9781402063282
Hardback
Condition: New
€ 133.08
€ 133.08
Hardback. Discusses the basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures. This title features a CD which includes case studies and lab projects for the design of FPGA and Coarse-grain architectures. Editor(s): Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece); Vassiliadis, Stamatis. Num Pages: 397 pages, biography. BIC Classification: TJFC; UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 397
- Condition
- New
- SKU
- V9781402065040
- ISBN
- 9781402065040
Hardback
Condition: New
€ 129.78
€ 129.78
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
€ 201.41
€ 201.41
hardcover. Introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. This book focuses on the efficient analysis of large-scale systems based on the concept of 'compositional verification' of modules. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 196 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 1080.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer United States
- Number of pages
- 196
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402070259
- ISBN
- 9781402070259
Hardback
Condition: New
€ 131.87
€ 131.87
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
€ 133.08
€ 133.08
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.00
€ 198.00
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
€ 133.20
€ 133.20
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
€ 131.73
€ 131.73
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.64
€ 69.64
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
€ 292.58
€ 292.58
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
€ 200.93
€ 200.93
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.41
€ 201.41
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
€ 129.90
€ 129.90
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
€ 133.65
€ 133.65
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.17
€ 197.17
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
€ 258.62
€ 258.62
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
€ 199.54
€ 199.54
Hardback. The first elementary exposition of core ideas of complexity theory for convex optimization, this book explores optimal methods and lower complexity bounds for smooth and non-smooth convex optimization. Also covers polynomial-time interior-point methods. Series: Applied Optimization. Num Pages: 254 pages, biography. BIC Classification: PBU; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 166 x 242 x 24. Weight in Grams: 552.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag New York Inc.
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9781402075537
- ISBN
- 9781402075537
Hardback
Condition: New
€ 232.16
€ 232.16
hardcover. Deals with developments in the areas of optimization, optimal control and system modeling. This volume contains selected papers from presentations at the 20th International Federation for Information Processing TC7 Conference on System Modeling and Optimization, which took place at the University of Trier, Germany from July 23 to 27, 2001. Editor(s): Sachs, E.W. (Universitat Trier, Germany); Tichatschke, Rainer. Series: IFIP Advances in Information and Communication Technology. Num Pages: 338 pages, biography. BIC Classification: PBW; TJFM; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402075650
- ISBN
- 9781402075650
Hardback
Condition: New
€ 134.30
€ 134.30
Hardback. Presents some of the basic ideas of constraint programming and mathematical programming, explores approaches to integration, offers information on heuristic methods, and attempts to discern directions in this field. Editor(s): Milano, Michela. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 370 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 692.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 370
- Condition
- New
- SKU
- V9781402075834
- ISBN
- 9781402075834
Hardback
Condition: New
€ 202.06
€ 202.06