.png){kind=logo}
Computing
Results 13729 - 13752 of 30851
Computing
Paperback. Series: Artificial Intelligence. Num Pages: 436 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642075162
- ISBN
- 9783642075162
Paperback
Condition: New
€ 195.64
€ 195.64
Hardback. Integrates nonmonotonic reasoning and belief change in a single framework from an artificial intelligence logic point of view. Starting with the logical foundations, the author develops a framework and presents fresh results. Series: Artificial Intelligence. Num Pages: 436 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 25. Weight in Grams: 1780.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540417668
- ISBN
- 9783540417668
Hardback
Condition: New
€ 202.81
€ 202.81
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 201.70
€ 201.70
Hardback. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts. Series: Springer Monographs in Mathematics. Num Pages: 695 pages, 45 black & white illustrations, 4 colour illustrations, 3 black & white tables, biography. BIC Classification: PBCD; PBWH; UMB. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 32. Weight in Grams: 1132.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 703
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319001180
- ISBN
- 9783319001180
Hardback
Condition: New
€ 234.07
€ 234.07
Paperback. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts. Series: Springer Monographs in Mathematics. Num Pages: 709 pages, 45 black & white illustrations, 4 colour illustrations, 3 black & white tables, biography. BIC Classification: PBC; PBWH; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1074.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 709
- Condition
- New
- SKU
- V9783319342689
- ISBN
- 9783319342689
Paperback
Condition: New
€ 230.68
€ 230.68
Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 425 pages, 49 black & white illustrations, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642357213
- ISBN
- 9783642357213
Paperback
Condition: New
€ 68.25
€ 68.25
paperback. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540926863
- ISBN
- 9783540926863
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 33 colour illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 417
- Condition
- New
- SKU
- V9783319276823
- ISBN
- 9783319276823
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 516 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 31. Weight in Grams: 778.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540727323
- ISBN
- 9783540727323
Paperback
Condition: New
€ 74.72
€ 74.72
Paperback. Series: Studies in Computational Intelligence. Num Pages: 309 pages, 33 black & white illustrations, 23 black & white tables, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. Softcover of orig. ed. 2006
- Number of pages
- 309
- Condition
- New
- SKU
- V9783642067099
- ISBN
- 9783642067099
Paperback
Condition: New
€ 194.44
€ 194.44
Hardback. Presents logical foundations for rule-based systems. This book aims to provide a discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. It is aimed at students, knowledge engineers and research workers involved in the domain of AI. Series: Studies in Computational Intelligence. Num Pages: 309 pages, 33 black & white illustrations, 23 black & white tables, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2006
- Number of pages
- 309
- Condition
- New
- SKU
- V9783540291176
- ISBN
- 9783540291176
Hardback
Condition: New
€ 195.30
€ 195.30
Logical Foundations for Cognitive Agents: Contributions in Honor of Ra...
. Ed(S): Levesque, Hector J.; Pirri, Fiora
paperback. Editor(s): Levesque, Hector J.; Pirri, Fiora. Series: Artificial Intelligence. Num Pages: 405 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 638.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 405
- Condition
- New
- SKU
- V9783642643064
- ISBN
- 9783642643064
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. Series: Integrated Series in Information Systems. Num Pages: 228 pages, biography. BIC Classification: KJQ; UN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 228
- Condition
- New
- SKU
- V9781441919892
- ISBN
- 9781441919892
Paperback
Condition: New
€ 127.73
€ 127.73
Hardback. Offers business managers, analysts, and students a guide to defining business information structures in relational database terms. Based on Clive Finkelstein's business-side "Information Engineering", this book uses a approach, which relies on terminology and reasoning, and includes illustrations, examples, and exercises. Series: Integrated Series in Information Systems. Num Pages: 228 pages, biography. BIC Classification: KJQ; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1160.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9780387229508
- ISBN
- 9780387229508
Hardback
Condition: New
€ 132.41
€ 132.41
Logical Aspects of Computational Linguistics. Celebrating 20 Years of ...
. Ed(S): Amblard, Maxime; Groote, Philippe De...
Paperback. Editor(s): Amblard, Maxime; Groote, Philippe de; Pogodalla, Sylvain; Retore, Christian. Series: Lecture Notes in Computer Science. Num Pages: 335 pages, 51 black & white illustrations, biography. BIC Classification: CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783662538258
- ISBN
- 9783662538258
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Editor(s): Asher, Nicholas; Soloviev, Sergei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 29 black & white illustrations, biography. BIC Classification: CFX; UM; UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783662437414
- ISBN
- 9783662437414
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012 Editor(s): Bechet, Denis; Dikovsky, Alexandre. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 261 pages, 32 black & white illustrations, biography. BIC Classification: CFX; UYQL; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783642312618
- ISBN
- 9783642312618
Paperback
Condition: New
€ 66.66
€ 66.66
Paperback. This text presents the refereed proceedings of the Second International Conference on Logical Aspects of Computational Linguistics. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type directed natural language processing and proof theoretic aspects. Editor(s): Lecomte, Alain; Lamarche, Francois; Perrier, Guy. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 266 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 266
- Condition
- New
- SKU
- V9783540657514
- ISBN
- 9783540657514
Paperback
Condition: New
€ 69.66
€ 69.66
Paperback. This volume presents 18 full papers, four invited contributions and an introductory survey. The papers cover relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming and type theory. Editor(s): Retore, Christian. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 452 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540637004
- ISBN
- 9783540637004
Paperback
Condition: New
€ 73.13
€ 73.13
Paperback. This work aims to provide the foundations for the second order treatment of system models and an effective framework for applying basic concepts in systems theory to the design of information systems. It includes discussion of issues such as hierarchy and system properties. Series: Lecture Notes in Control and Information Sciences. Num Pages: 187 pages, 2 black & white illustrations, biography. BIC Classification: GPFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 10. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 187
- Condition
- New
- SKU
- V9783540199564
- ISBN
- 9783540199564
Paperback
Condition: New
€ 126.82
€ 126.82
hardcover. The first textbook ever to cover multi-relational data mining and inductive logic programming, this book fully explores logical and relational learning. Ideal for graduate students and researchers, it also looks at statistical relational learning. Series: Cognitive Technologies. Num Pages: 402 pages, 10 black & white tables, biography. BIC Classification: UM; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 816.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 402
- Condition
- New
- SKU
- V9783540200406
- ISBN
- 9783540200406
Hardback
Condition: New
€ 69.07
€ 69.07
Paperback. In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author's coherent logical approach covers theory, practice, and applications. Num Pages: 426 pages, biography. BIC Classification: TJFM; UM; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642444746
- ISBN
- 9783642444746
Paperback
Condition: New
€ 129.32
€ 129.32
Hardback. In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author's coherent logical approach covers theory, practice, and applications. Num Pages: 426 pages, biography. BIC Classification: TJFM; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 246 x 164 x 23. Weight in Grams: 796.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642145087
- ISBN
- 9783642145087
Hardback
Condition: New
€ 130.88
€ 130.88
Logica: Volume 1 - Dimostrazioni e modelli al primo ordine (UNITEXT / ...
Abrusci, Vito Michele, Tortora de Falco, Lore...
Paperback.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9788847055377
- ISBN
- 9788847055377
Paperback
Condition: New
€ 50.37
€ 50.37