.png){kind=logo}
Computing
Results 26981 - 27000 of 28494
Computing
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
€ 88.52
€ 88.52
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
€ 75.25
€ 75.25
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
€ 67.15
€ 67.15
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
€ 66.01
€ 66.01
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
€ 128.09
€ 128.09
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
€ 126.80
€ 126.80
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
€ 65.89
€ 65.89
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
€ 67.07
€ 67.07
Paperback. Num Pages: 375 pages. BIC Classification: UF. .
- Publisher
- Manning Publications
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781617293023
- ISBN
- 9781617293023
Paperback
Condition: New
€ 52.99€ 50.93
€ 52.99
€ 50.93
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 448 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540255932
- ISBN
- 9783540255932
Paperback
Condition: New
€ 73.12
€ 73.12
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
€ 85.78
€ 85.78
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
€ 66.58
€ 66.58
Paperback. Num Pages: 76 pages, 1 black & white illustrations, 7 colour illustrations, biography. BIC Classification: UMW. Category: (G) General (US: Trade). Dimension: 236 x 156 x 13. Weight in Grams: 166.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Apress
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221136
- ISBN
- 9781484221136
Paperback
Condition: New
€ 41.32
€ 41.32
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
€ 101.00€ 84.11
€ 101.00
€ 84.11
Paperback. The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 288 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540314288
- ISBN
- 9783540314288
Paperback
Condition: New
€ 70.00
€ 70.00
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
€ 69.38
€ 69.38
Paperback. Editor(s): Miculan, Marino; Scagnetto, Ivan; Honsell, Furio. Series: Lecture Notes in Computer Science. Num Pages: 210 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540680840
- ISBN
- 9783540680840
Paperback
Condition: New
€ 66.97
€ 66.97
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
€ 67.33
€ 67.33
Paperback.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 83
- Condition
- New
- SKU
- V9781430257257
- ISBN
- 9781430257257
Paperback
Condition: New
€ 53.57
€ 53.57
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
€ 67.67
€ 67.67