Computer programming / software development
Results 3261 - 3280 of 7255
Computer programming / software development
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. 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. 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
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
€ 66.82
€ 66.82
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): 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
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
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
€ 126.34
€ 126.34
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
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
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
€ 70.30
€ 70.30
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007. This book presents 36 revised full papers together with 15 short papers and 3 invited talks that were reviewed and selected from 78 submissions. Series: Lecture Notes in Computer Science. Num Pages: 577 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 577
- Condition
- New
- SKU
- V9783540755586
- ISBN
- 9783540755586
Paperback
Condition: New
€ 66.58
€ 66.58
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
Paperback. These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis. Editor(s): Pettorossi, Alberto. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540439158
- ISBN
- 9783540439158
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation. Editor(s): Lau, Kung-Kiu. Series: Lecture Notes in Computer Science. Num Pages: 196 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540421276
- ISBN
- 9783540421276
Paperback
Condition: New
€ 63.23
€ 63.23
Paperback. Constitutes the refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, that was held in September 2005. This book presents 10 papers together with one invited talk that are organized in topical sections on tools for program development, program transformations, and more. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540326540
- ISBN
- 9783540326540
Paperback
Condition: New
€ 65.02
€ 65.02