Computer programming / software development
Results 2857 - 2880 of 2895
Computer programming / software development
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642156427
- ISBN
- 9783642156427
Paperback
Condition: New
€ 70.73
€ 70.73
Testing: Academic and Industrial Conference - Practice and Research Te...
. Ed(S): Bottaci, Leonardo; Fraser, Gordon
paperback. Constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, that was held in Windsor, UK, in September 2010. Editor(s): Bottaci, Leonardo; Fraser, Gordon. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 82 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642155840
- ISBN
- 9783642155840
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 69.80
€ 69.80
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 68.88
€ 68.88
Hardback. LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This title describes a 5 year project that moved LOTOS out of the ISO tower into software engineering practice. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 488
- Condition
- New
- SKU
- V9780792395294
- ISBN
- 9780792395294
Hardback
Condition: New
€ 211.86
€ 211.86
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. Editor(s): Bolduc, Claude; Desharnais, Jules; Ktari, Bechir. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 427 pages, 57 black & white illustrations, biography. BIC Classification: MJCM; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 427
- Condition
- New
- SKU
- V9783642133206
- ISBN
- 9783642133206
Paperback
Condition: New
€ 70.89
€ 70.89
Hardback. Scientific applications involve large computations that strain the resources of whatever computers are available. This book addresses methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, and the role of object-oriented languages. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 378
- Condition
- New
- SKU
- V9780792373391
- ISBN
- 9780792373391
Hardback
Condition: New
€ 256.74
€ 256.74
Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 69.96
€ 69.96
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): Bloch, Isabelle; Cesar, Roberto Marc...
Paperback. Constitutes the refereed proceedings of the 15th iberoamerican Congress on Pattern Recognition, CIARP 2010, held in Sao Paulo, Brazil, in November 2010. Editor(s): Bloch, Isabelle; Cesar, Roberto Marcond, Jr. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 571 pages, 210 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 880.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 571
- Condition
- New
- SKU
- V9783642166860
- ISBN
- 9783642166860
Paperback
Condition: New
€ 72.54
€ 72.54
Paperback. Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. This book includes the papers that discuss various aspects of object technology and related fields, in particular model-based development, and component-based development. Editor(s): Bishop, Judith; Vallecillo, Antonio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 307 pages, 86 black & white illustrations, 24 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783642219511
- ISBN
- 9783642219511
Paperback
Condition: New
€ 69.96
€ 69.96
Computational Modeling and Problem Solving in the Networked World
. Ed(S): Bhargava, Hermant K.; Ye, Nong
Hardback. Focuses on the reflective and integrative thinking that is critical to contemporary science. This book presents philosophical perspectives on computation, covering a variety of traditional modeling, solving, and explaining mathematical models. It also includes articles that study machine learning and computational heuristics. Editor(s): Bhargava, Hermant K.; Ye, Nong. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 336 pages, biography. BIC Classification: PBW; UGK; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 336
- Condition
- New
- SKU
- V9781402072956
- ISBN
- 9781402072956
Hardback
Condition: New
€ 200.59
€ 200.59
Paperback. Constitutes the proceedings of the Third Conference on Human-Centred Software Engineering (HCSE 2010) held in Reykjavik, Iceland, in October 2010. Editor(s): Bernhaupt, Regina; Forbrig, Peter; Gulliksen, Jan; Larusdottir, Marta Kristin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 223 pages, 90 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642164873
- ISBN
- 9783642164873
Paperback
Condition: New
€ 68.57
€ 68.57
Paperback. Constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake Como, Italy, in February 2011. This book features the papers that are organized in topical sections on customization and application specific accelerators; multi/many-core architectures; and, more. Editor(s): Berekovic, Mladen; Fornaciari, William; Brinkschulte, Uwe; Silvano, Cristina. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 54 black & white illustrations, 60 colour illustrations, biography. BIC Classification: UKN; UKR; UL; UMZ; UND. 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
- 271
- Condition
- New
- SKU
- V9783642191367
- ISBN
- 9783642191367
Paperback
Condition: New
€ 69.50
€ 69.50
Paperback. Constitutes the proceedings of the 10th International Conference on Web Engineering, held in Vienna, Austria, in July 2010. Editor(s): Benatallah, Boualem; Casati, Fabio; Kappel, Gerti; Rossi, Gustavo. Series: Lecture Notes in Computer Science. Num Pages: 528 pages, 231 black & white illustrations, biography. BIC Classification: UKN; UKR; UMWS; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642139109
- ISBN
- 9783642139109
Paperback
Condition: New
€ 135.55
€ 135.55
Paperback. Editor(s): Beckert, Bernhard; Marche, Claude. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 199 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMN; UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 199
- Condition
- New
- SKU
- V9783642180699
- ISBN
- 9783642180699
Paperback
Condition: New
€ 68.74
€ 68.74
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. 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
€ 69.96
€ 69.96
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
€ 70.89
€ 70.89
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