.png){kind=logo}
Computer programming / software development
Results 6981 - 7000 of 7779
Computer programming / software development
Hardback. A textbook for teaching object modeling, fundamental concepts learning and system designing with thirteen UML diagrams. It contains a whole section devoted to advanced research topics, samples and case studies. Num Pages: 480 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 244 x 164 x 37. Weight in Grams: 914.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 480
- Condition
- New
- SKU
- V9781402059766
- ISBN
- 9781402059766
Hardback
Condition: New
€ 204.16
€ 204.16
Integrated System-level Modeling of Network-on-chip Enabled Multi-proc...
Kogel, Tim; Leupers, Rainer; Meyr, Heinrich
Hardback. Describes various developments in the area of SoC platforms and ESL design methodologies. This book presents a set of tools for the creation and exploration of timing approximate SoC platform models. Num Pages: 186 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 297 x 210 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 186
- Condition
- New
- SKU
- V9781402048258
- ISBN
- 9781402048258
Hardback
Condition: New
€ 198.07
€ 198.07
Engineering Theories of Software Intensive Systems: Proceedings of the...
Broy, Manfred, Harel, David, Hoare, Tony, Gru...
Paperback. Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance. Editor(s): Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony. Series: NATO Science Series II. Num Pages: 404 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9781402035319
- ISBN
- 9781402035319
Paperback
Condition: New
€ 254.89
€ 254.89
Hardback. Includes contributions from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany, in August 2004. This book presents mathematical foundations of software engineering and engineering methods to examine software engineering techniques and foundations in industries. Editor(s): Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony. Series: NATO Science Series II. Num Pages: 404 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 404
- Condition
- New
- SKU
- V9781402035302
- ISBN
- 9781402035302
Hardback
Condition: New
€ 257.36
€ 257.36
Hardback. Offers a treatment of a mathematical model for reasoning robotic agents. This book contains an introduction to a programming method and system based on this model. It covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and other topics. Series: Applied Logic Series. Num Pages: 342 pages, biography. BIC Classification: HP; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 20. Weight in Grams: 659.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 342
- Condition
- New
- SKU
- V9781402030680
- ISBN
- 9781402030680
Hardback
Condition: New
€ 73.54
€ 73.54
hardcover. Presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE) as conceived in the course of the research during 2002-2003. The goal of the research in this project was to introduce the formal proof of system properties throughout a modular system design methodology. Editor(s): Mermet, Jean. Num Pages: 300 pages, 48 black & white illustrations, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 1899
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 300
- Condition
- New
- Edition
- 2004th Edition
- SKU
- V9781402028663
- ISBN
- 9781402028663
Hardback
Condition: New
€ 195.64
€ 195.64
Hardback. Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 Editor(s): Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Lawson, J.A.; Liu, Ying Ming; Luo, M-.K. Series: Semantics Structures in Computation. Num Pages: 197 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 197
- Condition
- New
- SKU
- V9781402018329
- ISBN
- 9781402018329
Hardback
Condition: New
€ 194.34
€ 194.34
Hardback. Aims to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. This book explains computer programs, and includes applications and corresponding numerical tests. It is designed to bridge the gap between mathematical abstract algorithms and concrete numerical ones. Series: Solid Mechanics and its Applications. Num Pages: 340 pages, biography. BIC Classification: PBKQ; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402017711
- ISBN
- 9781402017711
Hardback
Condition: New
€ 195.64
€ 195.64
Hardback. Call-by-push-value is a programming language paradigm that breaks down the call-by-value and call-by-name paradigms into simple primitives. Aimed at graduate students and researchers, this monograph presents the call-by-push-value structure underlying semantics, including operational semantics, domains, possible worlds, continuations, and games. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: TJFD; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 733.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 352
- Condition
- New
- SKU
- V9781402017308
- ISBN
- 9781402017308
Hardback
Condition: New
€ 229.30
€ 229.30
Hardback. Investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level. This book gives an overview of transaction models, and analyzes their suitability for concurrent programming languages. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: UMN. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 19. Weight in Grams: 612.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 279
- Condition
- New
- SKU
- V9781402017278
- ISBN
- 9781402017278
Hardback
Condition: New
€ 128.89
€ 128.89
Paperback. Proceedings of the NATO Advanced Research Workshop, held in Sinaia, Romania, 17-22 September 2002 Editor(s): Herzog, Jurgen; Vuletescu, Victor. Series: NATO Science Series II. Num Pages: 273 pages, biography. BIC Classification: PBF; PBG; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 15. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9781402014871
- ISBN
- 9781402014871
Paperback
Condition: New
€ 197.08
€ 197.08
Hardback. Proceedings of the NATO Advanced Research Workshop, held in Sinaia, Romania, 17-22 September 2002 Editor(s): Herzog, Jurgen; Vuletescu, Victor. Series: NATO Science Series II. Num Pages: 273 pages, biography. BIC Classification: PBF; PBG; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9781402014864
- ISBN
- 9781402014864
Hardback
Condition: New
€ 199.57
€ 199.57
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
€ 380.25
€ 380.25
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
€ 200.98
€ 200.98
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
€ 253.27
€ 253.27
hardcover. Offers a cross-section of contemporary approaches to stochastic modeling in finance and economics. This book presents the fundamentals of financial thinking and elementary mathematical methods of finance. It covers characteristics of cash flows, yield curves, and valuation of securities. Series: Applied Optimization. Num Pages: 400 pages, biography. BIC Classification: KCA; PBW; UM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 23. Weight in Grams: 744.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer United States
- Number of pages
- 400
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402008405
- ISBN
- 9781402008405
Hardback
Condition: New
€ 129.83
€ 129.83
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