.png){kind=logo}
Computer programming / software development
Results 985 - 1008 of 8428
Computer programming / software development
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 259.88
€ 259.88
Computer Vision/Computer Graphics Collaboration Techniques: 5th Intern...
. Ed(S): Gagalowicz, Andre; Philips, Wilfried
paperback. Constitutes the refereed proceedings of the 5th International Conference on Computer Vision/Computer Graphics Collaboration Techniques, MIRAGE 2011, held in Rocquencourt, France, in October 2011. This title includes the papers covering a range of topics with focus on Computer Vision/Computer Graphics Collaboration Techniques. Editor(s): Gagalowicz, Andre; Philips, Wilfried. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 299 pages, 32 black & white illustrations, 126 colour illustrations, biography. BIC Classification: UMB; UML; UNF; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642241352
- ISBN
- 9783642241352
Paperback
Condition: New
€ 83.55
€ 83.55
Paperback. Editor(s): Gairing, Martin; Savani, Rahul. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, 38 black & white illustrations, biography. BIC Classification: PBUD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 358
- Condition
- New
- SKU
- V9783662533536
- ISBN
- 9783662533536
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Presents the refereed proceedings of the Second International Conference on Pairing-Based Cryptography, Pairing 2008, held in London, UK, in September 2008. This title includes 20 full papers, presented together with the contributions resulting from 3 invited talks, that were selected from 50 submissions. Editor(s): Galbraith, Steven; Paterson, Kenneth G. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UMB; URY; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540855033
- ISBN
- 9783540855033
Paperback
Condition: New
€ 67.93
€ 67.93
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Galmiche, Didier; Larchey-Wendling, ...
Paperback. Editor(s): Galmiche, Didier; Larchey-Wendling, Dominique. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 34 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642405365
- ISBN
- 9783642405365
Paperback
Condition: New
€ 61.20
€ 61.20
Paperback. Editor(s): Gambosi, Giorgio; Scholl, Michel; Six, Hans-Werner. Series: ESPRIT Basic Research Series. Num Pages: 317 pages, 10 black & white tables, biography. BIC Classification: RGW; UMB; UML; UNH; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642776076
- ISBN
- 9783642776076
Paperback
Condition: New
€ 128.07
€ 128.07
Paperback. Editor(s): Gamez, Jose A.; Barrenechea, Edurne; Troncoso, Alicia; Quintian, Hector; Corchado, Emilio. Series: Lecture Notes in Computer Science. Num Pages: 529 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 529
- Condition
- New
- SKU
- V9783319446356
- ISBN
- 9783319446356
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Editor(s): Gammerman, Alexander; Vovk, Vladimir; Papadopoulos, Harris. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, 133 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 458
- Condition
- New
- SKU
- V9783319170909
- ISBN
- 9783319170909
Paperback
Condition: New
€ 68.17
€ 68.17
Solving Problems in Scientific Computing Using Maple and MATLAB
. Ed(S): Gander, Walter; Hrebicek, Jiri
Paperback. Presents non-trivial problems in scientific computing and their solutions using Maple (symbolic computation) and MATLAB (a numeric computation and visualization program). This title includes chapters that were revised using fresh possibilities offered by Maple and MATLAB. Editor(s): Gander, Walter; Hrebicek, Jiri. Num Pages: 476 pages, 50 black & white illustrations, 12 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4th, expanded and rev. ed. 2004
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540211273
- ISBN
- 9783540211273
Paperback
Condition: New
€ 74.15
€ 74.15
Paperback. Editor(s): Gangadharan, G. R.; Dam, Hoa Khanh. Series: Lecture Notes in Computer Science. Num Pages: 284 pages, 69 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783662505380
- ISBN
- 9783662505380
Paperback
Condition: New
€ 66.64
€ 66.64
Paperback. Editor(s): Ganzha, Victor G. (TU Munchen); Mayr, Ernst W.; Vorozhtsov, Evgenii V. Num Pages: 511 pages, biography. BIC Classification: PBKS; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 511
- Condition
- New
- SKU
- V9783642643095
- ISBN
- 9783642643095
Paperback
Condition: New
€ 69.19
€ 69.19
Paperback. Editor(s): Ganzha, Victor Gregor'e; Mayr, Ernst W.; Vorozhtsov, Evgenii V. Num Pages: 555 pages, biography. BIC Classification: PHU; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 555
- Condition
- New
- SKU
- V9783642626845
- ISBN
- 9783642626845
Paperback
Condition: New
€ 69.67
€ 69.67
Paperback. Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000 Editor(s): Ganzha, Viktor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii H. Num Pages: 439 pages, 23 black & white illustrations, biography. BIC Classification: PBKS; PHU; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783642624902
- ISBN
- 9783642624902
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Editor(s): Gao, Guang R.; Gao, Xinbo; Chen, Wenguang. Series: Lecture Notes in Computer Science. Num Pages: 223 pages, 94 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNH; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 223
- Condition
- New
- SKU
- V9783319470986
- ISBN
- 9783319470986
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Gao, Jie; Efrat, Alon; Fekete, Sandor P.; Zhang, YanYong. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 180 pages, 43 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783662460177
- ISBN
- 9783662460177
Paperback
Condition: New
€ 54.65
€ 54.65
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Garavel, Hubert; Hatcliff, John
Paperback. Editor(s): Garavel, Hubert; Hatcliff, John. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540008989
- ISBN
- 9783540008989
Paperback
Condition: New
€ 137.36
€ 137.36
Middleware for Network Eccentric and Mobile Applications
. Ed(S): Garbinato, Benoit; Miranda, Hugo; Ro...
Paperback. This textbook provides a comprehensive introduction to the main fundamental problems of concern to developers of middleware for mobile environments. Each chapter is structured as a self-contained tutorial presenting an overview of a specific topic. Editor(s): Garbinato, Benoit; Miranda, Hugo; Rodrigues, Luis. Num Pages: 454 pages, 18 black & white tables, biography. BIC Classification: TJK; UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 454
- Condition
- New
- SKU
- V9783642100536
- ISBN
- 9783642100536
Paperback
Condition: New
€ 68.78
€ 68.78
Paperback. Editor(s): Garcia Pineda, Miguel; Lloret, Jaime; Papavassiliou, Symeon; Ruehrup, Stefan; Westphall, Carlos B. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 333 pages, 145 black & white illustrations, biography. BIC Classification: TJK; UKN; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 333
- Condition
- New
- SKU
- V9783662463376
- ISBN
- 9783662463376
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Editor(s): Garcia-Alfaro, Joaquin; Cuppens, Frederic; Cuppens-Boulahia, Nora; Miri, Ali; Tawbi, Nadia. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 397 pages, 90 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH; UYQV; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 397
- Condition
- New
- SKU
- V9783642371189
- ISBN
- 9783642371189
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Constitutes the selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. This book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 research reports. Editor(s): Garcia-Alfaro, Joaquin; Lafourcade, Pascal. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 266 pages, biography. BIC Classification: UKN; UMB; UMZ; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 266
- Condition
- New
- SKU
- V9783642279003
- ISBN
- 9783642279003
Paperback
Condition: New
€ 83.26
€ 83.26
Paperback. Editor(s): Garoufallou, Emmanouel; Hartley, R.J.; Gaitanou, Panorea. Series: Communications in Computer and Information Science. Num Pages: 481 pages, 143 colour illustrations, biography. BIC Classification: UGD; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 481
- Condition
- New
- SKU
- V9783319241289
- ISBN
- 9783319241289
Paperback
Condition: New
€ 68.37
€ 68.37
Paperback. Editor(s): Gaspar-Cunha, Antonio; Henggeler Antunes, Carlos; Coello Coello, Carlos A. Series: Lecture Notes in Computer Science. Num Pages: 608 pages, 204 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 926.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 608
- Condition
- New
- SKU
- V9783319158914
- ISBN
- 9783319158914
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback. Editor(s): Gaspar-Cunha, Antonio; Henggeler Antunes, Carlos; Coello Coello, Carlos A. Series: Lecture Notes in Computer Science. Num Pages: 471 pages, 156 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 471
- Condition
- New
- SKU
- V9783319159331
- ISBN
- 9783319159331
Paperback
Condition: New
€ 68.68
€ 68.68
paperback. These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems. Editor(s): Gaudel, M-.C.; Woodcock, J. C. P. Series: Lecture Notes in Computer Science. Num Pages: 711 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1996th Edition
- Number of pages
- 711
- Condition
- New
- SKU
- V9783540609735
- ISBN
- 9783540609735
Paperback
Condition: New
€ 139.31
€ 139.31