Computer programming / software development
Results 1741 - 1760 of 2964
Computer programming / software development
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abdulla, Parosh Aziz; Leino, K. Rust...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642198342
- ISBN
- 9783642198342
Paperback
Condition: New
€ 71.63
€ 71.63
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. Editor(s): Obaidat, Mohammad S.; Filipe, Joaquim. Series: Communications in Computer and Information Science. Num Pages: 359 pages, 85 black & white illustrations, 37 colour illustrations, biography. BIC Classification: KJE; UKN; UMB; UMX; URY; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642200762
- ISBN
- 9783642200762
Paperback
Condition: New
€ 71.33
€ 71.33
Paperback. Editor(s): Cordeiro, Jose; Ranchordas, Alpesh Kumar; Shishkov, Boris. Series: Communications in Computer and Information Science. Num Pages: 291 pages, 61 black & white illustrations, 34 colour illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642201158
- ISBN
- 9783642201158
Paperback
Condition: New
€ 70.70
€ 70.70
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2010, that was held in Ljubljana, Slovenia, in April 2010. Editor(s): Dobnikar, Andrej; Lotric, Uros; Ster, Branko. Series: Lecture Notes in Computer Science. Num Pages: 403 pages, 88 black & white illustrations, 43 colour illustrations, biography. BIC Classification: UMB. 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
- 403
- Condition
- New
- SKU
- V9783642202667
- ISBN
- 9783642202667
Paperback
Condition: New
€ 70.89
€ 70.89
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2010, that held in Ljubljana, Slovenia, in April 2010. This title includes 42 papers and a plenary lecture and is organized in topical sections on neural networks and evolutionary computation. Editor(s): Dobnikar, Andrej; Lotric, Uros; Ster, Branko. Series: Lecture Notes in Computer Science. Num Pages: 433 pages, 99 black & white illustrations, 63 colour illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 433
- Condition
- New
- SKU
- V9783642202810
- ISBN
- 9783642202810
Paperback
Condition: New
€ 72.10
€ 72.10
Advances in Power Electronics and Instrumentation Engineering
. Ed(S): Das, Vinu V.; Thankachan, Nessy; Deb...
Paperback. Constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, that was held at Nagpur, India. Editor(s): Das, Vinu V.; Thankachan, Nessy; Debnath, Narayan C. Series: Communications in Computer and Information Science. Num Pages: 146 pages, 94 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UK; UMB; UMZ; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783642204982
- ISBN
- 9783642204982
Paperback
Condition: New
€ 68.52
€ 68.52
Paperback. Constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2011, that was held in Torino, Italy, colocated with the Evo 2011 events. Editor(s): Chio, Cecilia di; Cagnoni, Stefano; Cotta, Carlos; Ebner, Marc; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Merelo, Juan Julian; Neri, Ferrante; Preuss, Mike; Richter, Hendrik. Series: Lecture Notes in Computer Science. Num Pages: 367 pages, 76 black & white illustrations, 57 colour illustrations, biography. BIC Classification: UG; UKN; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 367
- Condition
- New
- SKU
- V9783642205248
- ISBN
- 9783642205248
Paperback
Condition: New
€ 71.63
€ 71.63
Functional Imaging and Modeling of the Heart: 6th International Confer...
. Ed(S): Metaxas, Dimitris N.; Axel, Leon
paperback. Constitutes the proceedings of the 6th International Conference on Functional Imaging and Modeling of the Heart, that was held in New York City, NY, USA. Editor(s): Metaxas, Dimitris N.; Axel, Leon. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 29 black & white illustrations, 189 colour illustrations, biography. BIC Classification: MJD; MMP; PSA; UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 439
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642210273
- ISBN
- 9783642210273
Paperback
Condition: New
€ 72.10
€ 72.10
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 69.92
€ 69.92
Advances in Wireless, Mobile Networks and Applications
. Ed(S): Al-Majeed, Salah S.; Hu, Chih-Lin; N...
Paperback. Editor(s): Al-Majeed, Salah S.; Hu, Chih-Lin; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 317 pages, 75 black & white illustrations, 30 black & white tables, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642211522
- ISBN
- 9783642211522
Paperback
Condition: New
€ 71.02
€ 71.02
Frontiers in Algorithmics and Algorithmic Aspects in Information and M...
. Ed(S): Atallah, Mikhail J.; Li, Xiang-Yang;...
Paperback. Editor(s): Atallah, Mikhail J.; Li, Xiang-Yang; Zhu, Binhai. Series: Lecture Notes in Computer Science. Num Pages: 390 pages, 65 black & white illustrations, 20 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642212031
- ISBN
- 9783642212031
Paperback
Condition: New
€ 70.73
€ 70.73
Paperback. Editor(s): Dingel, Juergen; Solberg, Arnor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 416 pages, 79 black & white illustrations, 70 colour illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 416
- Condition
- New
- SKU
- V9783642212093
- ISBN
- 9783642212093
Paperback
Condition: New
€ 71.95
€ 71.95
Software Process Improvement and Capability Determination
. Ed(S): O'Connor, Rory; Rout, Terry; McCaffe...
Paperback. Editor(s): O'Connor, Rory; Rout, Terry; McCaffery, Fergal; Dorling, Alec. Series: Communications in Computer and Information Science. Num Pages: 247 pages, 21 black & white illustrations, 46 colour illustrations, biography. BIC Classification: PSA; UBJ; UKN; UMB; UMZ; UYZM. 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
- 247
- Condition
- New
- SKU
- V9783642212321
- ISBN
- 9783642212321
Paperback
Condition: New
€ 69.35
€ 69.35
Paperback. Editor(s): Vitria, Jordi; Sanches, Joao Miguel; Hernandez, Mario. Series: Lecture Notes in Computer Science. Num Pages: 754 pages, 114 black & white illustrations, 197 colour illustrations, biography. BIC Classification: UGD; UML; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 754
- Condition
- New
- SKU
- V9783642212567
- ISBN
- 9783642212567
Paperback
Condition: New
€ 139.67
€ 139.67
Coordination, Organizations, Institutions, and Norms in Agent Systems ...
. Ed(S): Vos, Marina De; Fornara, Nicoletta; ...
paperback. Constitutes the reviewed joint postprocessings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2010, held in Toronto, Canada in May 2010 and COIN@MALLOW 2010, held in Lyon, France in August 2010. Editor(s): Vos, Marina de; Fornara, Nicoletta; Pitt, Jeremy V.; Vouros, George A. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 377 pages, 40 black & white illustrations, 52 colour illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642212673
- ISBN
- 9783642212673
Paperback
Condition: New
€ 71.49
€ 71.49
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; 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
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 70.23
€ 70.23
Paperback. Constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, that was held in Edinburgh, UK. Editor(s): Romanovsky, Alexander; Vardanega, Tullio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 27 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. 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
- V9783642213373
- ISBN
- 9783642213373
Paperback
Condition: New
€ 70.08
€ 70.08
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 72.26
€ 72.26
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 70.27
€ 70.27