Computer programming / software development
Results 2841 - 2860 of 2953
Computer programming / software development
Paperback. Constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. These papers address topics such as formal languages, automata theory, computability, complexity, logic, petri nets, and related areas. Editor(s): Gao, Yuan; Lu, Hanlin; Seki, Shinnosuke; Yu, Sheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 446 pages, 48 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642144547
- ISBN
- 9783642144547
Paperback
Condition: New
€ 72.10
€ 72.10
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 259.80
€ 259.80
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 258.12
€ 258.12
Paperback. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012. Editor(s): Furia, Carlo A.; Nanz, Sebastian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642305603
- ISBN
- 9783642305603
Paperback
Condition: New
€ 71.33
€ 71.33
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
€ 69.46
€ 69.46
Paperback. Constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. This title features the papers that are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, and variability analysis and ADLs. Editor(s): France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F. (University of York). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 396 pages, 147 black & white illustrations, 65 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642214691
- ISBN
- 9783642214691
Paperback
Condition: New
€ 71.79
€ 71.79
Optimization in Computational Chemistry and Molecular Biology
. Ed(S): Floudas, C.A.; Pardalos, Panos M.
Hardback. Editor(s): Floudas, C.A.; Pardalos, Panos M. Series: Nonconvex Optimization and Its Applications. Num Pages: 349 pages, biography. BIC Classification: PBU; PBW; UM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 349
- Condition
- New
- SKU
- V9780792361558
- ISBN
- 9780792361558
Hardback
Condition: New
€ 200.93
€ 200.93
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
€ 70.08
€ 70.08
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Agents and Artificial Intelligence, ICAART 2010, that was held in Valencia, Spain, in January 2010. Editor(s): Filipe, Joaquim; Fred, Ana; Sharp, Bernadette. Series: Communications in Computer and Information Science. Num Pages: 251 pages, 58 black & white illustrations, 58 colour illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642198892
- ISBN
- 9783642198892
Paperback
Condition: New
€ 70.23
€ 70.23
Paperback. Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. Editor(s): Ferreira, Fernando; Lowe, Benedikt; Mayordomo, Elvira; Gomes, Luis Mendes. Series: Lecture Notes in Computer Science. Num Pages: 450 pages, 37 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UYA; UYQ. 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
- 450
- Condition
- New
- SKU
- V9783642139611
- ISBN
- 9783642139611
Paperback
Condition: New
€ 72.26
€ 72.26
Paperback. Editor(s): Ferrandez Vicente, Jose Manuel; Alvarez-Sanchez, Jose Ramon; Lopez, Felix de la Paz; Toledo Moreo, Fco. Javier; Adeli, Hojjat. Series: Lecture Notes in Computer Science. Num Pages: 570 pages, 224 black & white illustrations, biography. BIC Classification: PSA; UMB; UNH; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 570
- Condition
- New
- SKU
- V9783319189130
- ISBN
- 9783319189130
Paperback
Condition: New
€ 69.68
€ 69.68
Paperback. Editor(s): Ferrandez Vicente, Jose Manuel; Alvarez-Sanchez, Jose Ramon; Lopez, Felix de la Paz; Toledo Moreo, Fco. Javier; Adeli, Hojjat. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, 177 black & white illustrations, biography. BIC Classification: PSA; UMB; UNH; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 486
- Condition
- New
- SKU
- V9783319188324
- ISBN
- 9783319188324
Paperback
Condition: New
€ 68.43
€ 68.43
Paperback. Covers topics such as XML compression, XML updates, column-oriented stores, provenance, warehousing, streamed data, data mashups, dataspaces, sensor network query processing, and pattern-oriented search. Editor(s): Fernandes, Alvaro A. A.; Gray, Alasdair J.; Belhajjame, Khalid. Series: Lecture Notes in Computer Science. Num Pages: 238 pages, 94 black & white illustrations, biography. BIC Classification: UMB; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642245763
- ISBN
- 9783642245763
Paperback
Condition: New
€ 87.63
€ 87.63
Security Technology, Disaster Recovery and Business Continuity
. Ed(S): Fang, Wai-Chi; Khurram Khan, Muhamma...
Paperback. Constitutes the refereed proceedings of the International Conference on Security Technology, SecTech 2010, and the International Conference on Disaster Recovery and Business Continuity, DRBC 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Fang, Wai-Chi; Khurram Khan, Muhammad; Arnett, Kirk P.; Kang, Heau-Jo; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 300 pages, 125 black & white illustrations, biography. BIC Classification: UKR; UMB; URY; UTFB. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783642176098
- ISBN
- 9783642176098
Paperback
Condition: New
€ 70.70
€ 70.70
Paperback. Constitutes the proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. This book features the papers that are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization. Editor(s): Erlingsson, Ulfar; Wieringa, Roel J.; Zannone, Nicola. Series: Lecture Notes in Computer Science. Num Pages: 273 pages, 48 black & white illustrations, 21 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UY. 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
- 273
- Condition
- New
- SKU
- V9783642191244
- ISBN
- 9783642191244
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. Editor(s): Erlebach, Thomas; Nikoletseas, Sotiris; Orponen, Pekka. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYD; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642282089
- ISBN
- 9783642282089
Paperback
Condition: New
€ 86.44
€ 86.44
Paperback. This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more. Editor(s): Engels, Gregor; Lewerentz, Claus; Schafer, Wilhelm; Schurr, Andy; Westfechtel, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 782 pages, 328 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 180 x 237 x 28. Weight in Grams: 1042.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 782
- Condition
- New
- SKU
- V9783642173219
- ISBN
- 9783642173219
Paperback
Condition: New
€ 137.66
€ 137.66
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Image and Signal Processing, ICISP 2010, held in Quebec, Canada June 30 - July 2, 2010. The 69 revised full papers were carefully selected from 165 submissions. Editor(s): El Chakik, Abdallah; Meunier, Jean Dominique. Series: Lecture Notes in Computer Science. Num Pages: 603 pages, 257 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 33. Weight in Grams: 1021.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 603
- Condition
- New
- SKU
- V9783642136801
- ISBN
- 9783642136801
Paperback
Condition: New
€ 138.74
€ 138.74
Foundational and Practical Aspects of Resource Analysis: First Interna...
. Ed(S): Eekelen, Marko Van; Shkaravska, Olha
paperback. Constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. Editor(s): Eekelen, Marko van; Shkaravska, Olha. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 35 black & white illustrations, biography. BIC Classification: UKN; UMB; UMG; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 170
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642153303
- ISBN
- 9783642153303
Paperback
Condition: New
€ 69.30
€ 69.30
Paperback. Editor(s): Echizen, Isao; Kunihiro, Noboru; Sasaki, Ryoichi. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 371 pages, 83 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642168246
- ISBN
- 9783642168246
Paperback
Condition: New
€ 71.39
€ 71.39