.png){kind=logo}
Computer programming / software development
Results 5401 - 5424 of 8428
Computer programming / software development
Paperback. Series: Fachberichte Simulation. Num Pages: 248 pages, black & white illustrations, bibliography. BIC Classification: PS; TBJ; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540137849
- ISBN
- 9783540137849
Paperback
Condition: New
€ 83.55
€ 83.55
Paperback. GPSS-FORTRAN is a simulator for the simulation of discrete, continuous, and combined models. Provides a reference for GPSS-FORTRAN Version 3 and illustrates the use of the lan- guage by numerous examples. Num Pages: 354 pages, biography. BIC Classification: UGK; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 533.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 354
- Condition
- New
- SKU
- V9781461291411
- ISBN
- 9781461291411
Paperback
Condition: New
€ 128.27
€ 128.27
Paperback. Num Pages: 308 pages, biography. BIC Classification: UGK; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 469.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 308
- Condition
- New
- SKU
- V9781461291404
- ISBN
- 9781461291404
Paperback
Condition: New
€ 127.85
€ 127.85
Paperback. 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 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 332
- Condition
- New
- SKU
- V9781441941985
- ISBN
- 9781441941985
Paperback
Condition: New
€ 204.43
€ 204.43
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
Hardcover.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783642220142
- ISBN
- 9783642220142
Hardback
Condition: New
€ 106.37
€ 106.37
Paperback. Num Pages: 728 pages. BIC Classification: UMZ. Category: (U) Tertiary Education (US: College). Dimension: 276 x 217 x 23. Weight in Grams: 1342.
- Publisher
- Pearson Education Limited
- Number of pages
- 736
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd edition
- Condition
- New
- SKU
- V9781292024011
- ISBN
- 9781292024011
Paperback
Condition: New
€ 104.03
€ 104.03
Model-Driven Dependability Assessment of Software Systems
Bernardi, Simona; Merseguer, Jose; Petriu, Do...
Hardback. Model-Driven Dependability Assessment of Software Systems Num Pages: 203 pages, 55 black & white illustrations, biography. BIC Classification: UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 473.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642395116
- ISBN
- 9783642395116
Hardback
Condition: New
€ 127.78
€ 127.78
Hardback. The testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world. Num Pages: 372 pages, Illustrations. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 238 x 161 x 26. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781848213241
- ISBN
- 9781848213241
Hardback
Condition: New
€ 185.30
€ 185.30
Paperback. Virtualization has become a "megatrend"-and for good reason. Implementing virtualization allows for more efficient utilization of network server capacity, simpler storage administration, reduced energy costs, and better use of corporate capital. In other words: virtualization helps you save money, energy, and space. Num Pages: 384 pages, Illustrations. BIC Classification: UMZ; UTV. Category: (P) Professional & Vocational. Dimension: 234 x 189 x 22. Weight in Grams: 612.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 384
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470148310
- ISBN
- 9780470148310
Paperback
Condition: New
€ 40.99€ 31.81
€ 40.99
€ 31.81
Hardback. Studies the problem of designing, at minimal cost, a two-connected network such that each edge belongs to a cycle of bounded length. This book also studies the underlying polyhedron, proposing several classes of facet-defining inequalities that are used in a branch-and-cut algorithm. Series: Network Theory and Applications. Num Pages: 204 pages, 12 black & white illustrations, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1100.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 204
- Condition
- New
- SKU
- V9780792364146
- ISBN
- 9780792364146
Hardback
Condition: New
€ 132.09
€ 132.09
Paperback. Series: Network Theory and Applications. Num Pages: 204 pages, 12 black & white illustrations, biography. BIC Classification: PBKS; PBU; PBWH; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 204
- Condition
- New
- SKU
- V9781461371137
- ISBN
- 9781461371137
Paperback
Condition: New
€ 127.06
€ 127.06
Hardcover. This comprehensive guide describes how evolutionary algorithms (EA) may be used to identify, model, and optimize day-to-day problems that arise for researchers in optimization and mobile networking. Series: Nature-Inspired Computing Series. Num Pages: 240 pages, black & white tables, figures. BIC Classification: PBU; TJKW; UMB; UTW. Category: (P) Professional & Vocational. Dimension: 155 x 242 x 15. Weight in Grams: 460.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9781118341131
- ISBN
- 9781118341131
Hardback
Condition: New
€ 125.42
€ 125.42
Paperback.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- APress United States
- Edition
- 2nd Edition
- Number of pages
- 280
- Condition
- New
- SKU
- V9781590597538
- ISBN
- 9781590597538
Paperback
Condition: New
€ 37.99€ 33.15
€ 37.99
€ 33.15
Paperback. "Game tool development tricks, tips, and concepts from industry experts"--Cover. Num Pages: 239 pages, 84 black & white illustrations, biography. BIC Classification: UMZ; UY. Category: (G) General (US: Trade). Dimension: 236 x 192 x 12. Weight in Grams: 414.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9781430267003
- ISBN
- 9781430267003
Paperback
Condition: New
€ 72.25
€ 72.25
Tool Support for System Specification, Development and Verification
Berghammer, Rudolf. Ed(S): Berghammer, Rudolf...
Paperback. This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies. Editor(s): Berghammer, Rudolf; Lakhnech, Y. Series: Advances in Computing Sciences. Num Pages: 241 pages, 53 black & white illustrations. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 241
- Condition
- New
- SKU
- V9783211832820
- ISBN
- 9783211832820
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, biography. BIC Classification: PBD; PBF; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642046384
- ISBN
- 9783642046384
Paperback
Condition: New
€ 67.79
€ 67.79
Paperback. Num Pages: 520 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 520
- Condition
- New
- SKU
- V9781461498131
- ISBN
- 9781461498131
Paperback
Condition: New
€ 141.10
€ 141.10
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 214 pages, biography. BIC Classification: GPFC; THR; UGC; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 214
- Condition
- New
- SKU
- V9781461364276
- ISBN
- 9781461364276
Paperback
Condition: New
€ 66.37
€ 66.37
Hardback. Series: Xpert.Press. Num Pages: black & white illustrations, black & white tables, colour tables, bibliography. BIC Classification: KJC; KJM; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 10. Weight in Grams: 435.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642550638
- ISBN
- 9783642550638
Hardback
Condition: New
€ 83.52
€ 83.52
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009. This book contains sections on compilation technologies, reconfigurable hardware and applications, massive parallel architectures, organic computing and memory architectures. Series: Lecture Notes in Computer Science. Num Pages: 259 pages, biography. BIC Classification: UKN; UKR; UL; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642004537
- ISBN
- 9783642004537
Paperback
Condition: New
€ 66.78
€ 66.78
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 186.93
€ 186.93
Paperback. This text provides an insight into some of the most important ideas in human-computer interaction. The authors describe ERMIA (Entity-Relationship Modelling of Information Artefacts) and explain how it can be used to develop effective interfaces. Series: Practitioner Series. Num Pages: 187 pages, 13 black & white illustrations, biography. BIC Classification: UL; UMZ; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 187
- Condition
- New
- SKU
- V9781852330095
- ISBN
- 9781852330095
Paperback
Condition: New
€ 66.10
€ 66.10
Hardcover. Cryptography in Constant Parallel Time Series: Information Security and Cryptography. Num Pages: 193 pages, 3 black & white illustrations, biography. BIC Classification: UMB; UR; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 16. Weight in Grams: 462.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 210
- Condition
- New
- SKU
- V9783642173660
- ISBN
- 9783642173660
Hardback
Condition: New
€ 67.09
€ 67.09