Algorithms & data structures
Results 217 - 240 of 1985
Algorithms & data structures
Paperback. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). This title deals with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and, programming languages and program analysis. Editor(s): Constable, Robert L.; Silva, Alexandra. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 370 pages, 45 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 529.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783642294846
- ISBN
- 9783642294846
Paperback
Condition: New
€ 64.87
€ 64.87
Paperback. Editor(s): Corchado Rodriguez, Emilio S.; Snasel, Vaclav; Abraham, Ajith; Wozniak, Michal; Grana, Manuel; Cho, Sung-Bae. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 638 pages, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 887.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 638
- Condition
- New
- SKU
- V9783642289309
- ISBN
- 9783642289309
Paperback
Condition: New
€ 67.35
€ 67.35
Hybrid Artificial Intelligent Systems: 7th International Conference, H...
. Ed(S): Corchado Rodriguez, Emilio S.; Snase...
paperback. Editor(s): Corchado Rodriguez, Emilio S.; Snasel, Vaclav; Abraham, Ajith; Wozniak, Michal; Grana, Manuel; Cho, Sung-Bae. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 740 pages, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 1122.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 740
- Condition
- New
- SKU
- V9783642289415
- ISBN
- 9783642289415
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Constituting proceedings of the First International Conference on Graph Transformations, these papers deal with graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Editor(s): Corradini, Andrea; Ehrig, Hartmut; Kreowski, Hans-Jorg; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: PBV; UMB; UNC; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540443100
- ISBN
- 9783540443100
Paperback
Condition: New
€ 71.57
€ 71.57
Paperback. Editor(s): Correa, Ricardo; Dutra, Ines De Castro; Fiallos, Mario; Silva, Luiz Fernando Gomes. Series: Applied Optimization. Num Pages: 343 pages, biography. BIC Classification: PBV; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2002
- Number of pages
- 343
- Condition
- New
- SKU
- V9781441952196
- ISBN
- 9781441952196
Paperback
Condition: New
€ 188.99
€ 188.99
Paperback. Editor(s): Costa, Luciano da Fona; Evuskoff, Alexandre; Mangioni, Giuseppe; Menezes, Ronaldo. Series: Communications in Computer and Information Science. Num Pages: 228 pages, biography. BIC Classification: UKN; UMB; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783642255007
- ISBN
- 9783642255007
Paperback
Condition: New
€ 64.45
€ 64.45
Evolutionary Computation in Combinatorial Optimization: 10th European ...
. Ed(S): Cowling, Peter I.; Merz, Peter
paperback. Constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2010, held in Instanbul, Turkey, in April 2010. This book discusses developments and applications in metaheuristics. Editor(s): Cowling, Peter I.; Merz, Peter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 302 pages, 67 black & white illustrations, biography. BIC Classification: PBU; UG; UMB; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 18. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642121388
- ISBN
- 9783642121388
Paperback
Condition: New
€ 65.26
€ 65.26
Industrial Application of Electromagnetic Computer Codes
. Ed(S): Crutzen, Yves R.; Molinari, Giorgio;...
Paperback. Based on the lectures given during the Eurocourse on 'Industrial Applications of Electromagnetic Computer Codes' held at the Joint Research Centre Ispra, Italy, November 6-9, 1990 Editor(s): Crutzen, Yves R.; Molinari, Giorgio; Rubinacci, Guglielmo. Series: Eurocourses: Computer and Information Science (Closed). Num Pages: 276 pages, biography. BIC Classification: THR; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 276
- Condition
- New
- SKU
- V9789401067997
- ISBN
- 9789401067997
Paperback
Condition: New
€ 64.91
€ 64.91
Paperback. Editor(s): Cuppens, Frederic; Wang, Lingyu; Cuppens-Boulahia, Nora; Tawbi, Nadia; Garcia-Alfaro, Joaquin. Series: Lecture Notes in Computer Science. Num Pages: 361 pages, 83 black & white illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 361
- Condition
- New
- SKU
- V9783319519654
- ISBN
- 9783319519654
Paperback
Condition: New
€ 64.78
€ 64.78
Parameterized and Exact Computation: 9th International Symposium, IPEC...
. Ed(S): Cygan, Marek; Heggernes, Pinar
paperback. Editor(s): Cygan, Marek; Heggernes, Pinar. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 352 pages, 37 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Switzerland
- Edition
- 2014th Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9783319135236
- ISBN
- 9783319135236
Paperback
Condition: New
€ 64.61
€ 64.61
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 600 pages, 264 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 600
- Condition
- New
- SKU
- V9783642152764
- ISBN
- 9783642152764
Paperback
Condition: New
€ 127.36
€ 127.36
Paperback. Editor(s): Dal Lago, Ugo; Pena, Ricardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 34 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319124650
- ISBN
- 9783319124650
Paperback
Condition: New
€ 52.42
€ 52.42
Paperback. Editor(s): Danaev, Nargozy; Shokin, Yurii I.; Darkhan, Akhmed-Zaki. Series: Communications in Computer and Information Science. Num Pages: 223 pages, 93 black & white illustrations, biography. BIC Classification: PBWH; UMB; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 223
- Condition
- New
- SKU
- V9783319250571
- ISBN
- 9783319250571
Paperback
Condition: New
€ 63.66
€ 63.66
Paperback. Editor(s): Dang, Tran Khanh; Wagner, Roland; Kung, Josef; Thoai, Nam; Takizawa, Makoto. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, 155 black & white illustrations, biography. BIC Classification: UMB; URD; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 443
- Condition
- New
- SKU
- V9783319480565
- ISBN
- 9783319480565
Paperback
Condition: New
€ 65.38
€ 65.38
Proceedings of Fourth International Conference on Soft Computing for P...
. Ed(S): Das, Kedar Nath; Deep, Kusum; Pant, ...
Paperback. Editor(s): Das, Kedar Nath; Deep, Kusum; Pant, Millie; Bansal, Jagdish Chand; Nagar, Atulya K. Series: Advances in Intelligent Systems and Computing. Num Pages: 647 pages, 278 black & white illustrations, 126 black & white tables, biography. BIC Classification: UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 647
- Condition
- New
- SKU
- V9788132222163
- ISBN
- 9788132222163
Paperback
Condition: New
€ 242.54
€ 242.54
Proceedings of Fourth International Conference on Soft Computing for P...
. Ed(S): Das, Kedar Nath; Deep, Kusum; Pant, ...
Paperback. Editor(s): Das, Kedar Nath; Deep, Kusum; Pant, Millie; Bansal, Jagdish Chand; Nagar, Atulya K. Series: Advances in Intelligent Systems and Computing. Num Pages: 681 pages, 230 black & white illustrations, 130 black & white tables, biography. BIC Classification: UMB; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1032.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 681
- Condition
- New
- SKU
- V9788132222194
- ISBN
- 9788132222194
Paperback
Condition: New
€ 242.86
€ 242.86
Paperback. Editor(s): Das, Sajal Kumar; Nita-Rotaru, Cristina; Kantarcioglu, Murat. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 275 pages, 57 black & white illustrations, biography. BIC Classification: PBUD; UKN; UMB; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 275
- Condition
- New
- SKU
- V9783319027852
- ISBN
- 9783319027852
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Editor(s): Das, Vinu V.; Stephen, Janahanlal. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 473 pages, 253 black & white illustrations, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642356148
- ISBN
- 9783642356148
Paperback
Condition: New
€ 65.90
€ 65.90
Paperback. Constitutes the refereed proceedings of the Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, that was held in Bangalore, India. This book includes 41 revised full papers, together with 50 short papers and 39 poster papers. It features research in the field of Information Technology, Networks and more. Editor(s): Das, Vinu V.; Stephen, Janahanlal; Chaba, Yogesh. Series: Communications in Computer and Information Science. Num Pages: 676 pages, 179 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 956.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 676
- Condition
- New
- SKU
- V9783642195419
- ISBN
- 9783642195419
Paperback
Condition: New
€ 127.95
€ 127.95
Paperback. Constitutes the proceedings of the First International Conference on Computational Intelligence and Information Technology, CIIT 2011, held in Pune, India, in November 2011. Editor(s): Das, Vinu V.; Thankachan, Nessy. Series: Communications in Computer and Information Science. Num Pages: 901 pages, 481 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 45. Weight in Grams: 1359.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 901
- Condition
- New
- SKU
- V9783642257339
- ISBN
- 9783642257339
Paperback
Condition: New
€ 129.95
€ 129.95
Artificial Intelligence and Evolutionary Computations in Engineering S...
. Ed(S): Dash, Subhransu Sekhar; Vijayakumar,...
Paperback. Editor(s): Dash, Subhransu Sekhar; Vijayakumar, K.; Panigrahi, Bijaya Ketan; Das, Swagatam. Series: Advances in Intelligent Systems and Computing. Num Pages: 889 pages, 149 black & white illustrations, 306 colour illustrations, 301 colour tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 889
- Condition
- New
- SKU
- V9789811031731
- ISBN
- 9789811031731
Paperback
Condition: New
€ 413.40
€ 413.40
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, that was held in Natal, Brazil, in November 2010. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems. Editor(s): Davies, Jim; Silva, Leila; Simao, Adenilso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 299 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642198281
- ISBN
- 9783642198281
Paperback
Condition: New
€ 65.11
€ 65.11
Paperback. Editor(s): Davis, Lawrence David; Jong, Kenneth A. de; Vose, Michael; Whitley, L. Darrell. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 303 pages, 34 black & white tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 303
- Condition
- New
- SKU
- V9781461271857
- ISBN
- 9781461271857
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. Editor(s): Dawar, Anuj; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 269 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642138232
- ISBN
- 9783642138232
Paperback
Condition: New
€ 65.09
€ 65.09