.png){kind=logo}
Computer programming / software development
Results 4561 - 4584 of 8407
Computer programming / software development
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 447 pages, biography. BIC Classification: UM. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 447
- Condition
- New
- SKU
- V9783540201014
- ISBN
- 9783540201014
Paperback
Condition: New
€ 73.25
€ 73.25
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
€ 73.79
€ 73.79
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
€ 136.16
€ 136.16
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. Series: Lecture Notes in Computer Science. Num Pages: 758 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1052.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783540305538
- ISBN
- 9783540305538
Paperback
Condition: New
€ 131.69
€ 131.69
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
€ 132.05
€ 132.05
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
€ 68.49
€ 68.49
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
€ 71.33
€ 71.33
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Davis, Martin; Fehnker, Ansgar; McIv...
Paperback. Editor(s): Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 655 pages, 142 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 655
- Condition
- New
- SKU
- V9783662488980
- ISBN
- 9783662488980
Paperback
Condition: New
€ 69.94
€ 69.94
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
€ 127.78
€ 127.78
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
€ 66.54
€ 66.54
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
€ 127.22€ 88.36
€ 127.22
€ 88.36
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.57€ 77.22
€ 110.57
€ 77.22
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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