Computing
Results 13993 - 14016 of 31278
Computing
Paperback. Constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The papers cover various issues of research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 844 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1276.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 844
- Condition
- New
- SKU
- V9783540899815
- ISBN
- 9783540899815
Paperback
Condition: New
€ 126.97
€ 126.97
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 8-13, 2007. This book presents 22 revised full papers together with 2 invited talks as well as 15 poster presentations and the abstracts of 5 doctoral consortium articles. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 736.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540746089
- ISBN
- 9783540746089
Paperback
Condition: New
€ 65.68
€ 65.68
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. 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. Constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This title covers various issues of research in logic programming. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 488 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 22
- Number of pages
- 488
- Condition
- New
- SKU
- V9783540366355
- ISBN
- 9783540366355
Paperback
Condition: New
€ 66.18
€ 66.18
Paperback. Constitutes the proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Spain, in October 2005. These papers cover various issues of research in logic programming, and focus on novel applications of logic programming. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 458 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 659.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 21
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540292081
- ISBN
- 9783540292081
Paperback
Condition: New
€ 70.24
€ 70.24
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. 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. 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. Sponsored by the Association for Logic Programming and ALPUK Editor(s): Lau, Kung-Kiu; Clement, T.P. Series: Workshops in Computing. Num Pages: 273 pages, 2 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- First Edition
- Number of pages
- 273
- Condition
- New
- SKU
- V9783540198062
- ISBN
- 9783540198062
Paperback
Condition: New
€ 63.85
€ 63.85
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. Series: Quick Pro Guides. Num Pages: 200 pages, Illustrations. BIC Classification: AVX; UGM. Category: (G) General (US: Trade). Dimension: 278 x 217 x 12. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Hal Leonard Corporation United States
- Edition
- Pap/Dvdr
- Number of pages
- 200
- Condition
- New
- SKU
- V9781458414205
- ISBN
- 9781458414205
Paperback
Condition: New
€ 29.31
€ 29.31
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. 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: 228 pages, illustrations. BIC Classification: UM. Category: (G) General (US: Trade). Dimension: 178 x 254 x 15. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9781621007548
- ISBN
- 9781621007548
Paperback
Condition: New
€ 110.22€ 76.40
€ 110.22
€ 76.40
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. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 194 pages, biography. BIC Classification: PBKS; THR; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 194
- Condition
- New
- SKU
- V9781461297840
- ISBN
- 9781461297840
Paperback
Condition: New
€ 216.69
€ 216.69
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
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
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. 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
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. 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
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