Computer science
Results 15001 - 15024 of 16979
Computer science
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.01
€ 66.01
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.45
€ 64.45
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
€ 66.74
€ 66.74
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.68
€ 65.68
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. 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.14
€ 71.14
Paperback. Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more. Editor(s): Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540439318
- ISBN
- 9783540439318
Paperback
Condition: New
€ 71.70
€ 71.70
Paperback. The refereed proceedings of the 17th International Conference on Automated Deduction. The research papers and system descriptions presented cover a variety of topics related to theorem proving and its applications. Also included are contributions corresponding to invited talks and tutorials. Editor(s): McAllester, David. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 540 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783540676645
- ISBN
- 9783540676645
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. A collection of papers addressing issues in automated deduction and theorem-proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics. Applications are also discussed. Editor(s): Kirchner, Helene; Kirchner, Claude. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 450 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783540646754
- ISBN
- 9783540646754
Paperback
Condition: New
€ 70.47
€ 70.47
Paperback. Constitutes the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. This book discusses various aspects of automated deduction, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540735946
- ISBN
- 9783540735946
Paperback
Condition: New
€ 66.16
€ 66.16
Hardcover. Presents 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. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 160 x 29. Weight in Grams: 786. A Basis for Applications. Systems and Implementation Techiques. Series: Applied Logic Series. 448 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Presents 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: PBCD; UYA; UYQ. Dimension: 241 x 160 x 29. Weight: 786.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9780792351306
- ISBN
- 9780792351306
Hardback
Condition: New
€ 246.34
€ 246.34
Hardcover. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It 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. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Series: Applied Logic Series. Num Pages: 501 pages, 1, black & white illustrations. BIC Classification: PBCD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 33. Weight in Grams: 874. A Basis for Applications. Foundations - Calculi and Methods. Series: Applied Logic Series. 500 pages, 1, black & white illustrations. Editor(s): Bibel, Wolfgang; Schmitt, Peter H. Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It 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. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA; UYQ. Dimension: 242 x 160 x 33. Weight: 874.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9780792351290
- ISBN
- 9780792351290
Hardback
Condition: New
€ 247.42
€ 247.42
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 434
- Condition
- New
- SKU
- V9789048150519
- ISBN
- 9789048150519
Paperback
Condition: New
€ 239.07
€ 239.07
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 501
- Condition
- New
- SKU
- V9789048150502
- ISBN
- 9789048150502
Paperback
Condition: New
€ 239.55
€ 239.55
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 518 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 518
- Condition
- New
- SKU
- V9783642029585
- ISBN
- 9783642029585
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 1142 pages, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1689.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1142
- Condition
- New
- SKU
- V9783662476710
- ISBN
- 9783662476710
Paperback
Condition: New
€ 128.93
€ 128.93
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 65 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1145.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783662476659
- ISBN
- 9783662476659
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 654 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 654
- Condition
- New
- SKU
- V9783662439500
- ISBN
- 9783662439500
Paperback
Condition: New
€ 66.80
€ 66.80
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1124 pages, 74 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1660.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1124
- Condition
- New
- SKU
- V9783662439470
- ISBN
- 9783662439470
Paperback
Condition: New
€ 70.83
€ 70.83
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 724 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1001.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783642392115
- ISBN
- 9783642392115
Paperback
Condition: New
€ 68.00
€ 68.00
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta Zofia; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 880 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1212.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 880
- Condition
- New
- SKU
- V9783642392054
- ISBN
- 9783642392054
Paperback
Condition: New
€ 69.46
€ 69.46
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 225.68
€ 225.68
Paperback. A two-volume set that constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011. Editor(s): Aceto, Luca; Henzinger, Monika; Sgall, Jiri. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 692 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 692
- Condition
- New
- SKU
- V9783642220111
- ISBN
- 9783642220111
Paperback
Condition: New
€ 126.25
€ 126.25
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 1145.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783540705826
- ISBN
- 9783540705826
Paperback
Condition: New
€ 126.92
€ 126.92