.png){kind=logo}
Computing
Results 13801 - 13824 of 30848
Computing
Logic Programming and Nonmonotonic Reasoning: 12th International Confe...
. Ed(S): Cabalar, Pedro; Son, Tran Cao
paperback. Editor(s): Cabalar, Pedro; Son, Tran Cao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 588 pages, 70 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642405631
- ISBN
- 9783642405631
Paperback
Condition: New
€ 69.86
€ 69.86
Paperback. Contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. This title features 16 revised full papers, 26 short papers and 3 invited talks. Editor(s): Delgrande, James; Faber, Wolfgang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 419 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783642208942
- ISBN
- 9783642208942
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 671 pages, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 1021.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 671
- Condition
- New
- SKU
- V9783642042379
- ISBN
- 9783642042379
Paperback
Condition: New
€ 131.51
€ 131.51
Paperback. This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research. Editor(s): Nerode, Anil; Truszczynski, Mirek. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 279 x 216 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540594871
- ISBN
- 9783540594871
Paperback
Condition: New
€ 72.92
€ 72.92
Paperback. Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships between formalisms; complexity and expressive power; software engineering, decision making, and other domains; and more. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540285380
- ISBN
- 9783540285380
Paperback
Condition: New
€ 73.60
€ 73.60
Paperback. Editor(s): Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw. Series: Lecture Notes in Computer Science. Num Pages: 588 pages, 76 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 588
- Condition
- New
- SKU
- V9783319232638
- ISBN
- 9783319232638
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007. This book includes the 18 revised full papers, 5 revised poster papers, and 7 system descriptions together with 2 invited papers that are reviewed and selected for presentation. Series: Lecture Notes in Computer Science. Num Pages: 327 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 344
- Condition
- New
- SKU
- V9783540721994
- ISBN
- 9783540721994
Paperback
Condition: New
€ 71.02
€ 71.02
Paperback. Series: Surveys in Computer Science. Num Pages: 284 pages, biography. BIC Classification: UMX; UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 17. Weight in Grams: 523.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642839542
- ISBN
- 9783642839542
Paperback
Condition: New
€ 100.57
€ 100.57
Logic Programming and Automated Reasoning: 6th International Conferenc...
. Ed(S): Ganzinger, Harald; Voronkov, Andrei;...
paperback. Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. Editor(s): Ganzinger, Harald; Voronkov, Andrei; McAllester, David P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 416 pages, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540664925
- ISBN
- 9783540664925
Paperback
Condition: New
€ 72.42
€ 72.42
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
€ 69.80
€ 69.80
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
€ 133.18
€ 133.18
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
€ 68.83
€ 68.83
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
€ 74.80
€ 74.80
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
€ 71.81
€ 71.81
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
€ 68.92
€ 68.92
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
€ 73.64
€ 73.64
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
€ 132.93
€ 132.93
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
€ 67.52
€ 67.52
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
€ 66.90
€ 66.90
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
€ 66.90
€ 66.90
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
€ 67.89
€ 67.89
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
€ 30.91
€ 30.91
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.62
€ 57.62
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
€ 69.22
€ 69.22