.png){kind=logo}
Computer science
Results 1105 - 1128 of 16599
Computer science
hardcover. Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 320
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402016561
- ISBN
- 9781402016561
Hardback
Condition: New
€ 134.25
€ 134.25
Third International Conference on Software, Services & Semantic Techno...
. Ed(S): Dicheva, Darina; Markov, Zdravko; St...
Paperback. Contains the Proceedings of The Third International Conference on Software, Services & Semantic Technologies (S3T) held in Bourgas, Bulgaria on September 1-3, 2011. In this title, the papers cover a wide range of topics related to the track themes. Editor(s): Dicheva, Darina; Markov, Zdravko; Stefanova, Eliza. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 234 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 406.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 234
- Condition
- New
- SKU
- V9783642231629
- ISBN
- 9783642231629
Paperback
Condition: New
€ 193.74
€ 193.74
Paperback. This proceedings is a representation of decades of reasearch, teaching and application in the field. Image Processing, Fusion and Information Technology areas, Digital radio Communication, Wimax, Electrical engg, VLSI approach to processor design, embedded systems design are dealt in detail through models and illustrative techniques. Editor(s): Pise, S. J. Num Pages: 332 pages, 60 black & white tables, biography. BIC Classification: GPJ; UG; UMB; UNH; UYD; UYQL. Category: (G) General (US: Trade). Dimension: 279 x 210 x 18. Weight in Grams: 829.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 332
- Condition
- New
- SKU
- V9788132217077
- ISBN
- 9788132217077
Paperback
Condition: New
€ 184.54
€ 184.54
Hardback. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. This book provides an introductory overview of the rapid growth in interdisciplinary research into "Thinking with Diagrams". Editor(s): Blackwell, Alan F. Num Pages: 150 pages, biography. BIC Classification: JMRN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from ARTIFICIAL INTELLIGENCE REVIEW, 15
- Number of pages
- 150
- Condition
- New
- SKU
- V9780792369448
- ISBN
- 9780792369448
Hardback
Condition: New
€ 185.94
€ 185.94
Paperback. The process of solving large problems by breaking them down into smaller, more simple problems that have identical forms. Thinking Recursively: A small text to solve large problems. Concentrating on the practical value of recursion. this text, the first of its kind, is essential to computer science students' education. Num Pages: 180 pages, illustrations, bibliography, index. BIC Classification: UYA. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 161 x 11. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 180
- Condition
- New
- SKU
- V9780471816522
- ISBN
- 9780471816522
Paperback
Condition: New
€ 134.33
€ 134.33
Paperback. * Provides valuable insight into the progress and direction of development of the World Wide Web and its likely future applications in science and business. * Reviews the prospects for the Web to develop intelligent services (such as online businesses, games, purchases, new search capabilities, and accessibility to trustworthy information). Num Pages: 292 pages, Illustrations. BIC Classification: UDB; UY. Category: (P) Professional & Vocational. Dimension: 233 x 162 x 14. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 292
- Condition
- New
- SKU
- V9780471768661
- ISBN
- 9780471768661
Paperback
Condition: New
€ 51.51
€ 51.51
Paperback. Num Pages: 500 pages, 1 black & white tables, biography. BIC Classification: HP; PDA; PDZ; PHS; PSD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 5th ed. 2007
- Number of pages
- 500
- Condition
- New
- SKU
- V9783642446566
- ISBN
- 9783642446566
Paperback
Condition: New
€ 62.28€ 56.67
€ 62.28
€ 56.67
Paperback. If you want to learn how to program and think like a computer scientist, this practical guide will get you started on your programming journey with Perl 6, the new version of the popular programming language. Ideal for beginners, Think Perl 6 contains numerous exercises with multiple solutions and a lot of code examples. Num Pages: 475 pages. BIC Classification: UY. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491980552
- ISBN
- 9781491980552
Paperback
Condition: New
€ 60.48
€ 60.48
Paperback. Think DSP: Digital Signal Processing in Python is an introduction to signal processing and system analysis using a computational approach. The premise of this book (like the others in the Think X series) is that if you know how to program, you can use that skill to learn other things. Num Pages: 168 pages, black & white illustrations. BIC Classification: UYS. Category: (P) Professional & Vocational. Dimension: 180 x 266 x 15. Weight in Grams: 290.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491938454
- ISBN
- 9781491938454
Paperback
Condition: New
€ 32.99€ 23.79
€ 32.99
€ 23.79
Paperback. Num Pages: 180 pages. BIC Classification: UY. Category: (P) Professional & Vocational. .
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491972397
- ISBN
- 9781491972397
Paperback
Condition: New
€ 42.99€ 30.67
€ 42.99
€ 30.67
Paperback. How does a computer scientist understand infinity? What can probability theory teach us about free will? This book contains six informal lectures by computer scientist Donald E. Knuth exploring the relationship between his vocation and his faith. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 269 pages, 102 illustrations. BIC Classification: UBJ; UY. Category: (P) Professional & Vocational. Dimension: 224 x 153 x 17. Weight in Grams: 436.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Centre for the Study of Language & Information United States
- Edition
- New edition
- Number of pages
- 269
- Condition
- New
- SKU
- V9781575863269
- ISBN
- 9781575863269
Paperback
Condition: New
€ 26.99€ 22.34
€ 26.99
€ 22.34
paperback. Series: Anwendung Programmierbarer Taschenrechner. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Vieweg+Teubner Verlag Germany
- Edition
- 1983rd Edition
- Condition
- New
- SKU
- V9783528042165
- ISBN
- 9783528042165
Paperback
Condition: New
€ 70.99
€ 70.99
Hardback. Series: Solid Mechanics and its Applications. Num Pages: 434 pages, 34 black & white illustrations, 222 colour illustrations, 28 colour tables, biography. BIC Classification: PHFC; PHH; TDCQ; UYA. Category: (P) Professional & Vocational. Dimension: 166 x 242 x 31. Weight in Grams: 840.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9789401774925
- ISBN
- 9789401774925
Hardback
Condition: New
€ 130.22
€ 130.22
Hardcover. Comprises an assembly of benchmarks and examples for porous media mechanics collected over the years. Editor(s): Kolditz, Olaf; Gorke, Uwe-Jens; Shao, Hua; Wang, Wenqing. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 412 pages, 109 black & white tables, biography. BIC Classification: PNRW; TGMB; UYAM. Category: (P) Professional & Vocational. Dimension: 241 x 162 x 28. Weight in Grams: 754.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642271762
- ISBN
- 9783642271762
Hardback
Condition: New
€ 129.95
€ 129.95
Hardback. Series: Foundations of Engineering Mechanics. Num Pages: 428 pages, 112 black & white illustrations, 17 colour illustrations, biography. BIC Classification: TGM; TGMB; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 801.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 428
- Condition
- New
- SKU
- V9783662469675
- ISBN
- 9783662469675
Hardback
Condition: New
€ 129.86
€ 129.86
Paperback / so. Series: Informationstechnik Und Datenverarbeitung. Num Pages: 122 pages, black & white illustrations, bibliography. BIC Classification: TBC; UGC; UKN; UKP; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 7. Weight in Grams: 222.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 122
- Condition
- New
- SKU
- V9783540520634
- ISBN
- 9783540520634
Paperback
Condition: New
€ 71.07
€ 71.07
Theory-Guided Modeling and Empiricism in Information Systems Research
. Ed(S): Heinzl, Armin; Buxmann, Peter; Wendt...
Paperback. Presents twelve contributions from the German "Wirtschaftsinformatik" that exemplify the contemporary approach of theory-guided modeling and empiricism. This title summarizes research which has been presented at major international and national conferences in order to demonstrate the growing importance of this stream of research. Editor(s): Heinzl, Armin; Buxmann, Peter; Wendt, Oliver; Weitzel, Tim. Num Pages: 268 pages, 37 black & white illustrations, 25 black & white tables, biography. BIC Classification: KJQ; UT; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 268
- Condition
- New
- SKU
- V9783790827804
- ISBN
- 9783790827804
Paperback
Condition: New
€ 66.95
€ 66.95
Theory, Practice, and Applications of Rules on the Web
. Ed(S): Morgenstern, Leora; Stefaneas, Petro...
Paperback. Editor(s): Morgenstern, Leora; Stefaneas, Petros; Levy, Francois; Wyner, Adam; Paschke, Adrian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 267 pages, 69 black & white illustrations, biography. BIC Classification: UB; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642396168
- ISBN
- 9783642396168
Paperback
Condition: New
€ 61.41
€ 61.41
paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 300 pages, biography. BIC Classification: TJFM1; UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540655091
- ISBN
- 9783540655091
Paperback
Condition: New
€ 70.16
€ 70.16
Paperback. Translator(s): Birkett, N. Series: Foundations of Engineering Mechanics. Num Pages: 334 pages, 263 black & white illustrations, biography. BIC Classification: PHD; PHS; TGMD4; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 334
- Condition
- New
- SKU
- V9783662225349
- ISBN
- 9783662225349
Paperback
Condition: New
€ 128.15
€ 128.15
Theory of Quantum Computation, Communication, and Cryptography
. Ed(S): Bacon, Dave; Martin-Delgado, Miguel;...
Paperback. Editor(s): Bacon, Dave; Martin-Delgado, Miguel; Roetteler, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 219 pages, 37 black & white illustrations, biography. BIC Classification: GPJ; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642544286
- ISBN
- 9783642544286
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Constitutes the refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in January/February 2008. This book focuses on theoretical aspects of quantum computation, quantum communication, and quantum cryptography. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 125 pages, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 125
- Condition
- New
- SKU
- V9783540893035
- ISBN
- 9783540893035
Paperback
Condition: New
€ 66.97
€ 66.97
Hardback. By developing object calculi in which objects are treated as primitives, this title explains both the semantics of objects and their typing rules, and demonstrates how to develop various important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, and more. Series: Monographs in Computer Science. Num Pages: 409 pages, biography. BIC Classification: UMN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. 1996. Corr. 2nd printing 1998
- Number of pages
- 409
- Condition
- New
- SKU
- V9780387947754
- ISBN
- 9780387947754
Hardback
Condition: New
€ 290.52
€ 290.52
Paperback. Translator(s): Wojtasiewicz, Olgierd. Series: Nijhoff International Philosophy Series. Num Pages: 290 pages, 1 black & white illustrations, biography. BIC Classification: CFX; HPL; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 290
- Condition
- New
- SKU
- V9789401737470
- ISBN
- 9789401737470
Paperback
Condition: New
€ 66.95
€ 66.95