.png){kind=logo}
Computer programming / software development
Results 1641 - 1660 of 7832
Computer programming / software development
Paperback. Series: Lecture Notes in Control and Information Sciences. Num Pages: 165 pages, 21 black & white illustrations, biography. BIC Classification: PBF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 9. Weight in Grams: 301.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 165
- Condition
- New
- SKU
- V9783540523611
- ISBN
- 9783540523611
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. In this how-to companion to "Don't Make Me Think: A Common Sense Approach to Web Usability," Krug spells out an approach to usability testing that anyone can easily apply to their own Web site, application, or other product. This work makes it realistic for teams to test early and often, catching problems while it's still easy to fix them. Num Pages: 168 pages, black & white illustrations, colour illustrations. BIC Classification: UMW; UYZG. Category: (P) Professional & Vocational. Dimension: 227 x 179 x 9. Weight in Grams: 372.
- Publisher
- Pearson Education (US)
- Number of pages
- 168
- Format
- Paperback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780321657299
- ISBN
- 9780321657299
Paperback
Condition: New
€ 43.99€ 36.27
€ 43.99
€ 36.27
Hardback. Discusses the theoretical fundamentals and algorithms of analysis of noise as an information carrier. This monograph is of interest to students, postgraduates, engineers, scientific associates and others who are concerned with the processing of measuring information on computers. Num Pages: 199 pages, biography. BIC Classification: UMB; UYA; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1060.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 199
- Condition
- New
- SKU
- V9780306474798
- ISBN
- 9780306474798
Hardback
Condition: New
€ 131.75
€ 131.75
Hardback. This text deals with decision-making in environments of significant data uncertainty, with particular emphasis on operations and production management applications. It provides a comprehensive mathematical programming framework for robust decision making. Series: Nonconvex Optimization and Its Applications. Num Pages: 374 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 374
- Condition
- New
- SKU
- V9780792342915
- ISBN
- 9780792342915
Hardback
Condition: New
€ 378.45
€ 378.45
Paperback. Num Pages: 256 pages, black & white illustrations, bibliography. BIC Classification: TBC; TJFM; UGC; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 256
- Condition
- New
- SKU
- V9783642935145
- ISBN
- 9783642935145
Paperback
Condition: New
€ 55.86
€ 55.86
Paperback. Num Pages: 191 pages, black & white illustrations, bibliography. BIC Classification: TBC; TJFM; UGC; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 322.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 191
- Condition
- New
- SKU
- V9783642935121
- ISBN
- 9783642935121
Paperback
Condition: New
€ 49.64
€ 49.64
Paperback. Num Pages: 284 pages, black & white illustrations, bibliography. BIC Classification: TBC; TJFM; UGC; UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 15. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642935107
- ISBN
- 9783642935107
Paperback
Condition: New
€ 72.80
€ 72.80
Paperback. Num Pages: 384 pages. BIC Classification: TJFM1; UM. Category: (P) Professional & Vocational. Dimension: 232 x 178. .
- Publisher
- Que Publishing
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780789755001
- ISBN
- 9780789755001
Paperback
Condition: New
€ 22.30
€ 22.30
Paperback. Editor(s): Bianchi, Reinaldo; Akin, H. Levent; Ramamoorthy, Subramanian; Sugiura, Komei. Series: Lecture Notes in Computer Science. Num Pages: 733 pages, 366 black & white illustrations, biography. BIC Classification: TJFM1; UMZ; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 37. Weight in Grams: 1110.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 733
- Condition
- New
- SKU
- V9783319186146
- ISBN
- 9783319186146
Paperback
Condition: New
€ 70.63
€ 70.63
Paperback. Editor(s): Behnke, Sven; Veloso, Manuela M.; Visser, Arnoud; Xiong, Rong. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 704 pages, 322 black & white illustrations, biography. BIC Classification: TJFM1; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1062.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783662444672
- ISBN
- 9783662444672
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. This book contains the proceedings of the 16th Annual RoboCup International Symposium. Coverage includes perception and action, robotic cognition and learning, multi-robot systems, human-robot interaction, education and edutainment, and applications. Editor(s): Chen, Xiaoping; Stone, Peter; Sucar, Luis Enrique; Van Der Zant, Tijn. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 404 pages, 183 black & white illustrations, biography. BIC Classification: TJFM1; UKN; UMZ; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642392498
- ISBN
- 9783642392498
Paperback
Condition: New
€ 68.08
€ 68.08
paperback. Editor(s): Roefer, Thomas; Mayer, N. Michael; Savage, Jesus; Saranli, Uluc. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 625 pages, 320 black & white illustrations, biography. BIC Classification: TJFM1; UKN; UMZ; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 625
- Condition
- New
- SKU
- V9783642320590
- ISBN
- 9783642320590
Paperback
Condition: New
€ 70.20
€ 70.20
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 677 pages, biography. BIC Classification: TJFM; UG; UKN; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 1027.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 677
- Condition
- New
- SKU
- V9783642029202
- ISBN
- 9783642029202
Paperback
Condition: New
€ 197.92
€ 197.92
Paperback. Editor(s): Lopez, Javier; Ray, Indrajit; Crispo, Bruno. Series: Lecture Notes in Computer Science. Num Pages: 275 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 275
- Condition
- New
- SKU
- V9783319171265
- ISBN
- 9783319171265
Paperback
Condition: New
€ 66.64
€ 66.64
Paperback. Editor(s): Cuppens, Frederic; Cuppens, Nora; Lanet, Jean-Louis; Legay, Axel. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, 67 black & white illustrations, biography. BIC Classification: UMZ; UNH; URY; UT; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 239
- Condition
- New
- SKU
- V9783319548753
- ISBN
- 9783319548753
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Bauer, Thomas; Grossmann, Jurgen; Seehusen, Fredrik; Stolen, Ketil; Wendland, Marc-Florian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 137 pages, 35 black & white illustrations, biography. BIC Classification: UMZ; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 238.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 137
- Condition
- New
- SKU
- V9783319070759
- ISBN
- 9783319070759
Paperback
Condition: New
€ 55.88
€ 55.88
Rigorous Software Development: An Introduction to Program Verification...
Almeida, José Bacelar, Frade, Maria João, P...
Paperback. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite. Series: Undergraduate Topics in Computer Science. Num Pages: 320 pages, 52 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780857290175
- ISBN
- 9780857290175
Paperback
Condition: New
€ 50.33
€ 50.33
Hardback. A Rigorous Semantics for BPMN 2.0 Process Diagrams Num Pages: 245 pages, 79 black & white illustrations, 1 colour illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 245
- Condition
- New
- SKU
- V9783319099309
- ISBN
- 9783319099309
Hardback
Condition: New
€ 68.13
€ 68.13
Paperback. This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications. Series: Lecture Notes in Computer Science. Num Pages: 251 pages, biography. BIC Classification: PBKS; UMA; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 15. Weight in Grams: 388.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642114465
- ISBN
- 9783642114465
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. Offers an introduction to underlying techniques, as well as a compendium of theory and a guide to the author's Fortran 90 software for nonlinear algebraic systems and global, constrained optimization with automatic result verification. This book also contains non-traditional ideas concerning non-smooth optimization. Series: Nonconvex Optimization and Its Applications. Num Pages: 280 pages, biography. BIC Classification: PBKJ; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9780792342380
- ISBN
- 9780792342380
Hardback
Condition: New
€ 199.54
€ 199.54