Algorithms & data structures
Results 217 - 240 of 300
Algorithms & data structures
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. 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
€ 66.30
€ 66.30
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
€ 124.23
€ 124.23
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
€ 127.73
€ 127.73
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
€ 159.23
€ 159.23
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
€ 64.75
€ 64.75
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
€ 127.60
€ 127.60
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
€ 127.01
€ 127.01
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
€ 127.30
€ 127.30
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
€ 64.43
€ 64.43
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
€ 65.01
€ 65.01
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
€ 63.12
€ 63.12
Paperback. This book constitutes the refereed proceedings of the 13th International Symposium on Component-Based Software Engineering, CBSE 2010, held in Prague, Czech Republic, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 48 submissions. Editor(s): Grunske, Lars; Reussner, Ralf; Plasil, Frantisek. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 78 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 253
- Condition
- New
- SKU
- V9783642132377
- ISBN
- 9783642132377
Paperback
Condition: New
€ 65.15
€ 65.15
Paperback. .
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2018
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221488
- ISBN
- 9781484221488
Paperback
Condition: New
€ 52.99€ 18.82
€ 52.99
€ 18.82
Paperback. Constitutes the refereed proceedings of the International Conference on Future Generation Communication and Networking, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Vasilakos, Thanos; Sakurai, Kouichi; Xiao, Yang; Zhao, Gansen; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 471 pages, 223 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 471
- Condition
- New
- SKU
- V9783642176036
- ISBN
- 9783642176036
Paperback
Condition: New
€ 126.15
€ 126.15
Paperback. Constitutes the refereed proceedings of the International Conference on Future Generation Communication and Networking, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Chang, Alan Chin-Chen; Li, Ming Chu; Rong, Chunming; Patrikakis, Charalampos Z.; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 250 pages, 133 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642175862
- ISBN
- 9783642175862
Paperback
Condition: New
€ 64.95
€ 64.95
Paperback. Editor(s): Pardalos, Panos M. Series: Lecture Notes in Computer Science. Num Pages: 542 pages, biography. BIC Classification: PBKS; UKN; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642020254
- ISBN
- 9783642020254
Paperback
Condition: New
€ 158.28
€ 158.28
Hardcover. Covers topics of vector algebra and geometry, the various geometric primitives of interest in a collision system, the powerful method of separating axes for the purposes of intersection testing, and the equally powerful Gilbert-Johnson-Keerthi (GJK) algorithm for computing the distance between convex objects. Num Pages: 277 pages, illustrations. BIC Classification: UDX; UG; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 195 x 21. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Elsevier Science & Technology United States
- Number of pages
- 277
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781558608016
- ISBN
- 9781558608016
Hardback
Condition: New
€ 100.52€ 96.38
€ 100.52
€ 96.38
Business Process Management: 8th International Conference, BPM 2010, H...
. Ed(S): Hull, Richard; Mendling, Jan; Tai, S...
paperback. Constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA, in September 2010. Editor(s): Hull, Richard; Mendling, Jan; Tai, Stefan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 359 pages, 140 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642156175
- ISBN
- 9783642156175
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "7th International ICST Conference on Broadband Communications, Networks and Systems" (BROADNETS 2010) held in October 2010 in Athens, Greece. Editor(s): Tomkos, Ioannis; Ellinas, Georgios; Sinha, Prasun. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 550 pages, 245 black & white illustrations, biography. BIC Classification: TJK; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 550
- Condition
- New
- SKU
- V9783642303753
- ISBN
- 9783642303753
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Editor(s): Sun, Zhenan; Lai, Jianhuang; Chen, Xilin; Tan, Tieniu. Series: Lecture Notes in Computer Science. Num Pages: 290 pages, 61 black & white illustrations, 79 colour illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 290
- Condition
- New
- SKU
- V9783642254482
- ISBN
- 9783642254482
Paperback
Condition: New
€ 65.30
€ 65.30
Bioinspired Models of Network, Information, and Computing Systems
. Ed(S): Hayel, Yezekael; Hart, Emma; El-Azou...
Paperback. Constitutes the refereed post-conference proceedings of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). Editor(s): Hayel, Yezekael; Hart, Emma; El-Azouzi, Rachid; Carrera, Iacopo; Altman, Eitan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 203 pages, 79 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642128073
- ISBN
- 9783642128073
Paperback
Condition: New
€ 64.58
€ 64.58