Algorithms & data structures
Results 201 - 220 of 298
Algorithms & data structures
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. Editor(s): Clarke, Dave; Agha, Gul A. Series: Lecture Notes in Computer Science. Num Pages: 183 pages, 50 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYFP. Category: (P) Professional & Vocational. Dimension: 234 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
- 183
- Condition
- New
- SKU
- V9783642134135
- ISBN
- 9783642134135
Paperback
Condition: New
€ 64.81
€ 64.81
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011, held in Daejeon, Korea, in September 2011. Editor(s): Lee, Geuk; Howard, Daniel; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 789 pages, 195 black & white illustrations, 309 colour illustrations, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 789
- Condition
- New
- SKU
- V9783642240812
- ISBN
- 9783642240812
Paperback
Condition: New
€ 129.55
€ 129.55
Paperback. Editor(s): Balasubramaniam, P. Series: Communications in Computer and Information Science. Num Pages: 328 pages, 40 black & white illustrations, 63 colour illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 328
- Condition
- New
- SKU
- V9783642192623
- ISBN
- 9783642192623
Paperback
Condition: New
€ 66.08
€ 66.08
Paperback. Constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010. Editor(s): Ranka, Sanjay; Banerjee, Arunava; Biswas, Kanad Kishore; Dua, Sumeet; Mishra, Prabhat; Moona, Rajat; Poon, Sheung-Hung; Wang, Cho-Li. Series: Communications in Computer and Information Science. Num Pages: 275 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 229 x 155 x 15. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642148248
- ISBN
- 9783642148248
Paperback
Condition: New
€ 65.68
€ 65.68
Paperback. Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 94 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642115110
- ISBN
- 9783642115110
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. Series: Lecture Notes in Computer Science. Num Pages: 613 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 33. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 613
- Condition
- New
- SKU
- V9783642153747
- ISBN
- 9783642153747
Paperback
Condition: New
€ 128.28
€ 128.28
Hardback. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319496788
- ISBN
- 9783319496788
Hardback
Condition: New
€ 128.55€ 45.65
€ 128.55
€ 45.65
Computing Algorithms of Solution of Problems of Applied Mathematics & ...
Kartlos Joseph Kachiashvili
Hardback. Num Pages: 354 pages. BIC Classification: PB; UMB. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 180. .
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 354
- Format
- Hardback
- Publication date
- 2015
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634636841
- ISBN
- 9781634636841
Hardback
Condition: New
€ 259.46€ 193.02
€ 259.46
€ 193.02
Computing Algorithms of Solution of Problems of Applied Mathematics & ...
Kartlos Joseph Kachiashvili
Hardback. Num Pages: 372 pages. BIC Classification: PB; UMB. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 180. .
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Nova Science Publishers Inc United States
- Edition
- UK ed.
- Number of pages
- 372
- Condition
- New
- SKU
- V9781634636834
- ISBN
- 9781634636834
Hardback
Condition: New
€ 259.46€ 194.22
€ 259.46
€ 194.22
Paperback. Constitutes the proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship. This title includes the papers that cover various aspects of artificial intelligence in computer-game playing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 287 pages, biography. BIC Classification: UGG; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540876076
- ISBN
- 9783540876076
Paperback
Condition: New
€ 113.26
€ 113.26
Paperback. Constitutes the refereed proceedings of the International Conference, VISIGRAPP 2010, the Joint Conference on Computer Vision Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), and on Computer Graphics Theory and Applications (GRAPP), held in Angers, France, in May 2010. Editor(s): Richard, Dr Paul; Braz, Jose. Series: Communications in Computer and Information Science. Num Pages: 319 pages, 85 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 319
- Condition
- New
- SKU
- V9783642253812
- ISBN
- 9783642253812
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Constitutes the refereed post-conference proceedings of the 9th Asian Conference on Computer Vision, ACCV 2009, held in Xi'an, China, in September 2009. Editor(s): Zha, Hongbin; Taniguchi, Rin-Ichiro; Maybank, Stephen. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 390 pages, 193 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642123061
- ISBN
- 9783642123061
Paperback
Condition: New
€ 66.86
€ 66.86
Paperback. Constitutes the refereed post-conference proceedings of the 9th Asian Conference on Computer Vision, ACCV 2009, held in Xi'an, China, in September 2009. Editor(s): Zha, Hongbin; Taniguchi, Rin-Ichiro; Maybank, Stephen. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 724 pages, 373 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 28. Weight in Grams: 1039.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783642123030
- ISBN
- 9783642123030
Paperback
Condition: New
€ 129.05
€ 129.05
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
€ 129.08
€ 129.08
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
€ 68.28
€ 68.28
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
€ 158.79
€ 158.79
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.69
€ 66.69
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
€ 65.24
€ 65.24
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.97
€ 124.97
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
€ 128.51
€ 128.51