Computer science
Results 9841 - 9864 of 16992
Computer science
Paperback. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics. Editor(s): Eijck, J.Van. Series: Lecture Notes in Computer Science. Num Pages: 580 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540536864
- ISBN
- 9783540536864
Paperback
Condition: New
€ 130.15
€ 130.15
Paperback. The proceedings of an international workshop which discusses such topics as automated theorem proving, the logical foundations of logic programming, systems of nonmonotonic reasoning, temporal and epistemic logics, belief revision and modal logics for representing graph information. Editor(s): Pearce, David; Wagner, G. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540558873
- ISBN
- 9783540558873
Paperback
Condition: New
€ 69.60
€ 69.60
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 608 pages, 70 black & white illustrations, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 608
- Condition
- New
- SKU
- V9783319487571
- ISBN
- 9783319487571
Paperback
Condition: New
€ 66.64
€ 66.64
Paperback. Editor(s): Ferme, Eduardo; Leite, Joao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 720 pages, 88 black & white illustrations, biography. BIC Classification: UM; UN; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1086.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 720
- Condition
- New
- SKU
- V9783319115573
- ISBN
- 9783319115573
Paperback
Condition: New
€ 67.17
€ 67.17
Paperback. This volume constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held in September 1994. The work has been divided into sections on non monotonic reasoning, automated reasoning, logic programming, knowledge representation and belief revision. Editor(s): MacNish, Craig; Pearce, David; Pereira, L.M. Series: Lecture Notes in Computer Science. Num Pages: 425 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1330.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783540583325
- ISBN
- 9783540583325
Paperback
Condition: New
€ 69.42
€ 69.42
Paperback. Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 440 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540878025
- ISBN
- 9783540878025
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. Editor(s): Cerro, Luis Farinas del; Herzig, Andreas; Mengin, Jerome. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 512 pages, 49 black & white illustrations, biography. BIC Classification: UM; UNH; UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783642333521
- ISBN
- 9783642333521
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. This book includes 3 invited talks, 26 regular papers, and 5 system descriptions. Editor(s): Janhunen, Tomi; Niemela, Ilkka. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 374 pages, 48 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 18. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783642156748
- ISBN
- 9783642156748
Paperback
Condition: New
€ 66.08
€ 66.08
Hardcover. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9789491216947
- ISBN
- 9789491216947
Hardback
Condition: New
€ 64.01
€ 64.01
Paperback. Editor(s): Rohit, Parikh. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: GBC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1340.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540156482
- ISBN
- 9783540156482
Paperback
Condition: New
€ 69.47
€ 69.47
Paperback. Num Pages: 512 pages, black & white illustrations. BIC Classification: THR; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 711.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4., bearb. u. erweiterte Aufl.
- Number of pages
- 512
- Condition
- New
- SKU
- V9783540260264
- ISBN
- 9783540260264
Paperback
Condition: New
€ 102.78
€ 102.78
paperback. This book shows how SAP's business suite supports logistic end-to-end processes, exploring relevant functionality, system and application integration to outline closed-loop supply chain processes in procurement, production, distribution logistics and compliance. Num Pages: 272 pages, 30 black & white tables, biography. BIC Classification: KJMV5; TBC; UB; UNH; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9783642446580
- ISBN
- 9783642446580
Paperback
Condition: New
€ 111.27
€ 111.27
Paperback. This book shows how SAP's business suite supports logistic end-to-end processes, exploring relevant functionality, system and application integration to outline closed-loop supply chain processes in Inventory Management, Warehousing, Transportation. Num Pages: 296 pages, 30 black & white tables, biography. BIC Classification: KJMV5; TBC; UB; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 20. Weight in Grams: 460.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783642435935
- ISBN
- 9783642435935
Paperback
Condition: New
€ 111.54
€ 111.54
hardcover. Editor(s): Zijm, Henk; Klumpp, Matthias; Clausen, Uwe; Hompel, Michael ten. Series: Lecture Notes in Logistics. Num Pages: 453 pages, 38 black & white illustrations, 64 colour illustrations, biography. BIC Classification: KJMV5; KJMV8; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 842.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 453
- Condition
- New
- SKU
- V9783319222875
- ISBN
- 9783319222875
Hardback
Condition: New
€ 124.26
€ 124.26
Logistik und CIM: Die effiziente Material- und Informationsflußgestal...
Becker, Jorg; Rosemann, Michael
paperback. Series: Springer-Lehrbuch. Num Pages: 364 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 511.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 364
- Condition
- New
- SKU
- V9783540571469
- ISBN
- 9783540571469
Paperback
Condition: New
€ 52.37
€ 52.37
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 17. Weight in Grams: 513.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Verlag GmbH Austria
- Condition
- New
- SKU
- V9783211820179
- ISBN
- 9783211820179
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. Series: Programmieren von Mikrocomputern. Num Pages: 219 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783528044855
- ISBN
- 9783528044855
Paperback
Condition: New
€ 79.88
€ 79.88
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: 258 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; TJK; UF; UKN; UTX; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 431.
- Format
- Paperback
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 258
- Condition
- New
- SKU
- V9783211819647
- ISBN
- 9783211819647
Paperback
Condition: New
€ 69.31
€ 69.31
paperback. Based on a seven-year study, this work argues that the process of change in long term HCI appears to be constrained by three pillars: an essentially static measure of vocabulary use; continuous growth through exploration; and specialization between methods via crossovers. Num Pages: 187 pages, 6 black & white illustrations, biography. BIC Classification: UL; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 305.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 187
- Condition
- New
- SKU
- V9783540762096
- ISBN
- 9783540762096
Paperback
Condition: New
€ 121.08
€ 121.08
hardcover. Providing a theory of loop transformations, this book discusses the general mathematical background needed for loop transformations, discusses data dependence, and introduces the major transformations. The algorithms that implement the transformations can then be precisely described in terms of certain abstract mathematical algorithms. Num Pages: 325 pages, biography. BIC Classification: UL; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1993rd Edition
- Number of pages
- 325
- Condition
- New
- SKU
- V9780792393184
- ISBN
- 9780792393184
Hardback
Condition: New
€ 192.16
€ 192.16
Paperback. Num Pages: 325 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 18. Weight in Grams: 481.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 325
- Condition
- New
- SKU
- V9781475783506
- ISBN
- 9781475783506
Paperback
Condition: New
€ 186.26
€ 186.26
Paperback. Image compression is concerned with minimization of the number of information carrying units used to represent an image. Lossy compression techniques incur some loss of information which is usually imperceptible. This book presents image compression algorithms and implementation of these algorithms. Series: SpringerBriefs in Computer Science. Num Pages: 101 pages, 50 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 170.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011
- Number of pages
- 101
- Condition
- New
- SKU
- V9781447122173
- ISBN
- 9781447122173
Paperback
Condition: New
€ 62.39
€ 62.39
Paperback. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: THR; UMA; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 26. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 488
- Condition
- New
- SKU
- V9781461359241
- ISBN
- 9781461359241
Paperback
Condition: New
€ 187.23
€ 187.23
Paperback. Num Pages: 344 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 19. Weight in Grams: 572.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2. Aufl. 1989
- Number of pages
- 344
- Condition
- New
- SKU
- V9783528145316
- ISBN
- 9783528145316
Paperback
Condition: New
€ 81.24
€ 81.24