Computer programming / software development
Results 721 - 740 of 3494
Computer programming / software development
Hardcover.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhäuser
- Edition
- 2000th Edition
- Number of pages
- 428
- Condition
- New
- SKU
- V9780817641818
- ISBN
- 9780817641818
Hardback
Condition: New
€ 69.75
€ 69.75
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.69
€ 50.69
Paperback. This book sets unites the various formalisms that define a programming language: 'small steps' operational semantics, 'big steps' operational semantics, and denotational semantics. It illustrates them with typical features of programming languages. Series: Undergraduate Topics in Computer Science. Num Pages: 108 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 180.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011th Edition
- Number of pages
- 129
- Condition
- New
- SKU
- V9780857290755
- ISBN
- 9780857290755
Paperback
Condition: New
€ 50.77
€ 50.77
Paperback. Introduction to Software Process Improvement provides a systematic guide to the steps in setting up a Capability Maturity Model Integration (CMMI) improvement initiative. Readers will learn the project management practices necessary to deliver high-quality software solutions to the customer, on time and on budget. Series: Undergraduate Topics in Computer Science. Num Pages: 270 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 157 x 13. Weight in Grams: 398.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011th Edition
- Number of pages
- 274
- Condition
- New
- SKU
- V9780857291714
- ISBN
- 9780857291714
Paperback
Condition: New
€ 53.28
€ 53.28
Hardcover. This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. It provides a hands-on approach to learning and makes extensive use of examples. Includes a glossary as well as a range of programming exercises. Num Pages: 428 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 241 x 158 x 24. Weight in Grams: 770.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011th Edition
- Number of pages
- 428
- Condition
- New
- SKU
- V9780857294487
- ISBN
- 9780857294487
Hardback
Condition: New
€ 102.55
€ 102.55
Paperback. Robotics in C. 543 pages, illustrations. Cateogry: (G) General (US: Trade). BIC Classification: UM. Dimension: 231 x 179 x 30. Weight: 880.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Variant Press
- Edition
- 2nd Edition
- Number of pages
- 543
- Condition
- New
- SKU
- V9780973864977
- ISBN
- 9780973864977
Paperback
Condition: New
€ 32.99€ 31.29
€ 32.99
€ 31.29
Paperback. Learn how to build apps for mobile devices on Cloud platforms The marketplace for apps is ever expanding, increasing the potential to make money. With this guide, you'll learn how to build cross-platform applications for mobile devices that are supported by the power of Cloud-based services such as Amazon Web Services. Num Pages: 552 pages, Illustrations. BIC Classification: UMS. Category: (P) Professional & Vocational. Dimension: 233 x 190 x 26. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 552
- Condition
- New
- SKU
- V9781118034699
- ISBN
- 9781118034699
Paperback
Condition: New
€ 43.51
€ 43.51
Paperback. How did digital media happen ? Through a unique approach to digital documents, and detailed intricate histories of illicit internet piracy networks, The Digital Culture Industry goes beyond the Napster creation myth and illuminates the unseen individuals, code and events behind the turn to digital media. Num Pages: 231 pages, biography. BIC Classification: JFC; JFD; UBJ; UM; UT. Category: (G) General (US: Trade). Dimension: 216 x 140. Weight in Grams: 315.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 231
- Condition
- New
- SKU
- V9781349441501
- ISBN
- 9781349441501
Paperback
Condition: New
€ 66.37
€ 66.37
Paperback. Num Pages: 217 pages, biography. BIC Classification: JFC; JFD; UG; UML; UT. Category: (G) General (US: Trade). Dimension: 216 x 140. .
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 217
- Condition
- New
- SKU
- V9781349448883
- ISBN
- 9781349448883
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Drawing on case studies across the Asia-Pacific region, Gaming in Social, Locative and Mobile Media explores the 'playful turn' in contemporary everyday life, and the role of mobile devices, games and social media in this transformation. Num Pages: 180 pages, biography. BIC Classification: JFC; JFD; UML. Category: (G) General (US: Trade). Dimension: 216 x 140 x 10. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 180
- Condition
- New
- SKU
- V9781349453535
- ISBN
- 9781349453535
Paperback
Condition: New
€ 65.45
€ 65.45
Paperback. Num Pages: 239 pages, biography. BIC Classification: KJC; UMX. Category: (G) General (US: Trade). Dimension: 229 x 152. .
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 239
- Condition
- New
- SKU
- V9781349667000
- ISBN
- 9781349667000
Paperback
Condition: New
€ 67.17
€ 67.17
Hardback. Contains refereed papers based on lectures presented at the XIV International Conference on Mathematical Programming, held at Matrahaza, Hungary. This volume is suitable for researchers in operations research, economics, mathematics, physics, and engineering. Editor(s): Giannessi, Franco; Pardalos, Panos M.; Rapcsak, Tamas. Series: Applied Optimization. Num Pages: 280 pages, biography. BIC Classification: PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9781402000096
- ISBN
- 9781402000096
Hardback
Condition: New
€ 134.45
€ 134.45
Hardback. Semi-infinite programming (SIP) deals with optimization problems in which either the number of decision variables or the number of constraints is finite. This book presents the state of the art in SIP in a suggestive way, bringing the powerful SIP tools close to the potential users in different scientific and technological fields. Editor(s): Goberna, Miguel Angel; Lopez, Marco A. Series: Nonconvex Optimization and Its Applications. Num Pages: 386 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 747.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402000324
- ISBN
- 9781402000324
Hardback
Condition: New
€ 290.45
€ 290.45
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 136.60
€ 136.60
Hardback. Aimed at practitioners, graduate students in mathematics, statistics, computer science and engineering, this book is dedicated to the 70th birthday of Professor J Mockus, whose scientific interests include theory and applications of global and discrete optimization, and stochastic programming. Editor(s): Dzemyda, Gintautas; Saltenis, Vydunas; Zilinskas, Antanas. Series: Nonconvex Optimization and Its Applications. Num Pages: 248 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 248
- Condition
- New
- SKU
- V9781402004841
- ISBN
- 9781402004841
Hardback
Condition: New
€ 132.70
€ 132.70
Hardback. Semidefinite programming has been described as linear programming for the year 2000. This monograph explains the basic theory of interior point algorithms. It includes the results on the properties of the central path as well as the analysis of the most important classes of algorithms. Series: Applied Optimization. Num Pages: 304 pages, biography. BIC Classification: PBU; PBW; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9781402005473
- ISBN
- 9781402005473
Hardback
Condition: New
€ 201.72
€ 201.72
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 261.37
€ 261.37
Convexification and Global Optimization in Continuous and Mixed-intege...
Tawarmalani, Mohit; Sahinidis, Nikolaos V.
Hardback. Provides a treatment of convexification and global optimization of continuous and mixed-integer nonlinear programs. Series: Nonconvex Optimization and Its Applications. Num Pages: 503 pages, 89 black & white illustrations. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 28. Weight in Grams: 885.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 503
- Condition
- New
- SKU
- V9781402010316
- ISBN
- 9781402010316
Hardback
Condition: New
€ 255.46
€ 255.46
Hardback. Gives information about the various advances of optimization in telecommunications, supply chain management, auto manufacturing, aerospace engineering, power industry, air traffic management, complexity and others. This book is suitable for advanced undergraduate students, graduate students as well as research workers and practitioners. Editor(s): Pardalos, Panos M.; Korotkikh, Victor. Series: Applied Optimization. Num Pages: 352 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 1490.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 352
- Condition
- New
- SKU
- V9781402011870
- ISBN
- 9781402011870
Hardback
Condition: New
€ 202.72
€ 202.72
Hardback. Provides both the basic backgrounds for the novice modeler and a useful reference for experienced modelers. This work represents the exploitation of mathematical tools and methods to solve large optimization models with contributions from European companies and Universities. It is suitable for students, researchers and practitioners. Editor(s): Ciriani, Tito A.; Fasano, G. (Alenia Spazio SpA, Turin, Italy); Gliozzi, Stefano (IBM Italia, Rome, Italy); Tadei, Roberto. Series: Applied Optimization. Num Pages: 446 pages, biography. BIC Classification: PBU; PBW; TTDS; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 165 x 31. Weight in Grams: 828.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 446
- Condition
- New
- SKU
- V9781402012181
- ISBN
- 9781402012181
Hardback
Condition: New
€ 383.55
€ 383.55