Algorithms & data structures
Results 1777 - 1800 of 1985
Algorithms & data structures
Computation, Logic, Games and Quantum Foundations - The Many Facets of...
. Ed(S): Coecke, Bob; Ong, Luke; Panangaden, ...
Paperback. Published in honor of the 60th birthday of Samson Abramsky, this book offers contributions by some of his colleagues, former students and friends, representing his manifold contributions to the disciplines of semantics, logic, games and quantum mechanics. Editor(s): Coecke, Bob; Ong, Luke; Panangaden, Prakash. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 385 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 21. Weight in Grams: 550.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 385
- Condition
- New
- SKU
- V9783642381638
- ISBN
- 9783642381638
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Editor(s): Clarke, Edmund M., Jr.; Virbitskaite, Irina; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 425 pages, 130 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642297083
- ISBN
- 9783642297083
Paperback
Condition: New
€ 66.14
€ 66.14
Paperback. Editor(s): Clarke, E.; Kozen, D. Series: Lecture Notes in Computer Science. Num Pages: 537 pages, biography. BIC Classification: UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 537
- Condition
- New
- SKU
- V9783540128960
- ISBN
- 9783540128960
Paperback
Condition: New
€ 88.88
€ 88.88
On the Move to Meaningful Internet Systems: OTM 2015 Workshops
. Ed(S): Ciuciu, Ioana; Panetto, Herve; Debru...
Paperback. Editor(s): Ciuciu, Ioana; Panetto, Herve; Debruyne, Christophe; Aubry, Alexis; Bollen, Peter; Valencia-Garcia, Rafael; Mishra, Alok; Fensel, Anna; Ferri, Fernando. Series: Lecture Notes in Computer Science. Num Pages: 607 pages, 193 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 607
- Condition
- New
- SKU
- V9783319261379
- ISBN
- 9783319261379
Paperback
Condition: New
€ 67.04
€ 67.04
Paperback. Editor(s): Cirne, Walfredo; Desai, Narayan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 179 pages, 60 black & white illustrations, biography. BIC Classification: UL; UMB; UMZ; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 285.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 179
- Condition
- New
- SKU
- V9783319157887
- ISBN
- 9783319157887
Paperback
Condition: New
€ 52.66
€ 52.66
Paperback. Editor(s): Ciriani, Tito A.; Fasano, G. (Alenia Spazio SpA, Turin, Italy); Gliozzi, Stefano (IBM Italia, Rome, Italy); Tadei, Roberto. Series: Applied Optimization. Num Pages: 468 pages, biography. BIC Classification: PBU; PBWH; TRC; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 468
- Condition
- New
- SKU
- V9781441952424
- ISBN
- 9781441952424
Paperback
Condition: New
€ 361.90
€ 361.90
Theory and Applications of Satisfiability Testing - SAT 2012
. Ed(S): Cimatti, Alessandro; Sebastiani, Rob...
Paperback. Editor(s): Cimatti, Alessandro; Sebastiani, Roberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, 364 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642316111
- ISBN
- 9783642316111
Paperback
Condition: New
€ 67.01
€ 67.01
Paperback. Editor(s): Cicalese, Ferdinando; Porat, Ely; Vaccaro, Ugo. Series: Lecture Notes in Computer Science. Num Pages: 431 pages, 69 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 431
- Condition
- New
- SKU
- V9783319199283
- ISBN
- 9783319199283
Paperback
Condition: New
€ 65.50
€ 65.50
Paperback. Editor(s): Chrobak, Marek; Fernandez Anta, Antonio; Gasieniec, Leszek; Klasing, Ralf. Series: Lecture Notes in Computer Science. Num Pages: 141 pages, 15 black & white illustrations, biography. BIC Classification: UKN; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 141
- Condition
- New
- SKU
- V9783319530574
- ISBN
- 9783319530574
Paperback
Condition: New
€ 63.63
€ 63.63
Security Protocols XVIII: 18th International Workshop, Cambridge, UK, ...
. Ed(S): Christianson, Bruce; Malcolm, James
paperback. Editor(s): Christianson, Bruce; Malcolm, James. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 19 black & white illustrations, biography. BIC Classification: UKN; UMB; UR; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Germany
- Edition
- 2014th Edition
- Number of pages
- 279
- Condition
- New
- SKU
- V9783662459201
- ISBN
- 9783662459201
Paperback
Condition: New
€ 64.41
€ 64.41
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the 19th International Workshop on Security Protocols, held in Cambridge, UK, in March 2011. This title incorporates ideas from the workshop, and is followed in these proceedings by an edited transcription of the presentation and ensuing discussion. Editor(s): Christianson, Bruce; Crispo, Bruno; Malcolm, James; Stajano, Frank. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 392 pages, biography. BIC Classification: UKN; UMB; UNH; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 561.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783642258664
- ISBN
- 9783642258664
Paperback
Condition: New
€ 65.38
€ 65.38
Emerging Trends and Applications in Information Communication Technolo...
. Ed(S): Chowdhry, Bhawani Shankar; Shaikh, F...
Paperback. Constitutes the refereed proceedings of the Second International Multi-topic Conference, IMTIC 2012, held in Jamshoro, Pakistan, in March 2012. Editor(s): Chowdhry, Bhawani Shankar; Shaikh, Faisal Karim; Hussain, Dil Muhammad Akbar; Uqaili, Muhammad Aslam. Series: Communications in Computer and Information Science. Num Pages: 572 pages, 335 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UR. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 792.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 572
- Condition
- New
- SKU
- V9783642289613
- ISBN
- 9783642289613
Paperback
Condition: New
€ 67.41
€ 67.41
Green and Smart Technology with Sensor Applications
. Ed(S): Cho, Hyun-Seob; Kim, Tai-Hoon; Moham...
Paperback. Editor(s): Cho, Hyun-seob; Kim, Tai-hoon; Mohammed, Sabah; Adeli, Hojjat; Oh, Myoung-Kwan; Lee, Keun-Wang. Series: Communications in Computer and Information Science. Num Pages: 434 pages, 256 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 608.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783642352508
- ISBN
- 9783642352508
Paperback
Condition: New
€ 66.20
€ 66.20
paperback. This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2014, held in Warsaw, Poland, in September 2014. The 81 full papers presented were carefully reviewed and selected from various submissions. They cover various important aspects of computer vision and graphics. Editor(s): Chmielewski, Leszek J.; Kozera, Ryszard; Wojciechowski, Konrad; Shin, Bok-Suk. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 706 pages, 382 black & white illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1068.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2014th Edition
- Number of pages
- 706
- Condition
- New
- SKU
- V9783319113302
- ISBN
- 9783319113302
Paperback
Condition: New
€ 67.87
€ 67.87
Variants of Evolutionary Algorithms for Real-World Applications
. Ed(S): Chiong, Raymond; Weise, Thomas; Mich...
Paperback. This book offers a comprehensive discussion of the ways that Evolutionary Algorithms can be adapted to real-world problems such as production process planning, inventory system and supply chain network optimisation, soil properties analysis and more. Editor(s): Chiong, Raymond; Weise, Thomas; Michalewicz, Zbigniew. Num Pages: 466 pages, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 466
- Condition
- New
- SKU
- V9783642440588
- ISBN
- 9783642440588
Paperback
Condition: New
€ 125.45
€ 125.45
Variants of Evolutionary Algorithms for Real-World Applications
. Ed(S): Chiong, Raymond; Weise, Thomas; Mich...
Hardback. This book offers a comprehensive discussion of the ways that Evolutionary Algorithms can be adapted to real-world problems such as production process planning, inventory system and supply chain network optimisation, soil properties analysis and more. Editor(s): Chiong, Raymond; Weise, Thomas; Michalewicz, Zbigniew. Num Pages: 466 pages, biography. BIC Classification: UMB; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 964.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 466
- Condition
- New
- SKU
- V9783642234231
- ISBN
- 9783642234231
Hardback
Condition: New
€ 125.62
€ 125.62
Paperback. Editor(s): Chio, Cecilia di; Cagnoni, Stefano; Cotta, Carlos; Ebner, Marc; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Goh, Chi-Keong; Merelo, Juan Julian; Neri, Ferrante; Preus, Mike. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 648 pages, 231 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYA; UYQN; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition. 2nd Printing. 3rd Printing.
- Number of pages
- 648
- Condition
- New
- SKU
- V9783642122385
- ISBN
- 9783642122385
Paperback
Condition: New
€ 128.17
€ 128.17
Paperback. The contributions assembled in this volume illustrate the band-width of applications of the Linked Data paradigm for representative types of language resources. They cover lexical-semantic resources, annotated corpora, typological databases as well as terminology and metadata repositories. Editor(s): Chiarcos, Christian; Nordhoff, Sebastian; Hellmann, Sebastian. Num Pages: 232 pages, 21 black & white tables, biography. BIC Classification: CBX; CFX; UGD; UMB; UNF; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 232
- Condition
- New
- SKU
- V9783642434969
- ISBN
- 9783642434969
Paperback
Condition: New
€ 63.89
€ 63.89
Hardback. The contributions assembled in this volume illustrate the band-width of applications of the Linked Data paradigm for representative types of language resources. They cover lexical-semantic resources, annotated corpora, typological databases as well as terminology and metadata repositories. Editor(s): Chiarcos, Christian; Nordhoff, Sebastian; Hellmann, Sebastian. Num Pages: 232 pages, 21 black & white tables, biography. BIC Classification: UGD; UMB; UNF; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 232
- Condition
- New
- SKU
- V9783642282485
- ISBN
- 9783642282485
Hardback
Condition: New
€ 64.59
€ 64.59
Paperback. Editor(s): Chen, Yunji; Ienne, Paolo; Ji, Qing. Series: Lecture Notes in Computer Science. Num Pages: 126 pages, 55 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 126
- Condition
- New
- SKU
- V9783319232157
- ISBN
- 9783319232157
Paperback
Condition: New
€ 64.14
€ 64.14
Paperback. Editor(s): Chen, Yidong; Shi, Xiaodong. Series: Communications in Computer and Information Science. Num Pages: 129 pages, 24 black & white illustrations, biography. BIC Classification: UMB; UYQL; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 7. Weight in Grams: 215.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 129
- Condition
- New
- SKU
- V9783662457009
- ISBN
- 9783662457009
Paperback
Condition: New
€ 75.43
€ 75.43
Paperback. Constitutes the refereed proceedings of the 7th International Workshop on Internet and Network Economics, WINE 2011, held in Singapore, in December 2011. Editor(s): Chen, Ning; Elkind, Edith; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 432 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 432
- Condition
- New
- SKU
- V9783642255090
- ISBN
- 9783642255090
Paperback
Condition: New
€ 66.44
€ 66.44
Paperback. Constitutes the proceedings of the International Conference on Trusted Systems, held in Beijing, China, in December 2010. This book features papers that are organized in seven topical sections on implementation technology, security analysis, cryptographic aspects, mobile trusted systems, hardware security, attestation, and software protection. Editor(s): Chen, Liqun; Yung, Moti. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 376 pages, 73 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 529.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 376
- Condition
- New
- SKU
- V9783642252822
- ISBN
- 9783642252822
Paperback
Condition: New
€ 65.82
€ 65.82
Paperback. Editor(s): Chen, Liqun; Mitchell, Chris. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 267 pages, 34 black & white illustrations, biography. BIC Classification: UKN; UMB; URY; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 267
- Condition
- New
- SKU
- V9783319140537
- ISBN
- 9783319140537
Paperback
Condition: New
€ 64.09
€ 64.09