.png){kind=logo}
Computer programming / software development
Results 5981 - 6000 of 8430
Computer programming / software development
Algorithms and Architectures for Parallel Processing
. Ed(S): Xiang, Yang; Stojmenovic, Ivan; Apdu...
Paperback. Editor(s): Xiang, Yang; Stojmenovic, Ivan; Apduhan, Bernady O.; Wang, Guojun; Nakano, Koji; Zomaya, Albert Y. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 355 pages, 159 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 355
- Condition
- New
- SKU
- V9783642330643
- ISBN
- 9783642330643
Paperback
Condition: New
€ 67.53
€ 67.53
Algorithms and Architectures for Parallel Processing
. Ed(S): Xiang, Yang; Stojmenovic, Ivan; Apdu...
Paperback. Editor(s): Xiang, Yang; Stojmenovic, Ivan; Apduhan, Bernady O.; Wang, Guojun; Nakano, Koji; Zomaya, Albert Y. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 584 pages, 241 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 584
- Condition
- New
- SKU
- V9783642330773
- ISBN
- 9783642330773
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback. Constitutes the proceedings of the 12th International Conference on Simulation of Adaptive Behaviour, SAB 2012, held in Odense, Denmark, in August 2012. Editor(s): Ziemke, Tom; Balkenius, Christian; Hallam, John C.T. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 466 pages, 205 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 466
- Condition
- New
- SKU
- V9783642330926
- ISBN
- 9783642330926
Paperback
Condition: New
€ 68.66
€ 68.66
Paperback. Constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. Editor(s): Mine, Antoine; Schmidt, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 468 pages, 153 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642331244
- ISBN
- 9783642331244
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Constitutes the thoroughly refereed proceedings of the 14th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2012, held in Brno, Czech Republic, in September 2012. Editor(s): Blanc-Talon, Jaques; Philips, Wilfried; Popescu, Dan C.; Scheunders, Paul; Zemcik, Pavel. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 556 pages, 253 black & white illustrations, biography. BIC Classification: UKN; UMB; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 773.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642331398
- ISBN
- 9783642331398
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback. Constitutes the refereed proceedings of the 17th European Symposium on Computer Security, ESORICS 2012, held in Pisa, Italy, in September 2012. Editor(s): Foresti, Sara; Yung, Moti; Martinelli, Fabio. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 913 pages, 210 black & white illustrations, biography. BIC Classification: UF; UMZ; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 45. Weight in Grams: 1258.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 913
- Condition
- New
- SKU
- V9783642331664
- ISBN
- 9783642331664
Paperback
Condition: New
€ 73.06
€ 73.06
Hardcover. This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design. Editor(s): Romanovsky, Alexander; Thomas, Martyn. Num Pages: 262 pages, biography. BIC Classification: TGP; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 240 x 163 x 20. Weight in Grams: 552.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 266
- Condition
- New
- SKU
- V9783642331695
- ISBN
- 9783642331695
Hardback
Condition: New
€ 66.64
€ 66.64
Paperback. Constitutes the refereed proceedings of the 8th International Symposium on Visual Computing, ISVC 2012, held in Rethymnon, Crete, Greece, in July 2012. Editor(s): Bebis, George; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Fowlkes, Charless; Wang, Sen; Min-Hyung, Choi; Mantler, Stephan; Schulze, Jurgen; Mueller, Klaus. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 770 pages, 350 black & white illustrations, biography. BIC Classification: PSA; UML; UNH; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1063.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 770
- Condition
- New
- SKU
- V9783642331787
- ISBN
- 9783642331787
Paperback
Condition: New
€ 71.62
€ 71.62
paperback. Constitutes the refereed proceedings of the 8th International Symposium on Visual Computing, ISVC 2012, held in Rethymnon, Crete, Greece, in July 2012. Editor(s): Bebis, George; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Fowlkes, Charless; Wang, Sen; Min-Hyung, Choi; Mantler, Stephan; Schulze, Jurgen; Mueller, Klaus. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 800 pages, 433 black & white illustrations, biography. BIC Classification: PSA; UML; UNH; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1117.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 800
- Condition
- New
- SKU
- V9783642331909
- ISBN
- 9783642331909
Paperback
Condition: New
€ 72.05
€ 72.05
Artificial Neural Networks and Machine Learning -- ICANN 2012
. Ed(S): Villa, Alessandro E. P.; Duch, Wlodz...
Paperback. Constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. Editor(s): Villa, Alessandro E. P.; Duch, Wlodzislaw; Erdi, Peter; Masulli, Francesco; Palm, Gunther. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 618 pages, 172 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 618
- Condition
- New
- SKU
- V9783642332654
- ISBN
- 9783642332654
Paperback
Condition: New
€ 70.12
€ 70.12
Artificial Neural Networks and Machine Learning - ICANN 2012
. Ed(S): Villa, Alessandro E. P.; Duch, Wlodz...
Paperback. Constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. Editor(s): Villa, Alessandro E. P.; Duch, Wlodzislaw; Erdi, Peter; Masulli, Francesco; Palm, Gunther. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 766 pages, 303 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 766
- Condition
- New
- SKU
- V9783642332685
- ISBN
- 9783642332685
Paperback
Condition: New
€ 71.59
€ 71.59
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): Alvarez, Luis; Mejail, Marta; Gomez,...
Paperback. Constitutes the refereed proceedings of the 17th Iberoamerican Congress on Pattern Recognition, CIARP 2012, held in Buenos Aires, Argentina, in September 2012. Editor(s): Alvarez, Luis; Mejail, Marta; Gomez, Luis; Jacobo, Julio. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 918 pages, 362 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 46. Weight in Grams: 1263.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 918
- Condition
- New
- SKU
- V9783642332746
- ISBN
- 9783642332746
Paperback
Condition: New
€ 133.89
€ 133.89
Paperback. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. Editor(s): Gheyi, Rohit; Naumann, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642332951
- ISBN
- 9783642332951
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. Editor(s): Kahl, Wolfram; Griffin, Timothy G. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 373 pages, 33 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 373
- Condition
- New
- SKU
- V9783642333132
- ISBN
- 9783642333132
Paperback
Condition: New
€ 67.72
€ 67.72
Paperback. Constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. Editor(s): Cerro, Luis Farinas del; Herzig, Andreas; Mengin, Jerome. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 512 pages, 49 black & white illustrations, biography. BIC Classification: UM; UNH; UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783642333521
- ISBN
- 9783642333521
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. Editor(s): Jurdzinski, Marcin; Nickovic, Dejan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 277 pages, 71 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642333644
- ISBN
- 9783642333644
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. Editor(s): Mukund, Madhavan; Chakraborty, Supratik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 452 pages, 106 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783642333859
- ISBN
- 9783642333859
Paperback
Condition: New
€ 68.53
€ 68.53
Medical Image Computing and Computer-Assisted Intervention - MICCAI 20...
. Ed(S): Ayache, Nicholas; Delingette, Herve;...
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Editor(s): Ayache, Nicholas; Delingette, Herve; Golland, Polina; Mori, Kensaku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 813 pages, 642 black & white illustrations, biography. BIC Classification: MBP; MMP; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1229.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 813
- Condition
- New
- SKU
- V9783642334146
- ISBN
- 9783642334146
Paperback
Condition: New
€ 72.10
€ 72.10
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2...
. Ed(S): Ayache, Nicholas; Delingette, Herve;...
paperback. Constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Editor(s): Ayache, Nicholas; Delingette, Herve; Golland, Polina; Mori, Kensaku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 703 pages, 37 black & white illustrations, 265 colour illustrations, biography. BIC Classification: MBP; MMP; UML; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1076.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 703
- Condition
- New
- SKU
- V9783642334177
- ISBN
- 9783642334177
Paperback
Condition: New
€ 71.17
€ 71.17
Service-Oriented and Cloud Computing: First European Conference, ESOCC...
. Ed(S): Paoli, Flavio De; Pimentel, Ernesto;...
paperback. Constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. Editor(s): Paoli, Flavio De; Pimentel, Ernesto; Zavattaro, Gianluigi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 293 pages, 99 black & white illustrations, biography. BIC Classification: KJQ; UMZ; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642334269
- ISBN
- 9783642334269
Paperback
Condition: New
€ 61.47
€ 61.47