.png){kind=logo}
Computer programming / software development
Results 701 - 720 of 7795
Computer programming / software development
Hardback. On September 11, 2001 the World became cognizant of the security challenges it faces on an international scale, with an awareness prompting various communities to help the world meet an array of security challenges. This book presents a systematic national security research framework, and discusses IT technical components, and directions. Series: Integrated Series in Information Systems. Num Pages: 182 pages, biography. BIC Classification: JPA; KJQ; UKR; UMB; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 164 x 18. Weight in Grams: 436.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9780387243795
- ISBN
- 9780387243795
Hardback
Condition: New
€ 249.46
€ 249.46
Software Process Model Handbook for Incorporating People's Capabilitie...
Acuna, Silvia T.; Juristo, Natalia; Moreno, A...
Hardback. Introduces a capabilities-oriented software process model, which has been formalized in Unified Modeling Language and implemented as a tool. This text talks about the literature on people-related aspects in software engineering, meeting the challenge of extending software process definitions to address people-related considerations. Num Pages: 324 pages, 90 black & white illustrations, 65 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 689.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9780387244327
- ISBN
- 9780387244327
Hardback
Condition: New
€ 195.64
€ 195.64
hardcover. A collection of forty papers, presented at a multi-conference on Advanced Computer Systems and Computer Information Systems and Industrial Management Applications held in Poland. This volume describes the developments in advanced computer systems and their applications within artificial intelligence, biometrics and information technology security. Editor(s): Saeed, Khalid; Pejas, Jerzy. Num Pages: 475 pages, biography. BIC Classification: UMZ; URY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 862.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer United States
- Number of pages
- 475
- Condition
- New
- Edition
- 2005th Edition
- SKU
- V9780387250915
- ISBN
- 9780387250915
Hardback
Condition: New
€ 258.88
€ 258.88
Hardcover. Outlines and illustrates the problems that are faced in order by the next generation of IP networks to meet their expected performance. Editor(s): Girard, Andre; Sanso, Brunilde; Vazquez-Abad, Felisa (GERAD and Universite de Montreal). Num Pages: 365 pages, 18 black & white tables, biography. BIC Classification: UMWS. Category: (P) Professional & Vocational. Dimension: 243 x 162 x 27. Weight in Grams: 804.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9780387255507
- ISBN
- 9780387255507
Hardback
Condition: New
€ 135.24
€ 135.24
Hardback. Covers the methodology and techniques of constrained verification. This title relates constrained verification with the technology called assertion - based design. It discusses and clarifies language issues, critical to both the above, which helps the implementation of these languages. Num Pages: 254 pages, 72 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9780387259475
- ISBN
- 9780387259475
Hardback
Condition: New
€ 132.81
€ 132.81
System Level Design of Reconfigurable Systems-on-chip
Voros, Nikolaos S.. Ed(S): Masselos, Konstant...
Hardback. Proposes approaches based on SystemC and OCAPI-XL that explicitly handle issues related to reconfiguration at the system level. This title introduces a design flow for designing reconfigurable systems-on-chip. It provides an introduction to reconfigurable hardware and existing reconfigurable technologies. Editor(s): Masselos, Konstantinos. Num Pages: 232 pages, biography. BIC Classification: TJFC; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9780387261034
- ISBN
- 9780387261034
Hardback
Condition: New
€ 128.21
€ 128.21
Hardback. Verification is too often approached in an ad hoc fashion. Visually inspecting simulation results is no longer feasible and the directed test-case methodology is reaching its limit. This title offers a blueprint of a verification process that intends for success using the SystemVerilog language. Num Pages: 412 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 412
- Condition
- New
- SKU
- V9780387292212
- ISBN
- 9780387292212
Hardback
Condition: New
€ 257.89
€ 257.89
Hardback. Serving as an introduction to diagrammatical visual languages, this book covers the underlying theory of graph grammars to the applications in various domains. It provides a treatment of visual language generation and coverage of successful, as well as potential applications. Num Pages: 260 pages, 109 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9780387298139
- ISBN
- 9780387298139
Hardback
Condition: New
€ 143.74
€ 143.74
Hardback. This book provides an introduction to MIP modeling and to planning systems, a unique collection of reformulation results, and an easy to use problem-solving library. This approach is demonstrated through a series of real life case studies, exercises and detailed illustrations. Series: Springer Series in Operations Research and Financial Engineering. Num Pages: 524 pages, 53 black & white tables, biography. BIC Classification: KJMV5; PBWH; UM. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 37. Weight in Grams: 934.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 524
- Condition
- New
- SKU
- V9780387299594
- ISBN
- 9780387299594
Hardback
Condition: New
€ 149.08
€ 149.08
Hardback. These proceedings, from ISD 2007 in Ireland, represent academic reflections on established information systems topics and emerging concepts and approaches. The papers in this volume will disseminate the latest research in this notoriously transitional field. Editor(s): Barry, Chris; Conboy, Kieran; Lang, Michael; Wojtkowski, Wita; Wojtkowski, Gregory; Wrycza, Stanislaw; Zupancic, Joze. Num Pages: 602 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 33. Weight in Grams: 992.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 602
- Condition
- New
- SKU
- V9780387304038
- ISBN
- 9780387304038
Hardback
Condition: New
€ 198.28
€ 198.28
Hardback. Develops models, results and algorithms for optimizing public transportation from a customer-oriented viewpoint. This book covers the specific topics that are motivated by real-world examples which occurred in practical projects: location of stops, management of delay, and tariff zone design. Series: Springer Optimization and its Applications. Num Pages: 282 pages, 2 black & white tables, biography. BIC Classification: KJT; PBKS; PBUH; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 177 x 24. Weight in Grams: 554.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 282
- Condition
- New
- SKU
- V9780387328966
- ISBN
- 9780387328966
Hardback
Condition: New
€ 166.35
€ 166.35
Hardback. Deals with ideas and information related to the field of Genetic Programming. This book examines the similarities and differences between theoretical and empirical results on real-world problems. It explores the synergy between theory and practice, and produces a comprehensive view of the Genetic Programming application. Editor(s): Riolo, Rick; Soule, Terence; Worzel, Bill. Series: Genetic and Evolutionary Computation. Num Pages: 338 pages, 200 black & white illustrations, biography. BIC Classification: UM; UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1500.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 338
- Condition
- New
- SKU
- V9780387333755
- ISBN
- 9780387333755
Hardback
Condition: New
€ 200.98
€ 200.98
Open Source Systems: IFIP Working Group 2.13 Foundation on Open Source...
. Ed(S): Damiani, Ernesto; Fitzgerald, Brian;...
hardcover. Collects the proceedings of the Second International Conference on Open Software - OSS 2006, held in Como, Italy in June, 2006, where researchers from all over the world discussed how OSS is produced, its huge potential for innovative applications and in groundbreaking OSS business models. Editor(s): Damiani, Ernesto; Fitzgerald, Brian; Scacchi, Walt; Scotto, Marco. Series: IFIP Advances in Information and Communication Technology. Num Pages: 373 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1550.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer United States
- Number of pages
- 373
- Condition
- New
- Edition
- 2006th Edition
- SKU
- V9780387342252
- ISBN
- 9780387342252
Hardback
Condition: New
€ 135.00
€ 135.00
hardcover. Provides a review and explanation of the theory of stochastic max-plus linear systems. This book covers modeling issues and stability theory for stochastic max-plus systems, perturbation analysis of max-plus systems, and developing a calculus for differentiation of max-plus systems. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 332 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 332
- Condition
- New
- Edition
- 2007th Edition
- SKU
- V9780387352060
- ISBN
- 9780387352060
Hardback
Condition: New
€ 232.63
€ 232.63
paperback. This is an introduction both to quantum computing for non-physicists and to genetic programming for non-computer-scientists. The book explores ways in which genetic programming can support automatic quantum computer programming, offering specific techniques in detail, with examples of their human-competitive performance on real-world problems. Series: Genetic Programming. Num Pages: 154 pages, biography. BIC Classification: UM; UYQM. Category: (P) Professional & Vocational; (UF) Further/Higher Education. Dimension: 234 x 156 x 9. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. 2004. 2nd printing 2006
- Number of pages
- 154
- Condition
- New
- SKU
- V9780387364964
- ISBN
- 9780387364964
Paperback
Condition: New
€ 161.45
€ 161.45
Hardback. Individuals and enterprises are looking for optimal solutions for the problems they face. Most problems can be expressed in mathematical terms, and so the methods of optimization render a significant aid. This book details the achievements in optimization. It offers comprehensive coverage on Differential Evolution. Series: Springer Optimization and its Applications. Num Pages: 208 pages, 73 black & white illustrations, 16 black & white tables, biography. BIC Classification: PBUH; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 208
- Condition
- New
- SKU
- V9780387368955
- ISBN
- 9780387368955
Hardback
Condition: New
€ 70.90
€ 70.90
Hardback. Medical science and practice have undergone fundamental changes, as large-scale genome projects have resulted in the sequencing of a number of important microbial, plant and animal genomes. This book intends to combine industry standard software engineering and design principles with genomics, bioinformatics and cancer research. Num Pages: 342 pages, 92 black & white illustrations, 16 colour illustrations, biography. BIC Classification: MBF; MBG; UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 342
- Condition
- New
- SKU
- V9780387372358
- ISBN
- 9780387372358
Hardback
Condition: New
€ 196.21
€ 196.21
Hardback. This book offers a venue for rapidly learning the language of C++ by concisely revealing its grammar, syntax and main features. It also explains the key ideas behind object oriented programming (OOP) with emphasis on scientific computing. Num Pages: 372 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 372
- Condition
- New
- SKU
- V9780387689920
- ISBN
- 9780387689920
Hardback
Condition: New
€ 68.86
€ 68.86
hardcover. Designed as a reference on the compilation of the Esterel synchronous reactive real-time language, this book covers various aspects of the language. It includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it. Num Pages: 336 pages, biography. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 1500.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 336
- Condition
- New
- Edition
- 2007th Edition
- SKU
- V9780387706269
- ISBN
- 9780387706269
Hardback
Condition: New
€ 200.98
€ 200.98
Hardback. This book focuses on Object Orientation Programming and its applications for C++ and SystemVerilog. It includes discussion on why and when certain features should be used. The book also includes an open source verification framework as well as examples. Num Pages: 314 pages, biography. BIC Classification: TJFC; UGC; UK; UMX. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 18. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 314
- Condition
- New
- SKU
- V9780387717388
- ISBN
- 9780387717388
Hardback
Condition: New
€ 196.77
€ 196.77