.png){kind=logo}
Computing
Results 13753 - 13776 of 30851
Computing
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Albert, Elvira. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 245 pages, 36 black & white illustrations, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642381966
- ISBN
- 9783642381966
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Editor(s): Vidal, German. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 264 pages, 61 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642322105
- ISBN
- 9783642322105
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Constitutes the refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. This book covers such topics as: specification, synthesis, verification, analysis, optimization, specialization, security, and certification. Editor(s): Alpuente, Maria. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 259 pages, biography. BIC Classification: PBKS; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642205507
- ISBN
- 9783642205507
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. Editor(s): Schreye, Danny De. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 215 pages, 29 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642125911
- ISBN
- 9783642125911
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 194 pages, biography. BIC Classification: PBKS; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783642005145
- ISBN
- 9783642005145
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 232 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540787686
- ISBN
- 9783540787686
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Contains sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540714095
- ISBN
- 9783540714095
Paperback
Condition: New
€ 69.18
€ 69.18
Paperback. Editor(s): Falaschi, Moreno. Series: Lecture Notes in Computer Science. Num Pages: 402 pages, 88 colour illustrations, biography. BIC Classification: UMA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 402
- Condition
- New
- SKU
- V9783319274355
- ISBN
- 9783319274355
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. Editor(s): Proietti, Maurizio; Seki, Hirohisa. Series: Lecture Notes in Computer Science. Num Pages: 345 pages, 61 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 345
- Condition
- New
- SKU
- V9783319178219
- ISBN
- 9783319178219
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. Editor(s): Gupta, Gopal; Pena, Ricardo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 249 pages, 51 black & white illustrations, biography. BIC Classification: PBD; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 249
- Condition
- New
- SKU
- V9783319141244
- ISBN
- 9783319141244
Paperback
Condition: New
€ 66.30
€ 66.30
Hardback. Presents a logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1240.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9780792396635
- ISBN
- 9780792396635
Hardback
Condition: New
€ 132.98
€ 132.98
Paperback. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; PBU; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 254
- Condition
- New
- SKU
- V9781461285649
- ISBN
- 9781461285649
Paperback
Condition: New
€ 127.54
€ 127.54
Paperback. Editor(s): Vanderveken, Daniel. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 562 pages, biography. BIC Classification: CF; HPL; J; PB; UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 29. Weight in Grams: 1462.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 562
- Condition
- New
- SKU
- V9789048166886
- ISBN
- 9789048166886
Paperback
Condition: New
€ 465.10
€ 465.10
Paperback. Brings a pragmatic perspective to the discussion of the unity of science. This book contributes to our understanding of the dynamic process by presenting and discussing the important hypotheses, issues and theories in philosophical and logical study of language, thought and action. It is aimed at graduate students and researchers. Editor(s): Vanderveken, Daniel. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 562 pages, biography. BIC Classification: CF; HPL; J; PB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 962.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 562
- Condition
- New
- SKU
- V9781402026164
- ISBN
- 9781402026164
Paperback
Condition: New
€ 260.33
€ 260.33
Paperback. Editor(s): Marti-Oliet, Narciso; Olveczky, Peter Csaba; Talcott, Carolyn L. Series: Lecture Notes in Computer Science. Num Pages: 634 pages, 103 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 634
- Condition
- New
- SKU
- V9783319231648
- ISBN
- 9783319231648
Paperback
Condition: New
€ 70.42
€ 70.42
Paperback. Editor(s): Hoek, Wiebe van der; Holliday, Wesley; Wang, Wen-Fang. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 31 colour illustrations, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783662485606
- ISBN
- 9783662485606
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. Editor(s): Grossi, Davide; Roy, Olivier; Huang, Huaxin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, 41 black & white illustrations, biography. BIC Classification: PBC; PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642409479
- ISBN
- 9783642409479
Paperback
Condition: New
€ 67.75
€ 67.75
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. This title covers such topics as: semantic models for knowledge, for belief, and for uncertainty; logical analysis of the structure of games; and, belief revision, belief merging. Editor(s): Ditmarsch, Hans van; Lang, Jerome; Ju, Shier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 414 pages, biography. BIC Classification: HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642241291
- ISBN
- 9783642241291
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642048920
- ISBN
- 9783642048920
Paperback
Condition: New
€ 67.45
€ 67.45
Paperback. Editor(s): Vaananen, Jouko; Hirvonen, Asa; Queiroz, Ruy de. Series: Lecture Notes in Computer Science. Num Pages: 469 pages, 32 black & white illustrations, biography. BIC Classification: PBCD; UMB; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 469
- Condition
- New
- SKU
- V9783662529201
- ISBN
- 9783662529201
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Editor(s): De Paiva, Valeria; Queiroz, Ruy de; Moss, Lawrence S.; Leivant, Daniel; Oliveira, Anjolina G. de. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 14 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783662477083
- ISBN
- 9783662477083
Paperback
Condition: New
€ 55.88
€ 55.88
Paperback. Editor(s): Kohlenbach, Ulrich; Barcelo, Pablo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 17 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783662441442
- ISBN
- 9783662441442
Paperback
Condition: New
€ 66.37
€ 66.37
Paperback. Editor(s): Libkin, Leonid; Kohlenbach, Ulrich; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 15 black & white illustrations, biography. BIC Classification: UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642399916
- ISBN
- 9783642399916
Paperback
Condition: New
€ 61.44
€ 61.44