Computer programming / software development
Results 769 - 792 of 4240
Computer programming / software development
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
€ 123.99
€ 123.99
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
€ 240.74
€ 240.74
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
€ 192.65
€ 192.65
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
€ 362.71
€ 362.71
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
€ 189.81
€ 189.81
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
€ 188.58
€ 188.58
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
€ 122.65
€ 122.65
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
€ 218.08
€ 218.08
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
€ 186.69
€ 186.69
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
€ 185.44
€ 185.44
Designing Personalized User Experiences in e-Commerce
. Ed(S): Karat, Clare-Marie; Blom, Jan O.; Ka...
Hardback. Focuses on issues in the design of personalized web sites. The topics range from the design and evaluation of user interfaces and tools to information architecture and computer programming related to commercial web sites. This book is useful for those working or studying in the field of HCI, information architecture or eCommerce. Editor(s): Karat, Clare-Marie; Blom, Jan O.; Karat, John. Series: Human-Computer Interaction Series. Num Pages: 360 pages, 158 black & white illustrations, biography. BIC Classification: KNTX; UM; UY. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 360
- Condition
- New
- SKU
- V9781402021473
- ISBN
- 9781402021473
Hardback
Condition: New
€ 187.81
€ 187.81
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
€ 186.09
€ 186.09
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
€ 70.30
€ 70.30
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
€ 246.77
€ 246.77
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
€ 243.18
€ 243.18
hardcover. Leverages the experiences of thought leaders functioning in multiple industry verticals and provides knowledge for creating the agile enterprise. This book helps readers learn how to balance the delivery of immediate business value while creating long-term strategic capability. Series: Enterprise. Num Pages: 408 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 33. Weight in Grams: 804.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 408
- Condition
- New
- Edition
- 2006th Edition
- SKU
- V9781402037047
- ISBN
- 9781402037047
Hardback
Condition: New
€ 130.88
€ 130.88
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
€ 189.09
€ 189.09
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
€ 195.45
€ 195.45
Hardback. Provides a comprehensive study of the field Reconfigurable Computing. This book provides an entry point to the novice willing to move in the research field reconfigurable computing, FPGA and system on programmable chip design. It can also be used as teaching reference for a graduate course in computer engineering. Num Pages: 359 pages, biography. BIC Classification: TJFC; UKR; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9781402060885
- ISBN
- 9781402060885
Hardback
Condition: New
€ 124.16
€ 124.16
Hardback. A contribution to the Chip Design Languages series that consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages. Editor(s): Huss, Sorin. Num Pages: 358 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1540.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 358
- Condition
- New
- SKU
- V9781402061479
- ISBN
- 9781402061479
Hardback
Condition: New
€ 192.66
€ 192.66
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic...
Ma, Zheng; Marchal, Pol; Scarpazza, Daniele P...
Hardback. Num Pages: 264 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 264
- Condition
- New
- SKU
- V9781402063282
- ISBN
- 9781402063282
Hardback
Condition: New
€ 127.66
€ 127.66
Hardback. Discusses the basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures. This title features a CD which includes case studies and lab projects for the design of FPGA and Coarse-grain architectures. Editor(s): Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece); Vassiliadis, Stamatis. Num Pages: 397 pages, biography. BIC Classification: TJFC; UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 397
- Condition
- New
- SKU
- V9781402065040
- ISBN
- 9781402065040
Hardback
Condition: New
€ 124.50
€ 124.50
Hardback. Outlines packaged software class libraries to enable researchers to find cost-effective and efficient methods of getting problems coded into the computer, or into a modeling language package or into optimizing solvers - hence providing software coding solutions to whatever specialized needs a specific problem might require. Editor(s): Voss, Stefan; Woodruff, David L. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 370 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 703.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 370
- Condition
- New
- SKU
- V9781402070020
- ISBN
- 9781402070020
Hardback
Condition: New
€ 191.47
€ 191.47
hardcover. Introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. This book focuses on the efficient analysis of large-scale systems based on the concept of 'compositional verification' of modules. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 196 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 1080.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer United States
- Number of pages
- 196
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402070259
- ISBN
- 9781402070259
Hardback
Condition: New
€ 126.29
€ 126.29