Artificial intelligence
Results 1221 - 1228 of 1228
Artificial intelligence
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abdulla, Parosh Aziz; Leino, K. Rust...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642198342
- ISBN
- 9783642198342
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Editor(s): Abascal, Julio; Gross, Tom; Palanque, Philippe; Winckler, Marco; Barbosa, Simone; Fetter, Mirko. Series: Lecture Notes in Computer Science. Num Pages: 629 pages, 168 black & white illustrations, biography. BIC Classification: UBJ; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 629
- Condition
- New
- SKU
- V9783319227009
- ISBN
- 9783319227009
Paperback
Condition: New
€ 124.75
€ 124.75
Paperback. Editor(s): Abascal, Julio; Gross, Tom; Palanque, Philippe; Winckler, Marco; Barbosa, Simone; Fetter, Mirko. Series: Lecture Notes in Computer Science. Num Pages: 661 pages, 189 black & white illustrations, biography. BIC Classification: UBJ; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 661
- Condition
- New
- SKU
- V9783319226675
- ISBN
- 9783319226675
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Discusses the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 30 black & white illustrations, 32 colour illustrations, biography. BIC Classification: UNF; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642183010
- ISBN
- 9783642183010
Paperback
Condition: New
€ 66.76
€ 66.76
Hardcover. Editor(s): Gordon, Brent M. Num Pages: 177 pages, Illustrations. BIC Classification: UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 262 x 187 x 16. Weight in Grams: 486.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 177
- Condition
- New
- SKU
- V9781613240199
- ISBN
- 9781613240199
Hardback
Condition: New
€ 160.42€ 109.50
€ 160.42
€ 109.50
Hardcover. Editor(s): Yoshida, Sota R. Num Pages: 375 pages, Illustrations. BIC Classification: UYQV. Category: (G) General (US: Trade). Dimension: 260 x 188 x 25. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 375
- Condition
- New
- SKU
- V9781612093994
- ISBN
- 9781612093994
Hardback
Condition: New
€ 311.34€ 209.53
€ 311.34
€ 209.53
Hardcover. Editor(s): Sun, Emily C. Num Pages: 274 pages, b/w photos, tables & charts. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 265 x 189 x 23. Weight in Grams: 732.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 274
- Condition
- New
- SKU
- V9781611220230
- ISBN
- 9781611220230
Hardback
Condition: New
€ 137.84€ 94.53
€ 137.84
€ 94.53
Paperback. Editor(s): Rouff, Christopher A. Series: NASA Monographs in Systems and Software Engineering. Num Pages: 370 pages, 17 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 569.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Condition
- New
- SKU
- V9781849969697
- ISBN
- 9781849969697
Paperback
Condition: New
€ 189.43
€ 189.43