×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!