Computer science
Results 13417 - 13440 of 16990
Computer science
Hardcover. Editor(s): Bauer, Janice P. Num Pages: 199 pages, tables, graphs, diagrams. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 257 x 182 x 18. Weight in Grams: 546.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 199
- Condition
- New
- SKU
- V9781611220735
- ISBN
- 9781611220735
Hardback
Condition: New
€ 137.82€ 93.34
€ 137.82
€ 93.34
Hardcover. The Invocation Model of Process Expression argues that mathematics does not provide the most appropriate conceptual foundations for computer science, but, rather, that these foundations are a primary source of unnecessary complexity and confusion. Num Pages: 270 pages, Illustrations. BIC Classification: TJ; UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 161 x 20. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 270
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471798149
- ISBN
- 9780471798149
Hardback
Condition: New
€ 142.99
€ 142.99
Paperback. Editor(s): Weiss, Eric A. Num Pages: 448 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 448
- Condition
- New
- SKU
- V9781461264583
- ISBN
- 9781461264583
Paperback
Condition: New
€ 123.96
€ 123.96
paperback. Constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. This volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, finite models, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 578 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 578
- Condition
- New
- SKU
- V9783540282310
- ISBN
- 9783540282310
Paperback
Condition: New
€ 72.68
€ 72.68
Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642152047
- ISBN
- 9783642152047
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance. Series: Lecture Notes in Computer Science. Num Pages: 524 pages, biography. BIC Classification: PBC; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540875307
- ISBN
- 9783540875307
Paperback
Condition: New
€ 157.86
€ 157.86
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 578 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 578
- Condition
- New
- SKU
- V9783642040269
- ISBN
- 9783642040269
Paperback
Condition: New
€ 124.48
€ 124.48
Paperback. Constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland, in September 2007. This book contains sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, and finite model theory. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 614 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 932.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4
- Number of pages
- 614
- Condition
- New
- SKU
- V9783540749141
- ISBN
- 9783540749141
Paperback
Condition: New
€ 124.79
€ 124.79
Paperback. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic. Editor(s): Borger, Egon; Buning, Hans Kleine; Richter, Michael M.; Schonfeld, Wolfgang. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, biography. BIC Classification: PBCD; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540544876
- ISBN
- 9783540544876
Paperback
Condition: New
€ 69.11
€ 69.11
Paperback. Constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. This book presents 37 revised full papers together with 4 invited contributions, addressing various aspects of logic in computer science. Editor(s): Esik, Zoltan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 639 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 892.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 639
- Condition
- New
- SKU
- V9783540454588
- ISBN
- 9783540454588
Paperback
Condition: New
€ 125.85
€ 125.85
Paperback. 22-25, 2002, Proceedings Editor(s): Bradfield, Julian. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 32. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540442400
- ISBN
- 9783540442400
Paperback
Condition: New
€ 131.23
€ 131.23
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 533 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 533
- Condition
- New
- SKU
- V9783540230243
- ISBN
- 9783540230243
Paperback
Condition: New
€ 71.87
€ 71.87
Computer Science for Environmental Engineering and EcoInformatics
. Ed(S): Yu, Yuanxu; Yu, Zhengtao; Zhao, Jing...
Paperback. Constitutes the refereed proceedings of the International Workshop on Computer Science for Environmental Engineering and EcoInformatics, CSEEE 2011, that was held in Kunming, China, in July 2011. Editor(s): Yu, Yuanxu; Yu, Zhengtao; Zhao, Jingying. Series: Communications in Computer and Information Science. Num Pages: 496 pages, biography. BIC Classification: TQ; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783642226939
- ISBN
- 9783642226939
Paperback
Condition: New
€ 66.16
€ 66.16
Computer Science for Environmental Engineering and EcoInformatics
. Ed(S): Yu, Yuanxu; Yu, Zhengtao; Zhao, Jing...
Paperback. Constitutes the refereed proceedings of the International Workshop on Computer Science for Environmental Engineering and EcoInformatics, CSEEE 2011, held in Kunming, China, that was in July 2011. Editor(s): Yu, Yuanxu; Yu, Zhengtao; Zhao, Jingying. Series: Communications in Computer and Information Science. Num Pages: 511 pages, biography. BIC Classification: UKN; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 511
- Condition
- New
- SKU
- V9783642226908
- ISBN
- 9783642226908
Paperback
Condition: New
€ 123.83
€ 123.83
Paperback. Editor(s): Greening, Tony. Num Pages: 266 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 266
- Condition
- New
- SKU
- V9781461270843
- ISBN
- 9781461270843
Paperback
Condition: New
€ 50.70€ 45.16
€ 50.70
€ 45.16
Paperback. Rather than offer a general methodology, this book proposes a framework and means for actively taking into account the relationships between pedagogical settings and software, and for working together in a multidisciplinary way to develop educational software. Num Pages: 180 pages, biography. BIC Classification: JNKD; JNV; UNH; UYZG; YQT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783642443121
- ISBN
- 9783642443121
Paperback
Condition: New
€ 63.90
€ 63.90
Hardback. Rather than offer a general methodology, this book proposes a framework and means for actively taking into account the relationships between pedagogical settings and software, and for working together in a multidisciplinary way to develop educational software. Num Pages: 180 pages, biography. BIC Classification: JNKD; JNV; UNH; UYZG; YQT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 454.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783642200021
- ISBN
- 9783642200021
Hardback
Condition: New
€ 63.99
€ 63.99
Hardback. Editor(s): Park, Jong Hyuk; Chao, Han-Chieh; Obaidat, Mohammad S.; Kim, Jongsung. Series: Lecture Notes in Electrical Engineering. Num Pages: 898 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 47. Weight in Grams: 1508.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2012
- Number of pages
- 898
- Condition
- New
- SKU
- V9789400727915
- ISBN
- 9789400727915
Hardback
Condition: New
€ 360.58
€ 360.58
Hardback. A comprehensive dictionary covering both computer science and communications technology. It features over 20,000 entries. It provides coverage of the technology trends in computer science, communications, networking, supporting protocols, and the Internet. Num Pages: 1104 pages, biography. BIC Classification: GBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 210. Weight in Grams: 4094.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 1104
- Condition
- New
- SKU
- V9780792384250
- ISBN
- 9780792384250
Hardback
Condition: New
€ 625.96
€ 625.96
Hardback. This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings together the contributions of various specialists in the field. Series: ISTE. Num Pages: 352 pages, Illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 162 x 24. Weight in Grams: 660.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9781848214378
- ISBN
- 9781848214378
Hardback
Condition: New
€ 172.93
€ 172.93
Paperback. Editor(s): Baeza-Yates, Ricardo. Num Pages: 596 pages, biography. BIC Classification: UYZM. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 31. Weight in Grams: 1149.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 596
- Condition
- New
- SKU
- V9781475798074
- ISBN
- 9781475798074
Paperback
Condition: New
€ 243.45
€ 243.45
paperback. Editor(s): Bulatov, Andrei A.; Shur, Arseny M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642385353
- ISBN
- 9783642385353
Paperback
Condition: New
€ 65.45
€ 65.45
Paperback. Presents the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. Editor(s): Hirsch, Edward; Karhumaki, Juhani; Lepisto, Arto; Prilutskii, Michail. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 350 pages, 25 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 502.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642306419
- ISBN
- 9783642306419
Paperback
Condition: New
€ 64.45
€ 64.45
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540797081
- ISBN
- 9783540797081
Paperback
Condition: New
€ 65.18
€ 65.18