Computer science
Results 9745 - 9768 of 16992
Computer science
Paperback. This title is organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming. Editor(s): Parigot, Michel; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 504 pages, biography. BIC Classification: PBCD; UMX; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540412854
- ISBN
- 9783540412854
Paperback
Condition: New
€ 70.87
€ 70.87
Logic for Programming, Artificial Intelligence and Reasoning
. Ed(S): Baaz, Matthias; Andrei, Voronkov
Paperback. Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning. Editor(s): Baaz, Matthias; Andrei, Voronkov. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 484 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540000105
- ISBN
- 9783540000105
Paperback
Condition: New
€ 70.28
€ 70.28
Logic for Programming, Artificial Intelligence and Reasoning
. Ed(S): Nieuwenhuis, Robert; Voronkov, Andre...
Paperback. Compiled from the proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in December 2001, this volume contains 40 revised full papers presented together with an invited paper, on a variety of topics. Editor(s): Nieuwenhuis, Robert; Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 741 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 38. Weight in Grams: 1046.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 741
- Condition
- New
- SKU
- V9783540429579
- ISBN
- 9783540429579
Paperback
Condition: New
€ 129.83
€ 129.83
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. This title presents 38 revised full papers together with one invited talk. Series: Lecture Notes in Computer Science. Num Pages: 606 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 846.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 606
- Condition
- New
- SKU
- V9783540482819
- ISBN
- 9783540482819
Paperback
Condition: New
€ 130.86
€ 130.86
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 728 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1098.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 728
- Condition
- New
- SKU
- V9783540894384
- ISBN
- 9783540894384
Paperback
Condition: New
€ 125.86
€ 125.86
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Bjorner, Nikolaj; Voronkov, Andrei
paperback. Constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. Editor(s): Bjorner, Nikolaj; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 647.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642287169
- ISBN
- 9783642287169
Paperback
Condition: New
€ 65.78
€ 65.78
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): McMillan, Ken; Middeldorp, Aart; Vor...
Paperback. Editor(s): McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 808 pages, 178 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1217.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 808
- Condition
- New
- SKU
- V9783642452208
- ISBN
- 9783642452208
Paperback
Condition: New
€ 68.12
€ 68.12
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Fermuller, Christian G.; Voronkov, A...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia. Editor(s): Fermuller, Christian G.; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 656 pages, 83 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 939.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 656
- Condition
- New
- SKU
- V9783642162411
- ISBN
- 9783642162411
Paperback
Condition: New
€ 127.65
€ 127.65
Paperback. Editor(s): Moschovakis, Yiannis N. Series: Mathematical Sciences Research Institute Publications. Num Pages: 608 pages, biography. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 608
- Condition
- New
- SKU
- V9781461276852
- ISBN
- 9781461276852
Paperback
Condition: New
€ 125.34
€ 125.34
Hardback. With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics. Num Pages: 254 pages, biography. BIC Classification: PBD; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 241 x 159 x 19. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9781402095948
- ISBN
- 9781402095948
Hardback
Condition: New
€ 126.17
€ 126.17
Paperback. With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics. Num Pages: 254 pages, biography. BIC Classification: TJFC; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 254
- Condition
- New
- SKU
- V9789048181650
- ISBN
- 9789048181650
Paperback
Condition: New
€ 121.80
€ 121.80
Paperback. Series: Symbolic computation/Artificial Intelligence. Num Pages: 234 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 234
- Condition
- New
- SKU
- V9781461281887
- ISBN
- 9781461281887
Paperback
Condition: New
€ 63.77
€ 63.77
Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768.
- Publisher
- Cambridge University Press
- Number of pages
- 440
- Format
- Paperback
- Publication date
- 2004
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521543101
- ISBN
- 9780521543101
Paperback
Condition: New
€ 72.68
€ 72.68
Logic Minimization Algorithms for V.L.S.I. Synthesis
Brayton, Robert K.; Sangiovanni-Vincentelli, ...
Hardback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 194 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 1984
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 194
- Condition
- New
- SKU
- V9780898381641
- ISBN
- 9780898381641
Hardback
Condition: New
€ 221.64
€ 221.64
Hardcover. Num Pages: 228 pages, illus. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 260 x 183 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9781616684815
- ISBN
- 9781616684815
Hardback
Condition: New
€ 126.81€ 87.79
€ 126.81
€ 87.79
Paperback. Editor(s): Engeler, E. Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1981
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540111603
- ISBN
- 9783540111603
Paperback
Condition: New
€ 66.08
€ 66.08
Paperback. Num Pages: 192 pages. BIC Classification: HPJ; UY. Category: (U) Tertiary Education (US: College). Dimension: 234 x 156. .
- Publisher
- Bloomsbury Publishing PLC
- Format
- Paperback
- Publication date
- 2017
- Edition
- Reprint
- Condition
- New
- SKU
- V9781350027473
- ISBN
- 9781350027473
Paperback
Condition: New
€ 57.02
€ 57.02
Paperback. Presents the proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation held at Manchester University. It covers both theoretical and practical aspects, including the use of mode input-output in program transformation and program development in modular Prolog. Editor(s): Clement, T.P.; Lau, Kung-Kiu. Series: Workshops in Computing. Num Pages: 337 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138 x 18. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 337
- Condition
- New
- SKU
- V9783540197423
- ISBN
- 9783540197423
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas. Editor(s): Deville, Yves. Series: Workshops in Computing. Num Pages: 245 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 245
- Condition
- New
- SKU
- V9783540198642
- ISBN
- 9783540198642
Paperback
Condition: New
€ 63.74
€ 63.74
Paperback. This text constitutes the proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation held in 1997. The 15 papers presented address such topics as program synthesis, program transformation, program analysis, tabling, metaprogramming and inductive logic programming. Editor(s): Fuchs, N. E. Series: Lecture Notes in Computer Science. Num Pages: 353 pages, 9 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783540650744
- ISBN
- 9783540650744
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. Editor(s): Balbin, I.; Lecot, K. Num Pages: 360 pages, biography. BIC Classification: UYQ; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 21. Weight in Grams: 1230.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Kluwer Academic Publishers Group Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 360
- Condition
- New
- SKU
- V9780908069156
- ISBN
- 9780908069156
Paperback
Condition: New
€ 127.46
€ 127.46
Paperback. These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001. All current aspects of logic programming and computational logics are addressed. Editor(s): Codognet, Philippe. Series: Lecture Notes in Computer Science. Num Pages: 379 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 17
- Number of pages
- 379
- Condition
- New
- SKU
- V9783540429357
- ISBN
- 9783540429357
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Editor(s): Voronkov, Andrei. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 532 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540554608
- ISBN
- 9783540554608
Paperback
Condition: New
€ 71.39
€ 71.39
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 580 pages, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642028458
- ISBN
- 9783642028458
Paperback
Condition: New
€ 66.61
€ 66.61