Computing
Results 3025 - 3048 of 30812
Computing
Paperback. Covers the refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. This title dicusses various aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems. Series: Lecture Notes in Computer Science. Num Pages: 512 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 727.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783540405597
- ISBN
- 9783540405597
Paperback
Condition: New
€ 71.47
€ 71.47
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. Editor(s): Bonacina, Maria Paola. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 482 pages, 95 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 482
- Condition
- New
- SKU
- V9783642385735
- ISBN
- 9783642385735
Paperback
Condition: New
€ 65.97
€ 65.97
paperback. Editor(s): Felty, Amy P.; Middeldorp, Aart. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1009.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 668
- Condition
- New
- SKU
- V9783319214009
- ISBN
- 9783319214009
Paperback
Condition: New
€ 67.32
€ 67.32
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed. Series: Lecture Notes in Computer Science. Num Pages: 480 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 665.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540280057
- ISBN
- 9783540280057
Paperback
Condition: New
€ 66.20
€ 66.20
paperback. This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm. Editor(s): Caferra, Ricardo; Salzer, Gernot. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 312 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2000th Edition
- Number of pages
- 312
- Condition
- New
- SKU
- V9783540671909
- ISBN
- 9783540671909
Paperback
Condition: New
€ 64.35
€ 64.35
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, biography. BIC Classification: PBM; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 229
- Condition
- New
- SKU
- V9783540209270
- ISBN
- 9783540209270
Paperback
Condition: New
€ 66.33
€ 66.33
Paperback. The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning. Editor(s): Gao, Xiao-Shan; Wang, Dongming; Lu, Yang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 300 pages, biography. BIC Classification: PBM; UG; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540666721
- ISBN
- 9783540666721
Paperback
Condition: New
€ 67.25
€ 67.25
Automated Deduction in Geometry: 10th International Workshop, ADG 2014...
. Ed(S): Botana, Francisco; Quaresma, Pedro
paperback. Editor(s): Botana, Francisco; Quaresma, Pedro. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, 54 black & white illustrations, biography. BIC Classification: PBCD; PBMS; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 190
- Condition
- New
- SKU
- V9783319213613
- ISBN
- 9783319213613
Paperback
Condition: New
€ 52.60
€ 52.60
Paperback. A Basis for Applications. Foundations - Calculi and Methodss; Systems and Implementation Techniques. Series: Applied Logic Series. 347 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques. Cateogry: (P) Professional & Vocational. BIC Classification: UYQ. Dimension: 242 x 160 x 26. Weight: 650.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351313
- ISBN
- 9780792351313
Paperback
Condition: New
€ 192.78
€ 192.78
Hardcover. This book describes an approach to software management based on establishing an infrastructure that serves as the foundation for the project. This infrastructure defines people roles, necessary technology, and interactions between people and technology. Num Pages: 426 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 163 x 32. Weight in Grams: 800.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 426
- Condition
- New
- SKU
- V9780470042120
- ISBN
- 9780470042120
Hardback
Condition: New
€ 150.52
€ 150.52
Automated Design of Analog and High-frequency Circuits
Liu, Bo; Gielen, Georges; Fernandez, Francisc...
Hardback. Automated Design of Analog and High-frequency Circuits Series: Studies in Computational Intelligence. Num Pages: 235 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 543.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642391613
- ISBN
- 9783642391613
Hardback
Condition: New
€ 122.84
€ 122.84
Hardcover. Automated Firewall Analytics Num Pages: 132 pages, 20 black & white illustrations, 12 colour illustrations, 6 black & white tables, biograph. BIC Classification: UKN; URY; UT. Category: (P) Professional & Vocational. Dimension: 243 x 161 x 14. Weight in Grams: 372.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319103709
- ISBN
- 9783319103709
Hardback
Condition: New
€ 122.32
€ 122.32
Hardback. This text documents advances in the understanding of automated theorem provers that are capable of proofs by mathematical induction. The book provides a tutorial study of the Boyer-Moore theorem prover, and novel ideas that could be used to build theorem provers more powerful than this one. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF AUTOMATED REASONING 16:
- Number of pages
- 222
- Condition
- New
- SKU
- V9780792340102
- ISBN
- 9780792340102
Hardback
Condition: New
€ 127.02
€ 127.02
Paperback. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 12. Weight in Grams: 377.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 222
- Condition
- New
- SKU
- V9789401072502
- ISBN
- 9789401072502
Paperback
Condition: New
€ 121.87
€ 121.87
Hardback. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 341
- Condition
- New
- SKU
- V9781402026522
- ISBN
- 9781402026522
Hardback
Condition: New
€ 188.28
€ 188.28
Paperback. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2004
- Number of pages
- 341
- Condition
- New
- SKU
- V9789048166961
- ISBN
- 9789048166961
Paperback
Condition: New
€ 186.41
€ 186.41
hardcover. This book presents the most recent and advanced techniques for creating autonomous AI systems capable of planning and acting effectively. Num Pages: 368 pages, 94 b/w illus. BIC Classification: TJFM; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 186 x 281 x 25. Weight in Grams: 822.
- Publisher
- Cambridge University Press
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781107037274
- ISBN
- 9781107037274
Hardback
Condition: New
€ 77.99
€ 77.99
Hardcover. Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students. Series: The Morgan Kaufmann Series in Artificial Intelligence. Num Pages: 635 pages, Illustrations. BIC Classification: UYQ. Category: (U) Tertiary Education (US: College). Dimension: 194 x 245 x 43. Weight in Grams: 1314. Theory and Practice. Series: The Morgan Kaufmann Series in Artificial Intelligence. 635 pages, Illustrations. Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students. Cateogry: (U) Tertiary Education (US: College). BIC Classification: UYQ. Dimension: 194 x 245 x 43. Weight: 1290.
- Publisher
- Morgan Kaufmann
- Number of pages
- 635
- Format
- Hardback
- Publication date
- 2004
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781558608566
- ISBN
- 9781558608566
Hardback
Condition: New
€ 84.37
€ 84.37
Paperback. Editor(s): Olivetti, Nicola; Tiwari, Ashish. Series: Lecture Notes in Computer Science. Num Pages: 600 pages, 101 black & white illustrations, biography. BIC Classification: UM; UYA; UYF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 31. Weight in Grams: 908.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 600
- Condition
- New
- SKU
- V9783319402284
- ISBN
- 9783319402284
Paperback
Condition: New
€ 103.80
€ 103.80
Paperback. Editor(s): Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 556 pages, 101 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 556
- Condition
- New
- SKU
- V9783319085869
- ISBN
- 9783319085869
Paperback
Condition: New
€ 66.33
€ 66.33
Paperback. Editor(s): Basin, David; Rusinowith, Michael. Series: Lecture Notes in Computer Science. Num Pages: 503 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 503
- Condition
- New
- SKU
- V9783540223450
- ISBN
- 9783540223450
Paperback
Condition: New
€ 129.51
€ 129.51
Paperback. Includes the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, that was held in Seattle, Washington, USA, August 2006. This book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. Series: Lecture Notes in Computer Science. Num Pages: 704 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 35. Weight in Grams: 971.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783540371878
- ISBN
- 9783540371878
Paperback
Condition: New
€ 133.62
€ 133.62
Paperback. Editor(s): Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias. Series: Lecture Notes in Computer Science. Num Pages: 725 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 725
- Condition
- New
- SKU
- V9783540422549
- ISBN
- 9783540422549
Paperback
Condition: New
€ 133.50
€ 133.50