Artificial intelligence
Results 461 - 480 of 607
Artificial intelligence
Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642152047
- ISBN
- 9783642152047
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance. Series: Lecture Notes in Computer Science. Num Pages: 524 pages, biography. BIC Classification: PBC; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540875307
- ISBN
- 9783540875307
Paperback
Condition: New
€ 157.86
€ 157.86
Hardback. This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings together the contributions of various specialists in the field. Series: ISTE. Num Pages: 352 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 162 x 24. Weight in Grams: 660.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9781848214378
- ISBN
- 9781848214378
Hardback
Condition: New
€ 171.31
€ 171.31
Paperback. Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 370 pages, biography. BIC Classification: UGK; UKN; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783540878261
- ISBN
- 9783540878261
Paperback
Condition: New
€ 124.23
€ 124.23
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UB; UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540705437
- ISBN
- 9783540705437
Paperback
Condition: New
€ 159.23
€ 159.23
Hardcover. Soft computing is an emerging collection of methodologies that exploit tolerances for imprecision, uncertainty, and partial truth to achieve robustness, tractability, and low total cost. Hard computing solutions are usually more straightforward to analyze, and feature more predictable behavior and stability. Editor(s): Ovaska, Seppo J. Series: IEEE Press Series on Computational Intelligence. Num Pages: 410 pages. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 21. Weight in Grams: 737.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 410
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471476689
- ISBN
- 9780471476689
Hardback
Condition: New
€ 190.95
€ 190.95
Paperback. A book that constitutes the refereed proceedings of the First International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2010, that was held in Bangkok, Thailand. Editor(s): Chan, Jonathan H.; Ong, Yew Soon; Cho, Sung-Bae. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 91 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 186 x 14. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642167492
- ISBN
- 9783642167492
Paperback
Condition: New
€ 64.75
€ 64.75
Paperback. Editor(s): Dix, Jurgen; Fisher, Michael; Novak, Peter. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 197 pages, 40 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642168666
- ISBN
- 9783642168666
Paperback
Condition: New
€ 64.43
€ 64.43
Paperback. Constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. This title features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning. Editor(s): Dix, Jurgen; Leite, Joao; Governatori, Guido; Jamroga, Wojtek. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 257 pages, 42 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642149764
- ISBN
- 9783642149764
Paperback
Condition: New
€ 65.01
€ 65.01
Hardcover. This text is devoted to two interrelated techniques used in solving some important problems in machine intelligence and pattern recognition. Editor(s): Gammerman, A. Num Pages: 338 pages, Illustrations. BIC Classification: PBT; UYA; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 257 x 183 x 25. Weight in Grams: 776.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9780471962793
- ISBN
- 9780471962793
Hardback
Condition: New
€ 340.24
€ 340.24
Hardcover. The main focus of the book is on computational modelling of biological and natural intelligent systems in order to develop nature inspired artificially intelligent systems. These algorithmic models have as their main objective to facilitate the implementation of artificial intelligent systems for solving complex real-world systems (e.g. Num Pages: 628 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 254 x 180 x 40. Weight in Grams: 1232.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc
- Edition
- 2nd Edition
- Number of pages
- 628
- Condition
- New
- SKU
- V9780470035610
- ISBN
- 9780470035610
Hardback
Condition: New
€ 103.24
€ 103.24
Paperback. Constitutes the proceedings of the 5th International Symposium on Computational Intelligence and Intelligent Systems held in Wuhan, China, in October 2010. Editor(s): Tong, Hengjian; Kang, Zhuo. Series: Communications in Computer and Information Science. Num Pages: 289 pages, 117 black & white illustrations, biography. BIC Classification: 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
- 289
- Condition
- New
- SKU
- V9783642163876
- ISBN
- 9783642163876
Paperback
Condition: New
€ 65.33
€ 65.33
Hardback. A survey of computational intelligence from luminaries in the field. This work shows how technology is shaping computational intelligence, and delivers insights into the field's future challenges. It also discusses important parallels between topics. It is suitable for practitioners of computational intelligence. Editor(s): Fogel, David B.; Robinson, Charles J. Num Pages: 304 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 178 x 25. Weight in Grams: 634.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9780471274544
- ISBN
- 9780471274544
Hardback
Condition: New
€ 177.86
€ 177.86
Hardcover. Computational Intelligence: Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing presents an introduction to some of the cutting edge technological paradigms under the umbrella of computational intelligence. Num Pages: 532 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 250 x 172 x 30. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 532
- Condition
- New
- SKU
- V9781118337844
- ISBN
- 9781118337844
Hardback
Condition: New
€ 151.38
€ 151.38
Hardback. Editor(s): Floares, Alexandru. Num Pages: 212 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 264 x 184 x 19. Weight in Grams: 596.
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 212
- Format
- Hardback
- Publication date
- 2013
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781620819012
- ISBN
- 9781620819012
Hardback
Condition: New
€ 202.85€ 137.67
€ 202.85
€ 137.67
Hardcover. "Intriguing.. [filled with] new ideas about overarching intellectual themes that govern our technologies and our society. " - Nikil Jayant , Eminent Scholar, Georgia Research Alliance "Dr. Ahamed is correct in observing that 'silicon and glass have altered the rhythm of mind' and that computers need to be more 'human. '" - Bishnu S. Num Pages: 538 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 164 x 31. Weight in Grams: 900.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 538
- Condition
- New
- SKU
- V9780470446867
- ISBN
- 9780470446867
Hardback
Condition: New
€ 206.11
€ 206.11
Computational Collective Intelligence. Technologies and Applications: ...
. Ed(S): Pan, Jeng-Shyang; Chen, Shyi-Ming; N...
paperback. Constitutes the refereed proceedings of the Second International Conference on Computational Collective Intelligence, ICCCI 2010, that was held in Kaohsiung, Taiwan. Editor(s): Pan, Jeng-Shyang; Chen, Shyi-Ming; Nguyen, Ngoc Thanh. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 514 pages, 257 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 28. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 514
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642167317
- ISBN
- 9783642167317
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Constitutes the refereed proceedings of the Second International Conference on Computational Collective Intelligence, ICCCI 2010, that was held in Kaohsiung, Taiwan. Editor(s): Pan, Jeng-Shyang; Chen, Shyi-Ming; Nguyen, Ngoc Thanh. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 472 pages, 269 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 717.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783642166952
- ISBN
- 9783642166952
Paperback
Condition: New
€ 66.96
€ 66.96
Paperback. Constitutes the refereed proceedings of the Second International Conference on Computational Collective Intelligence, ICCCI 2010, that was held in Kaohsiung, Taiwan. Editor(s): Pan, Jeng-Shyang; Chen, Shyi-Ming; Nguyen, Ngoc Thanh. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 534 pages, 217 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642166921
- ISBN
- 9783642166921
Paperback
Condition: New
€ 67.73
€ 67.73