Computer programming / software development
Results 1729 - 1752 of 2140
Computer programming / software development
Paperback. Constitutes the proceedings of the 15th European Symposium on Computer Security held in Athens, Greece in September 2010. Editor(s): Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi. Series: Lecture Notes in Computer Science. Num Pages: 718 pages, 163 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 718
- Condition
- New
- SKU
- V9783642154966
- ISBN
- 9783642154966
Paperback
Condition: New
€ 132.14
€ 132.14
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. This book is intended as a text for an "Introduction to Computer Science" course for non-majors. That is, this book is intended for "the rest of the world"; namely "every can program". No specific pre-requisites at the college level are needed. However, basic high school level mathematics knowledge is assumed. Num Pages: 188 pages, black & white illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 234 x 180 x 10. Weight in Grams: 322.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- O´Reilly Media United States
- Edition
- 1st Edition
- Number of pages
- 188
- Condition
- New
- SKU
- V9781449355975
- ISBN
- 9781449355975
Paperback
Condition: New
€ 37.99€ 36.39
€ 37.99
€ 36.39
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
€ 69.87
€ 69.87
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
€ 162.59
€ 162.59
Paperback. This is the first of three volumes from the archives of "The Perl Journal", it contains 71 articles providing a comprehensive tour of how experts implement computer science concepts in the real world, with code walkthroughs, case studies, and explanations of difficult techniques. Editor(s): Orwant, Jon. Num Pages: 744 pages, index. BIC Classification: UMW; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 179 x 43. Weight in Grams: 1202.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- O´Reilly Media United States
- Number of pages
- 744
- Condition
- New
- SKU
- V9780596003104
- ISBN
- 9780596003104
Paperback
Condition: New
€ 52.99€ 50.02
€ 52.99
€ 50.02
Paperback. Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Editor(s): Ablayev, Farid; Mayr, Ernst W. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 397 pages, 49 black & white illustrations, biography. BIC Classification: UMB; UMC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 397
- Condition
- New
- SKU
- V9783642131813
- ISBN
- 9783642131813
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Provides an integration of basic computing concepts with Pascal programming to foster the use of programming as a problem-solving tool. This title covers from algorithms and artificial intelligence to computer interfacing and operating systems. Num Pages: 752 pages, Illustrations. BIC Classification: UMX; UY. Category: (UU) Undergraduate. Dimension: 225 x 190 x 27. Weight in Grams: 1136.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 752
- Condition
- New
- SKU
- V9780471311980
- ISBN
- 9780471311980
Paperback
Condition: New
€ 219.03
€ 219.03
Paperback. Constitutes the refereed proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, held in The English Lake District in October 2011. This book includes the papers that are organized in topical sections on performance-oriented design and analysis methods, performability modelling and performance and power consumption tradeoffs. Editor(s): Thomas, Nigel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 341 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642247484
- ISBN
- 9783642247484
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Constitutes the refereed proceedings of the 7th European Performance Engineering Workshop, EPEW 2010, held in Bertinoro, Italy, in September 2010. This book features the papers that are organized in topical sections on network and software performance; timed models and model checking; model solutions and bounds; and, compositional analysis. Editor(s): Aldini, Alessandro; Bernardo, Marco; Bononi, Luciano; Cortellessa, Vittorio. Series: Lecture Notes in Computer Science. Num Pages: 286 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642157837
- ISBN
- 9783642157837
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 370 pages, biography. BIC Classification: UGK; UKN; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783540878261
- ISBN
- 9783540878261
Paperback
Condition: New
€ 127.93
€ 127.93
Paperback. .
- Publisher
- Pearson Education Limited
- Number of pages
- 824
- Format
- Paperback
- Publication date
- 2013
- Edition
- Pearson new international ed of 4th revised ed
- Condition
- New
- SKU
- V9781292024257
- ISBN
- 9781292024257
Paperback
Condition: New
€ 88.31
€ 88.31
Paperback. The book covers elementary concepts - how to produce simple graphical objects using logical coordinates, producing filled regions etc. Reinforcing concepts with useful and simple examples, the book then progresses to applied geometry (vectors, polygons etc) and then onto how to perform rotations and other transformations of graphical objects. Num Pages: 386 pages, Illustrations (some col.). BIC Classification: UG; UMW. Category: (P) Professional & Vocational. Dimension: 235 x 192 x 21. Weight in Grams: 698.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 386
- Condition
- New
- SKU
- V9780470031605
- ISBN
- 9780470031605
Paperback
Condition: New
€ 71.07
€ 71.07
Paperback. .
- Publisher
- I.K.International (P) Ltd.
- Format
- Paperback
- Publication date
- 2007
- Condition
- New
- SKU
- V9788189866198
- ISBN
- 9788189866198
Paperback
Condition: New
€ 40.99€ 36.19
€ 40.99
€ 36.19
Paperback. Editor(s): Aoe, Jun-Ichi. Num Pages: 296 pages, Illustrations. BIC Classification: UMN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 288 x 223 x 24. Weight in Grams: 1154.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9780818654626
- ISBN
- 9780818654626
Paperback
Condition: New
€ 102.28
€ 102.28
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 131.55
€ 131.55
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UB; UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540705437
- ISBN
- 9783540705437
Paperback
Condition: New
€ 161.48
€ 161.48
Paperback. A book that constitutes the refereed proceedings of the First International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2010, that was held in Bangkok, Thailand. Editor(s): Chan, Jonathan H.; Ong, Yew Soon; Cho, Sung-Bae. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 91 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 186 x 14. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642167492
- ISBN
- 9783642167492
Paperback
Condition: New
€ 66.64
€ 66.64
Computational Science and Its Applications - ICCSA 2010: International...
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
paperback. Includes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2010, held in Fukuoka, Japan, in March 2010. This title covers topics such as geographical analysis, urban modeling, spatial statistics, wireless and ad hoc networking, and sensor network and its applications. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 602 pages, 258 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 239 x 152 x 33. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 602
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642121647
- ISBN
- 9783642121647
Paperback
Condition: New
€ 131.41
€ 131.41
Computational Science and its Applications - ICCSA 2010
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
Paperback. This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 540 pages, 227 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783642121883
- ISBN
- 9783642121883
Paperback
Condition: New
€ 130.82
€ 130.82
Computational Science and its Applications - ICCSA 2010
. Ed(S): Taniar, David; Gervasi, Osvaldo; Mur...
Paperback. This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more. Editor(s): Taniar, David; Gervasi, Osvaldo; Murgante, Beniamino; Pardede, Eric; Apduhan, Bernady O. Series: Lecture Notes in Computer Science. Num Pages: 570 pages, 284 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 570
- Condition
- New
- SKU
- V9783642121784
- ISBN
- 9783642121784
Paperback
Condition: New
€ 131.11
€ 131.11
Paperback. Editor(s): Dix, Jurgen; Fisher, Michael; Novak, Peter. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 197 pages, 40 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642168666
- ISBN
- 9783642168666
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. This title features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning. Editor(s): Dix, Jurgen; Leite, Joao; Governatori, Guido; Jamroga, Wojtek. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 257 pages, 42 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642149764
- ISBN
- 9783642149764
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. This 1998 book explains the design of geometry algorithms, including discussion of implementation issues and working C code. Num Pages: 392 pages, 259 b/w illus. 270 exercises. BIC Classification: PBM; UMB; UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 253 x 180 x 13. Weight in Grams: 726.
- Publisher
- Cambridge University Press United Kingdom
- Number of pages
- 392
- Format
- Paperback
- Publication date
- 1998
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521649766
- ISBN
- 9780521649766
Paperback
Condition: New
€ 64.10
€ 64.10