Computer programming / software development
Results 3441 - 3460 of 3468
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. Editor(s): Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 504 pages, 154 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783642246890
- ISBN
- 9783642246890
Paperback
Condition: New
€ 71.81
€ 71.81
Paperback. Editor(s): Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo. Series: Lecture Notes in Computer Science. Num Pages: 151 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642281655
- ISBN
- 9783642281655
Paperback
Condition: New
€ 69.20
€ 69.20
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. Editor(s): Barthe, Gilles; Datta, Anupam; Etalle, Sandro. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 51 black & white illustrations, biography. BIC Classification: UMZ; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642294198
- ISBN
- 9783642294198
Paperback
Condition: New
€ 86.80
€ 86.80
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 69.92
€ 69.92
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Information Security and Assurance, ISA 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Bandyopadhyay, Samir Kumar; Adi, Wael; Kim, Tai-hoon; Xiao, Yang. Series: Communications in Computer and Information Science. Num Pages: 350 pages, 151 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; URY; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642133640
- ISBN
- 9783642133640
Paperback
Condition: New
€ 70.86
€ 70.86
Foundations of Information Technology in the Era of Network and Mobile...
. Ed(S): Baeza-Yates, Ricardo; Montanari, Ugo...
Hardback. Includes the papers that were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montreal, Quebec, Canada in August 2002. Editor(s): Baeza-Yates, Ricardo; Montanari, Ugo; Santoro, Nicola. Series: IFIP Advances in Information and Communication Technology. Num Pages: 628 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 628
- Condition
- New
- SKU
- V9781402071812
- ISBN
- 9781402071812
Hardback
Condition: New
€ 198.04
€ 198.04
Evolutionary Computation 1: Basic Algorithms and Operators
. Ed(S): Baeck, Thomas; Fogel, D. B.; Michale...
paperback. Offers information on algorithms and operators used in evolutionary computing. This book discusses the basic ideas that underlie the main paradigms of evolutionary algorithms, evolution strategies, evolutionary programming, and genetic programming. It is suitable for individual researchers, teachers, and students in the field. Editor(s): Baeck, Thomas; Fogel, D. B.; Michalewicz, Z. Num Pages: 378 pages, Illustrations. BIC Classification: UMB. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 13. Weight in Grams: 521.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- CRC Press United Kingdom
- Edition
- 1st Edition
- Number of pages
- 378
- Condition
- New
- SKU
- V9780750306645
- ISBN
- 9780750306645
Paperback
Condition: New
€ 102.25
€ 102.25
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Product-Focused Software Process Improvement, PROFES 2010, held in Limerick, Ireland, in June 2010. This book includes papers that are organized in topical sections on software quality assurance; agile software development; and, more. Editor(s): Babar, Muhammad Ali; Vierimaa, Matias; Oivo, Markku. Series: Lecture Notes in Computer Science. Num Pages: 410 pages, 115 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UMZ; UND; UY. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 13. Weight in Grams: 632.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783642137914
- ISBN
- 9783642137914
Paperback
Condition: New
€ 71.79
€ 71.79
Paperback. Constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. Editor(s): Ayala, Jose L.; Garcia-Camara, Braulio; Prieto, Manuel; Ruggiero, Martino; Sicard, Gilles. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, 81 black & white illustrations, 108 colour illustrations, biography. BIC Classification: UGK; UKN; UMB; UMZ; UYD. 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
- 352
- Condition
- New
- SKU
- V9783642241536
- ISBN
- 9783642241536
Paperback
Condition: New
€ 70.08
€ 70.08
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
Field-Programmable Custom Computing Technology: Architectures, Tools, ...
. Ed(S): Arnold, Jeffrey; Luk, Wayne; Pocek, ...
Hardback. Describes the advances in architectures, design methods, and applications of field-programmable devices for high-performance reconfigurable systems. This title is suitable for those working or researching in the field of custom computing technology. Editor(s): Arnold, Jeffrey; Luk, Wayne; Pocek, Ken. Num Pages: 136 pages, biography. BIC Classification: PHDS; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 203 x 13. Weight in Grams: 539.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF VLSI SIGNAL PROCESSING
- Number of pages
- 136
- Condition
- New
- SKU
- V9780792378037
- ISBN
- 9780792378037
Hardback
Condition: New
€ 128.32
€ 128.32
Hardback. Addresses the problems and issues surrounding diffusion of innovations in software. This book provides a framework for evaluating and applying technology transfer methods. It covers topics such as implementation and coordination issues, interpretations of diffusion theory, diffusion of software processes, and contextual factors. Editor(s): Ardis, Mark A.; Marcolin, Barbara L. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792373315
- ISBN
- 9780792373315
Hardback
Condition: New
€ 255.48
€ 255.48
Paperback. Focuses on the adoption of run-time models for the design and management of autonomic systems. This book includes techniques and solutions for the run-time estimation of autonomic systems performance, the analysis of transient conditions and their application in prototype environments. Editor(s): Ardagna, Danilo; Zhang, Li. Series: Autonomic Systems. Num Pages: 194 pages, biography. BIC Classification: UGK; UKR; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 194
- Condition
- New
- SKU
- V9783034604321
- ISBN
- 9783034604321
Paperback
Condition: New
€ 66.62
€ 66.62
Advances in Information Retrieval Theory: Third International Conferen...
. Ed(S): Amati, Giambattista; Crestani, Fabio
paperback. Constitutes the refereed proceedings of the Third International Conference on the Theory of Information Retrieval, ICTIR 2011, held in Bertinoro, Italy, in September 2011. Editor(s): Amati, Giambattista; Crestani, Fabio. Series: Lecture Notes in Computer Science. Num Pages: 346 pages, 35 black & white illustrations, 31 colour illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 157 x 232 x 20. Weight in Grams: 566.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 346
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642233173
- ISBN
- 9783642233173
Paperback
Condition: New
€ 71.17
€ 71.17
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
€ 70.08
€ 70.08
Paperback. Constitutes the proceedings of the 6th International Workshop on Cooperation and Interoperability, Architecture and Ontology (CIAO! 2010), held at the DESRIST 2010 conference in St Gallen, Switzerland, on June 4, 2010. Editor(s): Albani, Antonia; Dietz, Jan L. G. Series: Lecture Notes in Business Information Processing. Num Pages: 93 pages, 37 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 8. Weight in Grams: 181.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 93
- Condition
- New
- SKU
- V9783642130472
- ISBN
- 9783642130472
Paperback
Condition: New
€ 68.68
€ 68.68
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
Paperback. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers. Editor(s): Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 393 pages, 145 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642252709
- ISBN
- 9783642252709
Paperback
Condition: New
€ 70.77
€ 70.77
Paperback. Editor(s): Adam, Gheorghe; Busa, Jan; Hnatic, Michal. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 127 black & white illustrations. BIC Classification: PBD; UGK; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642282119
- ISBN
- 9783642282119
Paperback
Condition: New
€ 70.08
€ 70.08
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