.png){kind=logo}
Computer programming / software development
Results 8061 - 8080 of 8431
Computer programming / software development
Energy Minimization Methods in Computer Vision and Pattern Recognition
. Ed(S): Boykov, Yuri; Kahl, Fredrik; Lempits...
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2011, held in St Petersburg, Russia in July , 2011. This book is divided in sections on discrete and continuous optimization, segmentation, motion and video, and, learning and shape analysis. Editor(s): Boykov, Yuri; Kahl, Fredrik; Lempitsky, Victor; Schmidt, Frank R. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 450 pages, 38 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UMB; UNF; UYD; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642230936
- ISBN
- 9783642230936
Paperback
Condition: New
€ 68.35
€ 68.35
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 482
- Condition
- New
- SKU
- V9780412820403
- ISBN
- 9780412820403
Hardback
Condition: New
€ 267.99
€ 267.99
Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783540198185
- ISBN
- 9783540198185
Paperback
Condition: New
€ 67.93
€ 67.93
paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 405
- Condition
- New
- SKU
- V9783540198840
- ISBN
- 9783540198840
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Editor(s): Bowen, Jonathan P.; Zhu, Huibiao. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 217
- Condition
- New
- SKU
- V9783319522272
- ISBN
- 9783319522272
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. This volume constitutes the proceedings of the 11th International Conference of Z Users. The papers are organized in sections on: industrial issues; concurrency; tools; Z and HOL; safety-critical and real-time systems; semantic theory; reasoning and consistency issues; and object orientation. Editor(s): Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540650706
- ISBN
- 9783540650706
Paperback
Condition: New
€ 72.90
€ 72.90
Paperback. Editor(s): Boumerdassi, Selma; Renault, Eric; Bouzefrane, Samia. Series: Lecture Notes in Computer Science. Num Pages: 225 pages, 100 black & white illustrations, biography. BIC Classification: TJK; UKN; UMZ; UNH; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 225
- Condition
- New
- SKU
- V9783319504629
- ISBN
- 9783319504629
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 72.38
€ 72.38
Hardback. Advanced Web Services Editor(s): Bouguettaya, Athman; Sheng, Quan Z. (University of New South Wales); Daniel, Florian. Num Pages: 652 pages, 30 black & white tables, biography. BIC Classification: UMWS; UNH. Category: (P) Professional & Vocational. Dimension: 238 x 164 x 41. Weight in Grams: 1090.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. 2014
- Number of pages
- 652
- Condition
- New
- SKU
- V9781461475347
- ISBN
- 9781461475347
Hardback
Condition: New
€ 132.53
€ 132.53
Paperback. Constitutes the proceedings of the 12th International Conference on Web Information Systems Engineering, WISE 2011, held in Sydney, Australia, in October 2011. This book includes the papers that address challenging issues in software services, Web application engineering and modelling, Web semantics, and information retrieval and extraction. Editor(s): Bouguettaya, Athman; Hauswirth, Manfred; Liu, Ling. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 361 pages, biography. BIC Classification: UMZ; UNF; UNH; UT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642244339
- ISBN
- 9783642244339
Paperback
Condition: New
€ 67.63
€ 67.63
Paperback. Constitutes the refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011 that was held in Blois, France. Editor(s): Bouchou-Markhoff, Beatrice; Caron, Pascal; Champarnaud, Jean-Marc; Maurel, Denis. Series: Lecture Notes in Computer Science. Num Pages: 312 pages, 27 black & white illustrations, 18 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 446.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642222559
- ISBN
- 9783642222559
Paperback
Condition: New
€ 67.15
€ 67.15
Technologies for Constructing Intelligent Systems 1
. Ed(S): Bouchon-Meunier, Bernadette; Gutierr...
paperback. Editor(s): Bouchon-Meunier, Bernadette; Gutierrez-Rios, Julio; Magdalena, Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 404 pages, 47 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Physica Verlag,Wien Austria
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 404
- Condition
- New
- SKU
- V9783662003299
- ISBN
- 9783662003299
Paperback
Condition: New
€ 195.25
€ 195.25
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Bouajjani, Ahmed; Monniaux, David
Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 560
- Condition
- New
- SKU
- V9783319522333
- ISBN
- 9783319522333
Paperback
Condition: New
€ 69.26
€ 69.26
Paperback. Editor(s): Bouajjani, Ahmed; Fauconnier, Hugues. Series: Lecture Notes in Computer Science. Num Pages: 554 pages, 165 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 554
- Condition
- New
- SKU
- V9783319268491
- ISBN
- 9783319268491
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Editor(s): Bostrom, Henrik; Knobbe, Arno; Soares, Carlos; Papapetrou, Panagiotis. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 146 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 417
- Condition
- New
- SKU
- V9783319463483
- ISBN
- 9783319463483
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540434771
- ISBN
- 9783540434771
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Editor(s): Bos, Herbert; Blanc, Gregory; Monrose, Fabian. Series: Lecture Notes in Computer Science. Num Pages: 651 pages, 147 colour illustrations, biography. BIC Classification: UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 651
- Condition
- New
- SKU
- V9783319263618
- ISBN
- 9783319263618
Paperback
Condition: New
€ 69.91
€ 69.91
Paperback. This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate matica e Aplica" Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PBV; UG; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642627019
- ISBN
- 9783642627019
Paperback
Condition: New
€ 249.64
€ 249.64
Hardback. This reference text presents some of the tools and algorithms currently being used to create new ways of making enhanced interactive presentations and multimedia courses. The accompanying CD-ROM enables readers to get a hands on experience of the material in the book. Editor(s): Borwein, Jonathan M.; Morales, Maria H.; Polthier, Konrad; Rodrigues, Jose Francisco. Series: Mathematics and Visualization. Num Pages: 322 pages, biography. BIC Classification: PB; UG; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002
- Number of pages
- 322
- Condition
- New
- SKU
- V9783540424505
- ISBN
- 9783540424505
Hardback
Condition: New
€ 250.93
€ 250.93
Paperback. Editor(s): Borger, E.; Buning, Hans Kleine; Richter, Michael M. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540516590
- ISBN
- 9783540516590
Paperback
Condition: New
€ 72.34
€ 72.34