Computer programming / software development
Results 2137 - 2160 of 3497
Computer programming / software development
Hardcover. Merging fundamental concepts of analysis and recursion theory to a new theory, this book provides a solid basis for studying various aspects of computability and complexity in analysis. It is written for graduate-level and senior students in computer science or mathematics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 288 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBK; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540668176
- ISBN
- 9783540668176
Hardback
Condition: New
€ 69.06
€ 69.06
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540646082
- ISBN
- 9783540646082
Paperback
Condition: New
€ 137.51
€ 137.51
Hardcover. Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. Num Pages: 314 pages, biography. BIC Classification: PBWH; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9783540627524
- ISBN
- 9783540627524
Hardback
Condition: New
€ 62.63
€ 62.63
Hardcover. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 160 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 16. Weight in Grams: 380. Series: Monographs in Theoretical Computer Science : an Eatcs Series. 159 pages, 1, black & white illustrations. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMB. Dimension: 241 x 166 x 16. Weight: 380.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2003rd Edition
- Number of pages
- 159
- Condition
- New
- SKU
- V9783540422006
- ISBN
- 9783540422006
Hardback
Condition: New
€ 131.97
€ 131.97
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 280 pages, 15 black & white illustrations, 14 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 157 x 18. Weight in Grams: 446. Software Configuration and Change Management. Series: Software Best Practice S. 296 pages, 15 black & white illustrations, 14 black & white tables. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMZ. Dimension: 234 x 157 x 18. Weight: 446.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540417859
- ISBN
- 9783540417859
Paperback
Condition: New
€ 70.74
€ 70.74
Biologically Inspired Algorithms for Financial Modelling
Brabazon, Anthony; O'Neill, Michael (Universi...
Hardcover. Predicting the future for financial gain is a difficult, sometimes profitable activity. This book focuses on the application of biologically inspired algorithms (BIAs) to financial modelling. It explains computer trading on financial markets and the difficulties faced in financial market modelling. Series: Natural Computing Series. Num Pages: 292 pages, 39 black & white tables, biography. BIC Classification: KFFM; UGK; UMB. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 23. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006th Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540262527
- ISBN
- 9783540262527
Hardback
Condition: New
€ 134.62
€ 134.62
Hardcover. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. Num Pages: 410 pages, 41 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 28. Weight in Grams: 726. 412 pages, black & white illustrations. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Cateogry: (P) Professional & Vocational. BIC Classification: UMZ. Dimension: 243 x 165 x 28. Weight: 726.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2006th Edition
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540259930
- ISBN
- 9783540259930
Hardback
Condition: New
€ 196.88
€ 196.88
Hardcover. Addresses students, professionals, lecturers and researchers interested in software product line engineering. With more than 100 examples and about 150 illustrations, this book describes useful foundations, principles and techniques of software product line engineering. Num Pages: 493 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 252 x 203 x 34. Weight in Grams: 1158.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 494
- Condition
- New
- SKU
- V9783540243724
- ISBN
- 9783540243724
Hardback
Condition: New
€ 110.68
€ 110.68
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 231 x 160 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540223801
- ISBN
- 9783540223801
Paperback
Condition: New
€ 73.05
€ 73.05
Coordination Models and Languages: 6th International Conference, COORD...
Ferrari, Gianluigi, Nicola, Rocco De, Meredit...
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UMX; UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540210443
- ISBN
- 9783540210443
Paperback
Condition: New
€ 71.61
€ 71.61
Hardcover. Mathematics, Computer Science and Logic - A Never Ending Story Editor(s): Paule, Peter. Num Pages: 113 pages, 35 black & white illustrations, biography. BIC Classification: PBC; PBKS; UFM; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 239 x 162 x 14. Weight in Grams: 364.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 124
- Condition
- New
- SKU
- V9783319009650
- ISBN
- 9783319009650
Hardback
Condition: New
€ 67.55
€ 67.55
Hardcover. Multi Tenancy for Cloud-Based In-Memory Column Databases Series: In-Memory Data Management Research. Num Pages: 128 pages, 16 black & white tables, biography. BIC Classification: KJQ; UMB; UN; UTC; UY. Category: (P) Professional & Vocational. Dimension: 238 x 160 x 14. Weight in Grams: 366.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2014th Edition
- Number of pages
- 150
- Condition
- New
- SKU
- V9783319004969
- ISBN
- 9783319004969
Hardback
Condition: New
€ 66.78
€ 66.78
Paperback. This book features a collection of papers from Paul Hertz to Dov Gabbay -- through Tarski, Godel, Kripke -- that give a general perspective about logical systems. Each paper is presented by a specialist who explains its context, import and influence. Editor(s): Beziau, Jean-Yves (University of Neuchatel). Series: Studies in Universal Logic. Num Pages: 428 pages, 155 black & white illustrations, biography. BIC Classification: HPL; PBC; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 239 x 169 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2012th Edition
- Number of pages
- 400
- Condition
- New
- SKU
- V9783034601443
- ISBN
- 9783034601443
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. * Easy to follow step-by-step guide * Covers typical situations faced by developers every day * Shows how to make programming Java easier Java Developers Num Pages: 341 pages, illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 233 x 188 x 20. Weight in Grams: 634.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Manning Publications United States
- Number of pages
- 341
- Condition
- New
- SKU
- V9781935182948
- ISBN
- 9781935182948
Paperback
Condition: New
€ 57.18
€ 57.18
Paperback. Num Pages: 645 pages, Illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 187 x 235 x 34. Weight in Grams: 1090.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications United States
- Edition
- 1st Edition
- Number of pages
- 623
- Condition
- New
- SKU
- V9781935182924
- ISBN
- 9781935182924
Paperback
Condition: New
€ 65.77
€ 65.77
Paperback. * Fast-paced intro to HTML5 and CSS3 * Fully illustrated and loaded with examples * Fun conversational style, great for low-stress learning No previous experience with HTML or CSS is required. Num Pages: 559 pages, Illustrations. BIC Classification: UMW. Category: (G) General (US: Trade). Dimension: 234 x 189 x 30. Weight in Grams: 926.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Manning Publications United States
- Edition
- Pap/Psc
- Number of pages
- 533
- Condition
- New
- SKU
- V9781935182894
- ISBN
- 9781935182894
Paperback
Condition: New
€ 53.72
€ 53.72
Paperback. "Tika in Action" is a hands-on guide for developers working with search engines, content management systems, and other similar applications who want to exploit the information locked in digital documents. It introduces the world of mining text and binary documents as well as other information sources. Num Pages: 255 pages, Illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 189 x 14. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications United States
- Edition
- Pap/Psc
- Number of pages
- 229
- Condition
- New
- SKU
- V9781935182856
- ISBN
- 9781935182856
Paperback
Condition: New
€ 55.83
€ 55.83
Paperback. This book is written for Java developers, but no prior experience with GWT is required. "h Detailed coverage for experienced GWT developers "h Easy to understand introduction for beginners "h The ultimate GWT resource Num Pages: 678 pages, Illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 230 x 184 x 35. Weight in Grams: 1178.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Manning Publications United States
- Edition
- Second Edition
- Number of pages
- 680
- Condition
- New
- SKU
- V9781935182849
- ISBN
- 9781935182849
Paperback
Condition: New
€ 65.82
€ 65.82
Paperback. Featuring full coverage of new version 2 features, this book helps readers use developer-oriented upgrades like "Areas" to break a large project into smaller pieces and explore the new data handling tools. Num Pages: 429 pages, Illustrations. BIC Classification: UMPN. Category: (P) Professional & Vocational. Dimension: 235 x 188 x 22. Weight in Grams: 752.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Manning Publications United States
- Number of pages
- 429
- Condition
- New
- SKU
- V9781935182795
- ISBN
- 9781935182795
Paperback
Condition: New
€ 63.48
€ 63.48
Paperback. "SharePoint 2010 Web Parts in Action" teaches readers to use and customize SharePoint 2010's default Web Parts and to build custom Web Parts. Numerous examples illustrate everything from design to development to deployment and more. Num Pages: 447 pages, Illustrations. BIC Classification: UMP; UT. Category: (P) Professional & Vocational. Dimension: 234 x 188 x 23. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications United States
- Edition
- Pap/Psc
- Number of pages
- 421
- Condition
- New
- SKU
- V9781935182771
- ISBN
- 9781935182771
Paperback
Condition: New
€ 57.99
€ 57.99
Paperback. Num Pages: 303 pages, Illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 233 x 188 x 16. Weight in Grams: 520.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Manning Publications United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9781935182702
- ISBN
- 9781935182702
Paperback
Condition: New
€ 61.92
€ 61.92
Paperback. The Apache Mahout project is focused on three types of machine learning: recommendation systems, classification, and clustering. This text introduces the sorts of problems that these techniques are appropriate for, and then illustrates how Mahout can be applied to solve them. Num Pages: 375 pages, Illustrations. BIC Classification: UMB; UMX. Category: (P) Professional & Vocational. Dimension: 233 x 189 x 21. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications
- Edition
- Pap/Psc
- Number of pages
- 375
- Condition
- New
- SKU
- V9781935182689
- ISBN
- 9781935182689
Paperback
Condition: New
€ 57.54
€ 57.54
Paperback. Clojure is a dynamic programming language that targets the Java Virtual Machine. "The Joy of Clojure" goes beyond the syntax, and shows how to write fluent, idiomatic Clojure code. It tackles hard software areas like concurrency, interoperability, performance, and more. Num Pages: 300 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 188 x 236 x 18. Weight in Grams: 626.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications United States
- Edition
- 1st Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9781935182641
- ISBN
- 9781935182641
Paperback
Condition: New
€ 56.97
€ 56.97
Paperback. "Agile ALM" is a guide for Java developers who want to integrate flexible agile practices and lightweight tooling along all phases of the software development process. Readers will learn practices like task-based Development, Continuous Integration, and more. Num Pages: 357 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 187 x 236 x 18. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications United States
- Edition
- Pap/Psc
- Number of pages
- 332
- Condition
- New
- SKU
- V9781935182634
- ISBN
- 9781935182634
Paperback
Condition: New
€ 67.96
€ 67.96