Computer programming / software development
Results 3241 - 3260 of 7271
Computer programming / software development
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
€ 65.62
€ 65.62
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
€ 53.43
€ 53.43
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
€ 63.23
€ 63.23
Paperback. Constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. This title covers topics such as: various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, and partial order. Editor(s): Beklemishev, Lev D.; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 321 pages, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783642209192
- ISBN
- 9783642209192
Paperback
Condition: New
€ 64.13
€ 64.13
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 112.88
€ 112.88
Paperback. Editor(s): Queiroz, Ruy de; Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2012
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642326202
- ISBN
- 9783642326202
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. Editor(s): Dawar, Anuj; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 269 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642138232
- ISBN
- 9783642138232
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25 - August 6, 1989. Editor(s): Bauer, Friedrich L. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 485 pages, biography. BIC Classification: UMZ; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 26. Weight in Grams: 853.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 485
- Condition
- New
- SKU
- V9783642768019
- ISBN
- 9783642768019
Paperback
Condition: New
€ 124.44
€ 124.44
Paperback. Num Pages: 596 pages, biography. BIC Classification: PBD; THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 254 x 178 x 31. Weight in Grams: 1126.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 596
- Condition
- New
- SKU
- V9781475770360
- ISBN
- 9781475770360
Paperback
Condition: New
€ 115.27
€ 115.27
Paperback. This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies. Editor(s): Artikis, Alexander; Craven, Robert; Kesim Cicekli, Nihan; Sadighi, Babak; Stathis, Kostas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 445 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783642294136
- ISBN
- 9783642294136
Paperback
Condition: New
€ 65.19
€ 65.19
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
€ 66.65
€ 66.65
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
€ 65.10
€ 65.10
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
€ 126.13
€ 126.13
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
€ 69.56
€ 69.56
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
€ 70.24
€ 70.24
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
€ 66.05
€ 66.05
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
€ 67.89
€ 67.89
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
€ 95.73
€ 95.73
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
€ 66.61
€ 66.61
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