.png){kind=logo}
Computing
Results 6673 - 6696 of 28368
Computing
Hardback. The 31 contributed papers presented at the AD2012 conference cover the application of algorithmic differentiation (AD) to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. This title presents proceedings of this conference. Editor(s): Forth, Shaun; Hovland, Paul; Phipps, Eric; Utke, Jean; Walther, Andrea. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 380 pages, 30 black & white tables, biography. BIC Classification: PBKS; PDE; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783642300226
- ISBN
- 9783642300226
Hardback
Condition: New
€ 129.66
€ 129.66
Recent Advances in Agent-Based Complex Automated Negotiation
. Ed(S): Fukuta, Naoki; Ito, Takayuki; Zhang,...
Hardback. Editor(s): Fukuta, Naoki; Ito, Takayuki; Zhang, Minjie; Fujita, Katsuhide; Robu, Valentin. Series: Studies in Computational Intelligence. Num Pages: 306 pages, 7 black & white illustrations, 79 colour illustrations, biography. BIC Classification: PBUD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 306
- Condition
- New
- SKU
- V9783319303055
- ISBN
- 9783319303055
Hardback
Condition: New
€ 128.75
€ 128.75
Hardcover. Editor(s): Meghanathan, Natarajan. Num Pages: 234 pages. BIC Classification: UT; UY. Category: (P) Professional & Vocational. Dimension: 184 x 259 x 15. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Nova Science Pub Inc
- Condition
- New
- SKU
- V9781633213371
- ISBN
- 9781633213371
Hardback
Condition: New
€ 253.08€ 172.78
€ 253.08
€ 172.78
Paperback. Editor(s): Malathi, R.; Krishnan, J. Series: Lecture Notes in Electrical Engineering. Num Pages: 521 pages, biography. BIC Classification: GPFC; THR; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 521
- Condition
- New
- SKU
- V9788132217206
- ISBN
- 9788132217206
Paperback
Condition: New
€ 251.56
€ 251.56
Hardback. A collection of peer-reviewed scientific papers submitted by researchers in the 36th National System Conference (NSC 2012). Editor(s): Malathi, R.; Krishnan, J. Series: Lecture Notes in Electrical Engineering. Num Pages: 521 pages, biography. BIC Classification: GPFC; UYM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 906.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 521
- Condition
- New
- SKU
- V9788132210344
- ISBN
- 9788132210344
Hardback
Condition: New
€ 252.28
€ 252.28
paperback. Num Pages: 232 pages, biography. BIC Classification: LAB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Number of pages
- 232
- Condition
- New
- SKU
- V9789048153749
- ISBN
- 9789048153749
Paperback
Condition: New
€ 127.78
€ 127.78
Hardback. Presents a computational framework for the integration of rules and cases for analytic tasks typified by legal analysis. This book also presents techniques for representing, indexing, and comparing complex cases and for converting justification structures based on rules and case into natural-language text. Num Pages: 232 pages, biography. BIC Classification: LA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9780792361053
- ISBN
- 9780792361053
Hardback
Condition: New
€ 132.33
€ 132.33
paperback. Series: Law and Philosophy Library. Num Pages: 266 pages, biography. BIC Classification: HPL; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 1997
- Number of pages
- 266
- Condition
- New
- SKU
- V9789048147731
- ISBN
- 9789048147731
Paperback
Condition: New
€ 249.42
€ 249.42
Paperback. This work presents a survey of logic programs as representational and reasoning tools. It examines the use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning and a variety of knowledge representation formalisms, such as default negation. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMX; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540614883
- ISBN
- 9783540614883
Paperback
Condition: New
€ 71.38
€ 71.38
Paperback. Editor(s): Faber, Wolfgang; Paschke, Adrian. Series: Lecture Notes in Computer Science. Num Pages: 333 pages, 46 black & white illustrations, biography. BIC Classification: UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 333
- Condition
- New
- SKU
- V9783319217673
- ISBN
- 9783319217673
Paperback
Condition: New
€ 67.12
€ 67.12
Reasoning Web: Logical Foundation of Knowledge Graph Construction and ...
. Ed(S): Pan, Jeff Z.; Calvanese, Diego; Eite...
Paperback. Editor(s): Pan, Jeff Z.; Calvanese, Diego; Eiter, Thomas; Horrocks, Ian; Kifer, Michael; Lin, Fangzhen; Zhao, Yuting. Series: Lecture Notes in Computer Science. Num Pages: 259 pages, 37 black & white illustrations, biography. BIC Classification: DNF; UNH; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 259
- Condition
- New
- SKU
- V9783319494920
- ISBN
- 9783319494920
Paperback
Condition: New
€ 77.57
€ 77.57
Reasoning Web. Semantic Technologies for the Web of Data
. Ed(S): Polleres, Axel; D'Amato, Claudia; Ar...
Paperback. The Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced capabilities, in particular with context awareness and decision support. This book aims to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. Editor(s): Polleres, Axel; d'Amato, Claudia; Arenas, Marcelo; Handschuh, Siegfried; Kroner, Paula; Ossowski, Sascha; Patel-Schneider, Peter F. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 544 pages, biography. BIC Classification: UKN; UNF; UNH; UNN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642230318
- ISBN
- 9783642230318
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. This book contains a collection of revised tutorial papers based on lectures given by researchers at the 5th International Summer School on the Reasoning Web. It introduces semantic web methods and research issues with a particular emphasis on reasoning. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 364 pages, biography. BIC Classification: UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642037535
- ISBN
- 9783642037535
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. Contains a collection of revised tutorial papers based on lectures given by leading researchers at the 4th International Summer School on the Reasoning Web, held in Venice, Italy, in September 2008. This book provides a coherent introduction to semantic web methods and research issues with a particular focus on reasoning. Series: Lecture Notes in Computer Science. Num Pages: 269 pages, biography. BIC Classification: UKN; UKR; UMB; UND; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783540856566
- ISBN
- 9783540856566
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Presents tutorial papers corresponding to lectures given by researchers at the Second International Summer School on Reasoning Web in Lisbon, Portugal, in September 2006. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 281 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 281
- Condition
- New
- SKU
- V9783540384090
- ISBN
- 9783540384090
Paperback
Condition: New
€ 75.79
€ 75.79
Paperback. A collection of papers that provide coverage of methods and issues of the Semantic Web, ontology languages and their relation to description logics, Web query languages, XML, RDF and topics maps, evolution and reactivity, personalization in the Semantic Web, rule modeling with UML, and techniques in Web information extraction. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 336 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540278283
- ISBN
- 9783540278283
Paperback
Condition: New
€ 92.88
€ 92.88
Paperback. Series: Applied Logic Series. Num Pages: 342 pages, biography. BIC Classification: HP; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 342
- Condition
- New
- SKU
- V9789048167838
- ISBN
- 9789048167838
Paperback
Condition: New
€ 67.60
€ 67.60
Hardback. Offers a treatment of a mathematical model for reasoning robotic agents. This book contains an introduction to a programming method and system based on this model. It covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and other topics. Series: Applied Logic Series. Num Pages: 342 pages, biography. BIC Classification: HP; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 20. Weight in Grams: 659.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 342
- Condition
- New
- SKU
- V9781402030680
- ISBN
- 9781402030680
Hardback
Condition: New
€ 73.54
€ 73.54
Paperback. Event-based distributed systems are playing an increasingly important role in a broad range of application domains. This book presents a thorough review of reasoning in event-based distributed systems. It also contains new research and extensive references. Series: Studies in Computational Intelligence. Num Pages: 310 pages, biography. BIC Classification: TBC; TJF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642267864
- ISBN
- 9783642267864
Paperback
Condition: New
€ 194.34
€ 194.34
Hardback. Event-based distributed systems are playing an increasingly important role in a broad range of application domains. This book presents a thorough review of reasoning in event-based distributed systems. It also contains new research and extensive references. Series: Studies in Computational Intelligence. Num Pages: 310 pages, biography. BIC Classification: TBC; UYQ; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642197239
- ISBN
- 9783642197239
Hardback
Condition: New
€ 200.23
€ 200.23
Hardback. Covers research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. This book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. Series: Frontiers in Electronic Testing. Num Pages: 246 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9780792399216
- ISBN
- 9780792399216
Hardback
Condition: New
€ 198.82
€ 198.82
Paperback. .
- Publisher
- MIT Press Ltd
- Format
- Paperback
- Publication date
- 2017
- Edition
- second edition
- Condition
- New
- SKU
- V9780262533805
- ISBN
- 9780262533805
Paperback
Condition: New
€ 73.67€ 70.31
€ 73.67
€ 70.31
Hardback. A presentation of the program analyses and transformations that extract the flow of data in computer memory systems. It emphasises on a framework for the optimization of code for imperative programs and greater computer systems efficiency. It shows that correctness of program transformations is guaranteed by the conservation of data flow. Num Pages: 238 pages, biography. BIC Classification: UMC; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1210.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 238
- Condition
- New
- SKU
- V9780387953915
- ISBN
- 9780387953915
Hardback
Condition: New
€ 71.95
€ 71.95
Paperback. Provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. Num Pages: 536 pages, 13 illus. BIC Classification: HPK; JMR; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 178 x 25. Weight in Grams: 872.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 491
- Format
- Paperback
- Publication date
- 2004
- Edition
- 1st MIT Press Paperback Ed
- Condition
- New
- SKU
- V9780262562003
- ISBN
- 9780262562003
Paperback
Condition: New
€ 67.73€ 64.89
€ 67.73
€ 64.89