Computing
Results 7061 - 7080 of 11261
Computing
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
Paperback. Here are papers based on selected contributions to the Workshop on Architecting Dependable Systems (WADS 2009), and invited papers by renowned experts. Covers mobile and ubiquitous systems, architecting systems, fault management and experience and vision. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 324 pages, 101 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 180 x 236 x 19. Weight in Grams: 678.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 324
- Condition
- New
- SKU
- V9783642172441
- ISBN
- 9783642172441
Paperback
Condition: New
€ 65.42
€ 65.42
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Visual Computing, ISVC 2010, held in Las Vegas, NV, USA, in November/December 2010. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 650 pages, 334 black & white illustrations, biography. BIC Classification: PSA; UGN; UMZ; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 650
- Condition
- New
- SKU
- V9783642172762
- ISBN
- 9783642172762
Paperback
Condition: New
€ 130.36
€ 130.36
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Visual Computing, ISVC 2010, held in Las Vegas, NV, USA, in November/December 2010. Series: Lecture Notes in Computer Science. Num Pages: 766 pages, 419 black & white illustrations, biography. BIC Classification: PSA; UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 766
- Condition
- New
- SKU
- V9783642172885
- ISBN
- 9783642172885
Paperback
Condition: New
€ 131.19
€ 131.19
Paperback. Constitutes the proceedings of the 8th International Conference on Simulated Evolution and Learning, SEAL 2010, held in Kanpur, India, in December 2010. Editor(s): Deb, Kalyanmoy; Bhattacharya, Arnab; Chakraborti, Nirupam; Chakroborty, Partha; Das, Swagatam; Dutta, Joydeep; Gupta, Santosh K.; Jain, Ashu; Aggarwal, Varun; Branke, Juergen. Series: Lecture Notes in Computer Science. Num Pages: 719 pages, 173 black & white illustrations, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 719
- Condition
- New
- SKU
- V9783642172977
- ISBN
- 9783642172977
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more. Editor(s): Engels, Gregor; Lewerentz, Claus; Schafer, Wilhelm; Schurr, Andy; Westfechtel, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 782 pages, 328 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 180 x 237 x 28. Weight in Grams: 1042.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 782
- Condition
- New
- SKU
- V9783642173219
- ISBN
- 9783642173219
Paperback
Condition: New
€ 127.16
€ 127.16
Advances in Web-Based Learning - ICWL 2010: 9th International Conferen...
. Ed(S): Luo, Xiangfeng; Spaniol, Marc; Wang,...
paperback. Editor(s): Luo, Xiangfeng; Spaniol, Marc; Wang, Lizhe; Li, Qing; Nejdl, Wolfgang; Zhang, Wu. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, 57 black & white illustrations, biography. BIC Classification: JNV; UBJ; UG; UKP; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 412
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642174063
- ISBN
- 9783642174063
Paperback
Condition: New
€ 68.53
€ 68.53
Exploring the Grand Challenges for Next Generation e-Business
. Ed(S): Sharman, Raj; Rao, H. Raghav (State ...
Paperback. Based on a selection of thoroughly revised and extended best papers from the 8th Workshop on E-Business (WEB 2009) held in Phoenix, AZ, USA, on December 15th, 2009, this title covers the topics such as: Web-based information systems, RFID and supply chain management, process modeling and standardization, and, security and privacy issues. Editor(s): Sharman, Raj; Rao, H. Raghav (State University of New York, Buffalo, USA); Santanam, Raghu T. Series: Lecture Notes in Business Information Processing. Num Pages: 312 pages, 26 black & white illustrations, 33 colour illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642174483
- ISBN
- 9783642174483
Paperback
Condition: New
€ 67.49
€ 67.49
Paperback. Constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. Editor(s): Raman, Venkatesh; Saurabh, Saket. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 239 pages, 18 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642174926
- ISBN
- 9783642174926
Paperback
Condition: New
€ 66.70
€ 66.70
Neural Information Processing. Models and Applications
. Ed(S): Wong, Kok Wai; Mendis, B. Sumudu U.;...
Paperback. A two volume set that constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONIP 2010, held in Sydney, Australia, in November 2010. It also includes sections on neurodynamics, computational neuroscience and cognitive science, data and text processing, adaptive algorithms, and hierarchical methods. Editor(s): Wong, Kok Wai; Mendis, B. Sumudu U.; Bouzerdoum, Abdesselam. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 740 pages, 165 black & white illustrations, 150 colour illustrations, biography. BIC Classification: UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 740
- Condition
- New
- SKU
- V9783642175336
- ISBN
- 9783642175336
Paperback
Condition: New
€ 132.14
€ 132.14
Neural Information Processing. Theory and Algorithms
. Ed(S): Wong, Kok Wai; Mendis, B. Sumudu U.;...
Paperback. A two volume set that constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONIP 2010, held in Sydney, Australia, in November 2010. It also includes topical sections on neurodynamics, computational neuroscience and cognitive science, data and text processing, and adaptive algorithms. Editor(s): Wong, Kok Wai; Mendis, B. Sumudu U.; Bouzerdoum, Abdesselam. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 718 pages, 145 black & white illustrations, 143 colour illustrations, biography. BIC Classification: UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 718
- Condition
- New
- SKU
- V9783642175367
- ISBN
- 9783642175367
Paperback
Condition: New
€ 132.14
€ 132.14
Paperback. Comprises selected papers of the Second International Conference on Future Generation Information Technology, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Lee, Young Hoon; Kang, Byeong Ho; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 414 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 41. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783642175688
- ISBN
- 9783642175688
Paperback
Condition: New
€ 132.77
€ 132.77
Paperback. Constitutes the refereed proceedings of the International Conference on Advanced Software Engineering and Its Applications, ASEA 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Kim, Haeng-Kon; Khurram Khan, Muhammad; Kiumi, Akingbehin; Fang, Wai-Chi; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 340 pages, 108 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642175770
- ISBN
- 9783642175770
Paperback
Condition: New
€ 67.61
€ 67.61
Paperback. Constitutes the refereed proceedings of the International Conference on Future Generation Communication and Networking, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Chang, Alan Chin-Chen; Li, Ming Chu; Rong, Chunming; Patrikakis, Charalampos Z.; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 250 pages, 133 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642175862
- ISBN
- 9783642175862
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Constitutes the refereed proceedings of the International Conference on Future Generation Communication and Networking, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Vasilakos, Thanos; Sakurai, Kouichi; Xiao, Yang; Zhao, Gansen; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 471 pages, 223 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 471
- Condition
- New
- SKU
- V9783642176036
- ISBN
- 9783642176036
Paperback
Condition: New
€ 129.92
€ 129.92
Security Technology, Disaster Recovery and Business Continuity
. Ed(S): Fang, Wai-Chi; Khurram Khan, Muhamma...
Paperback. Constitutes the refereed proceedings of the International Conference on Security Technology, SecTech 2010, and the International Conference on Disaster Recovery and Business Continuity, DRBC 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Fang, Wai-Chi; Khurram Khan, Muhammad; Arnett, Kirk P.; Kang, Heau-Jo; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 300 pages, 125 black & white illustrations, biography. BIC Classification: UKR; UMB; URY; UTFB. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783642176098
- ISBN
- 9783642176098
Paperback
Condition: New
€ 67.35
€ 67.35
Web Information Systems Engineering - WISE 2010: 11th International Co...
. Ed(S): Chen, Lei; Triantafillou, Peter; Sue...
paperback. Constitutes the proceedings of the 11th International Conference on Web Information Systems Engineering, WISE 2010, held in Hong Kong, China, in December 2010. Editor(s): Chen, Lei; Triantafillou, Peter; Suel, Torsten. Series: Lecture Notes in Computer Science. Num Pages: 641 pages, 227 black & white illustrations, biography. BIC Classification: UG; UKR; UND; UNF; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 641
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642176159
- ISBN
- 9783642176159
Paperback
Condition: New
€ 142.43
€ 142.43
Database Theory and Application, Bio-Science and Bio-Technology
. Ed(S): Zhang, Yanchun; Cuzzocrea, Alfredo; ...
Paperback. Constitutes the refereed proceedings of the International Conference on Database Theory and Application, DTA 2010, and the International Conference on Bio-Science and Bio-Technology, BSBT 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Zhang, Yanchun; Cuzzocrea, Alfredo; Ma, Jianhua; Chung, Kyo-Il; Arslan, Tughrul; Song, Xiaofeng. Series: Communications in Computer and Information Science. Num Pages: 310 pages, 164 black & white illustrations, biography. BIC Classification: UGK; UMB; UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 20. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642176210
- ISBN
- 9783642176210
Paperback
Condition: New
€ 67.35
€ 67.35
Grid and Distributed Computing, Control and Automation
. Ed(S): Yau, Stephen Shing-Taung; Gervasi, O...
Paperback. Constitutes the refereed proceedings of the International Conference on Grid and Distributed Computing, GDC 2010, and the International Conference on Control and Automation, CA 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Yau, Stephen Shing-Taung; Gervasi, Osvaldo; Kang, Byeong Ho; Stoica, Adrian; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 287 pages, 166 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783642176241
- ISBN
- 9783642176241
Paperback
Condition: New
€ 67.23
€ 67.23
Paperback. Constitutes the proceedings of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2010, and the Conference on Multimedia, Computer Graphics and Broadcasting, MulGraB 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Pal, Sankar K.; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 342 pages, 169 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 342
- Condition
- New
- SKU
- V9783642176401
- ISBN
- 9783642176401
Paperback
Condition: New
€ 67.61
€ 67.61