.png){kind=logo}
Computer programming / software development
Results 7001 - 7020 of 7783
Computer programming / software development
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
€ 259.12
€ 259.12
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
€ 199.99
€ 199.99
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.69
€ 132.69
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
€ 135.45
€ 135.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.53
€ 290.53
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
€ 133.32
€ 133.32
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
€ 66.95
€ 66.95
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.44
€ 65.44
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
€ 66.95
€ 66.95
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
€ 65.82
€ 65.82
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. 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.37
€ 32.99
€ 31.37
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.58
€ 102.58
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
€ 52.84
€ 52.84
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.34
€ 50.34
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
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.28
€ 69.28
Hardcover. Presents a completely automated approach to generating abstractions for problem-solving. This is done using a tractable, domain-independent algorithm whose input is the definition of a problem space and the problem to be solved, and whose output is an abstraction hierarchy tailored to that problem. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 168 pages, biography. BIC Classification: UM; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 243 x 164 x 15. Weight in Grams: 380. An Automated Approach to Reducing Search in Planning. Series: The Springer International Series in Engineering and Computer Science. 183 pages, 6 black & white illustrations. Presents a completely automated approach to generating abstractions for problem-solving. This is done using a tractable, domain-independent algorithm whose input is the definition of a problem space and the problem to be solved, and whose output is an abstraction hierarchy tailored to that problem. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. BIC Classification: UM; UYQM. Dimension: 243 x 164 x 15. Weight: 380.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer
- Edition
- 1993rd Edition
- Number of pages
- 183
- Condition
- New
- SKU
- V9780792393108
- ISBN
- 9780792393108
Hardback
Condition: New
€ 193.98
€ 193.98
Hardcover. Concurrent constraint programming (ccp) is a recent development in programming language design. This book analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, it covers various object models and discusses their properties. Small Oz, a sublanguage of the ccp language. Editor(s): Henz, Martin. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 192 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792380382
- ISBN
- 9780792380382
Hardback
Condition: New
€ 286.20
€ 286.20
Unified Low-power Design Flow for Data-dominated Multi-media and Telec...
Catthoor, Farncky, Holman, J. P.
Hardcover. Collects several low-power oriented design flows which are being developed in several European research groups into a more abstract but unifying design flow oriented to data-dominated multi-media and telecom applications. This book provides an overview of the field and addresses known issues to arrive at industrially relevant results. Editor(s): Catthoor, Francky. Num Pages: 181 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9780792379478
- ISBN
- 9780792379478
Hardback
Condition: New
€ 198.07
€ 198.07