Algorithms & data structures
Results 337 - 360 of 389
Algorithms & data structures
Paperback. Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, 131 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642157684
- ISBN
- 9783642157684
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. This book discusses the computational approach in modern statistical physics, adopting simple language and an attractive format with many illustrations, tables and printed algorithms. The style will appeal to students, teachers and researchers in the physical sciences. The focus is on orientation, with implementation details kept to a minimum. Series: Oxford Master Series in Physics. Num Pages: 360 pages, 260 line drawings, 13 halftones. BIC Classification: PB; PHFC; PHQ; PHS. Category: (P) Professional & Vocational. Dimension: 244 x 188 x 19. Weight in Grams: 788.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Oxford University Press
- Number of pages
- 360
- Condition
- New
- SKU
- V9780198515364
- ISBN
- 9780198515364
Paperback
Condition: New
€ 94.56
€ 94.56
Hardback. Offers a framework to design and analyze strategies for randomized quasi-Monte Carlo (RQMC). This book provides illustrations for problems involving Poisson processes or Gaussian processes. It is useful for those individuals interested in improving simulation efficiency with more than incremental increases. Series: International Series in Operations Research & Management Science. Num Pages: 368 pages, biography. BIC Classification: PBT; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 368
- Condition
- New
- SKU
- V9780792385806
- ISBN
- 9780792385806
Hardback
Condition: New
€ 192.75
€ 192.75
Paperback. Constitutes the thoroughly refereed post-proceedings of the Second International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2010, held in Karlsruhe, Germany in October 2010. Editor(s): Fleischmann, Albert; Schmidt, Werner; Singer, Robert; Seese, Detlef G. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 21 black & white illustrations, 77 colour illustrations, biography. BIC Classification: KJC; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642231346
- ISBN
- 9783642231346
Paperback
Condition: New
€ 66.76
€ 66.76
Swarm, Evolutionary, and Memetic Computing: 4th International Conferen...
Bijaya Ketan Panigrahi (Ed.)
Paperback. Editor(s): Panigrahi, Bijaya Ketan; Suganthan, Ponnuthurai Nagaratnam; Das, Swagatam; Dash, Subhransu Sekhar. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 698 pages, 275 black & white illustrations. BIC Classification: UKN; UMB; UMZ; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1056.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319037554
- ISBN
- 9783319037554
Paperback
Condition: New
€ 124.74
€ 124.74
Paperback. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 259 pages, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642050305
- ISBN
- 9783642050305
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 67.35
€ 67.35
Testing: Academic and Industrial Conference - Practice and Research Te...
. Ed(S): Bottaci, Leonardo; Fraser, Gordon
paperback. Constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, that was held in Windsor, UK, in September 2010. Editor(s): Bottaci, Leonardo; Fraser, Gordon. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 82 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642155840
- ISBN
- 9783642155840
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Malaga, Spain, in July 2010. Editor(s): Fraser, Gordon; Gargantini, Angelo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 174 pages, 60 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783642139765
- ISBN
- 9783642139765
Paperback
Condition: New
€ 66.17
€ 66.17
paperback. Num Pages: 304 pages. BIC Classification: DSBH; UMB; VSP. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 198 x 129. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Penguin
- Condition
- New
- SKU
- 9780141982489
- ISBN
- 9780141982489
Paperback
Condition: New
€ 12.99€ 11.14
€ 12.99
€ 11.14
Hardback. Presents a series of simulations that demonstrate the efficiency of a simple cleaning policy based on cost and benefit. This book describes a prototype log-structured file system called Sprite LFS. It demonstrates how a log-structured file system can be used more efficiently than existing file systems. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 132 pages, biography. BIC Classification: UMB; UNS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 387.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 132
- Condition
- New
- SKU
- V9780792395416
- ISBN
- 9780792395416
Hardback
Condition: New
€ 124.48
€ 124.48
Hardback. Presenting a ground-breaking integrated system of planning and decision support for land consolidation, this outstanding study reviews key issues such as fragmentation and reallocation, includes detailed theory, and deploys the latest computational techniques. Series: Springer Theses. Num Pages: 360 pages, 76 black & white illustrations, 45 colour illustrations, biography. BIC Classification: RGW; RP; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 701.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319023465
- ISBN
- 9783319023465
Hardback
Condition: New
€ 186.89
€ 186.89
hardcover. Introduces an alternative modeling framework in which arrivals are driven by a statistically self-similar underlying process, and are transient in nature. This book describes events as they play out at a range of time scales, from the operation of file buffers and storage control cache, to a statistical view of entire disk storage applications. Series: Advances in Database Systems. Num Pages: 133 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Boston Incorporated United States
- Edition
- 2002nd Edition
- Number of pages
- 133
- Condition
- New
- SKU
- V9780792379454
- ISBN
- 9780792379454
Hardback
Condition: New
€ 188.02
€ 188.02
Paperback. This book gives readers a complete, clear and practical understanding of the technologies that enable the hot topic of Grid computing. It systematically explains OGSA (Open Grid Service Architecture), Web Service technologies (SOAP, WSDL, UDDI), GMA (Grid Monitoring Architecture), Grid Portals, Grid Workflow. Num Pages: 452 pages, illustrations. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 248 x 172 x 27. Weight in Grams: 776.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 452
- Condition
- New
- SKU
- V9780470094174
- ISBN
- 9780470094174
Paperback
Condition: New
€ 121.43
€ 121.43
Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642232824
- ISBN
- 9783642232824
Paperback
Condition: New
€ 83.71
€ 83.71
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 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
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the refereed proceedings of the Third International Conference, ICMT 2010, held in Malaga, Spain, in June 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 278 pages, 95 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 15. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 278
- Condition
- New
- SKU
- V9783642136870
- ISBN
- 9783642136870
Paperback
Condition: New
€ 68.39
€ 68.39
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 130 pages, biography. BIC Classification: GPJ; PBD; PHQ; UMB; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 130
- Condition
- New
- SKU
- V9783642106972
- ISBN
- 9783642106972
Paperback
Condition: New
€ 114.30
€ 114.30
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abdulla, Parosh Aziz; Leino, K. Rust...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642198342
- ISBN
- 9783642198342
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2012, CT-RSA 2012, held in San Francisco, CA, USA, in February/March 2012. Editor(s): Dunkelman, Orr. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, 85 black & white illustrations, biography. BIC Classification: GPJ; PBD; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783642279539
- ISBN
- 9783642279539
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. Editor(s): Di Nitto, Elisabetta; Yahyapour, Ramin. Series: Lecture Notes in Computer Science. Num Pages: 254 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND. 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
- 254
- Condition
- New
- SKU
- V9783642176937
- ISBN
- 9783642176937
Paperback
Condition: New
€ 66.76
€ 66.76
Hardback. Num Pages: 305 pages, biography. BIC Classification: KJM; UB; UMB; UY. Category: (G) General (US: Trade). Dimension: 216 x 140 x 25. Weight in Grams: 561.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Palgrave USA United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9780312210182
- ISBN
- 9780312210182
Hardback
Condition: New
€ 186.14
€ 186.14
Paperback. The 9th issue of the Transactions on Computational Science journal is devoted to the subject of Voronoi diagrams in science and engineering. The papers constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams 2009. Editor(s): Gavrilova, Marina; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 203 pages, 87 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642160066
- ISBN
- 9783642160066
Paperback
Condition: New
€ 66.02
€ 66.02