Computer science
Results 15985 - 16008 of 16706
Computer science
Hardback. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weight in Grams: 978.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107036505
- ISBN
- 9781107036505
Hardback
Condition: New
€ 86.90
€ 86.90
Paperback. Series: SpringerBriefs in Applied Sciences and Technology. Num Pages: 101 pages, 9 black & white illustrations, 51 colour illustrations, biography. BIC Classification: PBWX; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 6. Weight in Grams: 174.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 101
- Condition
- New
- SKU
- V9783319412870
- ISBN
- 9783319412870
Paperback
Condition: New
€ 71.93
€ 71.93
Type-2 Fuzzy Graphical Models for Pattern Recognition
Zeng, Jia; Liu, Zhi-Qiang (University Of Hong...
Hardback. Series: Studies in Computational Intelligence. Num Pages: 214 pages. BIC Classification: TTBM; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 497.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 214
- Condition
- New
- SKU
- V9783662446898
- ISBN
- 9783662446898
Hardback
Condition: New
€ 63.98
€ 63.98
Type-2 Fuzzy Graphical Models for Pattern Recognition
Zeng, Jia; Liu, Zhi-Qiang (University Of Hong...
Paperback. Series: Studies in Computational Intelligence. Num Pages: 214 pages, 112 black & white illustrations, biography. BIC Classification: TTBM; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 214
- Condition
- New
- SKU
- V9783662515228
- ISBN
- 9783662515228
Paperback
Condition: New
€ 63.08
€ 63.08
Hardback. Hybrid intelligent systems combine intelligent computing paradigms including fuzzy logic and bio-inspired optimization algorithms to produce powerful automatic control systems. This volume explains several important control applications of Type-2 fuzzy logic. Series: Studies in Fuzziness and Soft Computing. Num Pages: 190 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 190
- Condition
- New
- SKU
- V9783642246623
- ISBN
- 9783642246623
Hardback
Condition: New
€ 121.88
€ 121.88
Paperback. Hybrid intelligent systems combine intelligent computing paradigms including fuzzy logic and bio-inspired optimization algorithms to produce powerful automatic control systems. This volume explains several important control applications of Type-2 fuzzy logic. Series: Studies in Fuzziness and Soft Computing. Num Pages: 190 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783642270154
- ISBN
- 9783642270154
Paperback
Condition: New
€ 120.66
€ 120.66
Paperback. Num Pages: 203 pages, 73 black & white illustrations, 12 black & white tables, biography. BIC Classification: PBWH; UYQN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 203
- Condition
- New
- SKU
- V9783319381596
- ISBN
- 9783319381596
Paperback
Condition: New
€ 63.00
€ 63.00
Hardcover. Type-2 Fuzzy Neural Networks and Their Applications Num Pages: 203 pages, 73 black & white illustrations, 12 black & white tables, biography. BIC Classification: PBWH; UYQN. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 17. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319090719
- ISBN
- 9783319090719
Hardback
Condition: New
€ 64.09
€ 64.09
Paperback. Editor(s): Hasegawa, Masahito. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 18 black & white illustrations, biography. BIC Classification: PBCD; UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642389450
- ISBN
- 9783642389450
Paperback
Condition: New
€ 81.80
€ 81.80
paperback. Constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. Editor(s): Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: PBC; UMA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216909
- ISBN
- 9783642216909
Paperback
Condition: New
€ 63.55
€ 63.55
Hardcover. A comprehensive introduction to type systems and programming languages. Num Pages: 648 pages, 60 illus. BIC Classification: UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 214 x 34. Weight in Grams: 1330.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 648
- Format
- Hardback
- Publication date
- 2002
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780262162098
- ISBN
- 9780262162098
Hardback
Condition: New
€ 100.29€ 93.34
€ 100.29
€ 93.34
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.09
€ 66.09
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 331 pages, biography. BIC Classification: UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 331
- Condition
- New
- SKU
- V9783642024436
- ISBN
- 9783642024436
Paperback
Condition: New
€ 64.25
€ 64.25
Paperback. Constitutes the refereed proceedings of the International Conference, UNESST 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Ma, Jianhua; Fang, Wai-Chi; Kang, Byeong Ho; Park, Byungjoo; Sandnes, Frode Eika; Lee, Kun Chang. Series: Communications in Computer and Information Science. Num Pages: 348 pages, 160 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 348
- Condition
- New
- SKU
- V9783642272097
- ISBN
- 9783642272097
Paperback
Condition: New
€ 64.43
€ 64.43
Paperback / so. Num Pages: 301 pages, black & white illustrations, bibliography. BIC Classification: PBF; PBW; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 1978
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 301
- Condition
- New
- SKU
- V9783528033316
- ISBN
- 9783528033316
Paperback
Condition: New
€ 69.19
€ 69.19
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan in September 2005. These papers address topics related to human-computer interface (HCI), systems, context recognition and use, communications, and social implications and applications of computing. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 416 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1290.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540287605
- ISBN
- 9783540287605
Paperback
Condition: New
€ 69.03
€ 69.03
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. This book presents 30 revised full papers, carefully reviewed and selected from 232 submissions. The papers address all current issues in the area of ubiquitous, pervasive and handheld computing systems and their applications. Editor(s): Dourish, Paul; Friday, Adrian. Series: Lecture Notes in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783540396345
- ISBN
- 9783540396345
Paperback
Condition: New
€ 71.70
€ 71.70
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Ubiquitous Computing, UbiComp 2007, held in Innsbruck, Austria, in September 2007. This book includes topics like: tools and techniques for designing, implementing, and evaluating ubiquitous computing systems. Series: Lecture Notes in Computer Science. Num Pages: 539 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 539
- Condition
- New
- SKU
- V9783540748526
- ISBN
- 9783540748526
Paperback
Condition: New
€ 66.28
€ 66.28
Hardback. Gathering papers from the 2011 conference Cognition and Exploratory Learning in the Digital Age (CELDA), this book covers informal and formal learning environments, social web technology for new knowledge representation, retrieval, creation and sharing in informal and formal settings. Editor(s): Sampson, Demetrios G.; Isaias, Pedro; Ifenthaler, Dirk; Spector, J. Michael. Num Pages: 294 pages, 33 black & white tables, biography. BIC Classification: JNT; JNV; UYZG; YQT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 654.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9781461433286
- ISBN
- 9781461433286
Hardback
Condition: New
€ 122.71
€ 122.71
Paperback. Gathering papers from the 2011 conference Cognition and Exploratory Learning in the Digital Age (CELDA), this book covers informal and formal learning environments, social web technology for new knowledge representation, retrieval, creation and sharing in informal and formal settings. Editor(s): Sampson, Demetrios G.; Isaias, Pedro; Ifenthaler, Dirk; Spector, Michael. Num Pages: 294 pages, 33 black & white tables, biography. BIC Classification: JNT; JNV; UYZG; YQT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9781489989741
- ISBN
- 9781489989741
Paperback
Condition: New
€ 121.60
€ 121.60
Paperback. Editor(s): Garcia, Carmelo R.; Burmester, Mike; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science. Num Pages: 553 pages, 195 black & white illustrations, biography. BIC Classification: UBJ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 553
- Condition
- New
- SKU
- V9783319487458
- ISBN
- 9783319487458
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Editor(s): Garcia, Carmelo R.; Burmester, Mike; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, 207 black & white illustrations, biography. BIC Classification: UBJ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 561
- Condition
- New
- SKU
- V9783319487984
- ISBN
- 9783319487984
Paperback
Condition: New
€ 66.26
€ 66.26
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012. Editor(s): Bravo, Jose L.; Lopez-De-Ipina, Diego; Moya, Francisco. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 543 pages, 187 black & white illustrations, biography. BIC Classification: UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 543
- Condition
- New
- SKU
- V9783642353765
- ISBN
- 9783642353765
Paperback
Condition: New
€ 66.25
€ 66.25
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, an...
. Ed(S): Garcia-Chamizo, Juan M.; Fortino, Gi...
Paperback. Editor(s): Garcia-Chamizo, Juan M.; Fortino, Giancarlo; Ochoa, Sergio F. Series: Lecture Notes in Computer Science. Num Pages: 522 pages, 198 colour illustrations, biography. BIC Classification: UBJ; UKN; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 522
- Condition
- New
- SKU
- V9783319264004
- ISBN
- 9783319264004
Paperback
Condition: New
€ 66.14
€ 66.14