Computer science
Results 1129 - 1152 of 1881
Computer science
Paperback. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642171635
- ISBN
- 9783642171635
Paperback
Condition: New
€ 67.24
€ 67.24
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
€ 64.43
€ 64.43
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
€ 127.34
€ 127.34
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
€ 128.16
€ 128.16
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
€ 127.64
€ 127.64
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
€ 66.97
€ 66.97
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
€ 65.97
€ 65.97
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
€ 65.18
€ 65.18
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
€ 129.08
€ 129.08
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
€ 129.08
€ 129.08
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
€ 129.70
€ 129.70
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
€ 126.92
€ 126.92
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
€ 139.13
€ 139.13
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
€ 65.82
€ 65.82
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
€ 65.70
€ 65.70
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
€ 66.08
€ 66.08
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2010, held in Changchun, China, in August 2010. Editor(s): Blanc-Talon, Jacques; Bone, Don; Philips, Wilfried; Scheunders, Paul; Popescu, Dan C. Series: Lecture Notes in Computer Science. Num Pages: 491 pages, 270 black & white illustrations, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 748.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 491
- Condition
- New
- SKU
- V9783642176876
- ISBN
- 9783642176876
Paperback
Condition: New
€ 67.56
€ 67.56
Advanced Concepts for Intelligent Vision Systems: 12th International C...
. Ed(S): Blanc-Talon, Jacques; Bone, Don; Phi...
paperback. Constitutes the refereed proceedings of the 12th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2010, held in Changchun, China, in August 2010. Editor(s): Blanc-Talon, Jacques; Bone, Don; Philips, Wilfried; Popescu, Dan C.; Scheunders, Paul. Series: Lecture Notes in Computer Science. Num Pages: 379 pages, 178 black & white illustrations, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 379
- Condition
- New
- SKU
- V9783642176906
- ISBN
- 9783642176906
Paperback
Condition: New
€ 66.54
€ 66.54
Recognizing Patterns in Signals, Speech, Images, and Videos
. Ed(S): Aunay, Devrim; Aaataltepe, Zehra; Ak...
Paperback. Constitutes the refereed contest reports of the 20th International Conference on Pattern Recognition, ICPR 2010, held in Istanbul, Turkey, in August 2010. Editor(s): Aunay, Devrim; Aaataltepe, Zehra; Aksoy, Selim. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 314 pages, 28 black & white illustrations, 80 colour illustrations, biography. BIC Classification: UYQP; UYQS. Category: (P) Professional & Vocational. Dimension: 231 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
- 314
- Condition
- New
- SKU
- V9783642177101
- ISBN
- 9783642177101
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Information Systems Security, ICISS 2010, held in Gandhinagar, India, in December 2010. Editor(s): Jha, Somesh; Mathuria, Anish. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 275 pages, 60 black & white illustrations, biography. BIC Classification: UKN; UNH; URY; UYQP; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642177132
- ISBN
- 9783642177132
Paperback
Condition: New
€ 65.45
€ 65.45
Paperback. Constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010. Editor(s): Soffer, Pnina; Proper, Erik. Series: Lecture Notes in Business Information Processing. Num Pages: 283 pages, 51 black & white illustrations, 81 colour illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Condition
- New
- SKU
- V9783642177217
- ISBN
- 9783642177217
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. Editor(s): Leuken, Rene van; Sicard, Gilles. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 260 pages, 77 black & white illustrations, 53 colour illustrations, biography. BIC Classification: TJFC; UKN; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783642177514
- ISBN
- 9783642177514
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, that was held in Lac-Beauport, QC, Canada, in June 2010. Editor(s): Johnson, Michael; Pavlovic, Dusko. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, 36 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642177958
- ISBN
- 9783642177958
Paperback
Condition: New
€ 65.18
€ 65.18
Paperback. Constitutes the proceedings of the 6th International ICST Conference, TridentCom 2010, held in Berlin, Germany, in May 2010. This title includes topics such as Internet testbeds, future Internet research, wireless sensors, media and mobility, and monitoring in large scale testbeds. Editor(s): Magedanz, Thomas. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 768 pages, 305 black & white illustrations, biography. BIC Classification: UGK; UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 43. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 768
- Condition
- New
- SKU
- V9783642178504
- ISBN
- 9783642178504
Paperback
Condition: New
€ 129.95
€ 129.95