Computer programming / software development
Results 1141 - 1160 of 1981
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, held in Braga, Portugal, in June 2010. Editor(s): Lilius, Johan; Penczek, Wojciech. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 129 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642136740
- ISBN
- 9783642136740
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010. Editor(s): Kuhne, Thomas; Selic, Bran V.; Gervais, Marie-Pierre; Terrier, Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 364 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642135941
- ISBN
- 9783642135941
Paperback
Condition: New
€ 67.80
€ 67.80
Paperback. Contains a selection of the papers presented at the 10th International Workshop on Multi-Agent-Based Simulation (MABS 2009), a workshop co-located with the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), which was held on May 10-15, 2009 in Budapest, Hungary. Editor(s): Tosto, Gennaro di; Parunak, H. Van dyke. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 158 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 158
- Condition
- New
- SKU
- V9783642135521
- ISBN
- 9783642135521
Paperback
Condition: New
€ 65.86
€ 65.86
Paperback. Constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology. Editor(s): Real, Jorge; Vardanega, Tullio. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 65 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642135491
- ISBN
- 9783642135491
Paperback
Condition: New
€ 67.05
€ 67.05
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 67.95
€ 67.95
Paperback. Constitutes the refereed proceedings of the International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Tomar, G.S.; Grosky, William I.; Kim, Tai-hoon; Mohammed, Sabah; Saha, Sanjoy Kumar. Series: Communications in Computer and Information Science. Num Pages: 159 pages, 74 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 159
- Condition
- New
- SKU
- V9783642134661
- ISBN
- 9783642134661
Paperback
Condition: New
€ 67.80
€ 67.80
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. Editor(s): Clarke, Dave; Agha, Gul A. Series: Lecture Notes in Computer Science. Num Pages: 183 pages, 50 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642134135
- ISBN
- 9783642134135
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constitutes the refereed proceedings of the 2nd International Conference on Advanced Communication and Networking, ACN 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Chang, Chin-Cheng; Vasilakos, Thanos; Das, Purnendu; Kim, Tai-hoon; Kang, Byeong Ho; Khurram Khan, Muhammad. Series: Communications in Computer and Information Science. Num Pages: 170 pages, 121 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 170
- Condition
- New
- SKU
- V9783642134043
- ISBN
- 9783642134043
Paperback
Condition: New
€ 66.02
€ 66.02
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
€ 67.49
€ 67.49
Hardback. Series: X.media.press. BIC Classification: UMZ. Dimension: 260 x 193. .
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783642133626
- ISBN
- 9783642133626
Hardback
Condition: New
€ 104.67
€ 104.67
Advanced Computer Science and Information Technology
. Ed(S): Tomar, G.S.; Chang, Ruay-Shiung; Ger...
Paperback. Constitutes the refereed proceedings of the 2nd International Conference on Advanced Science and Technology, AST 2010, held in Miyazaki, Japan, in June 2010. Editor(s): Tomar, G.S.; Chang, Ruay-Shiung; Gervasi, Osvaldo; Kim, Tai-hoon; Bandyopadhyay, Samir Kumar. Series: Communications in Computer and Information Science. Num Pages: 195 pages, 97 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783642133459
- ISBN
- 9783642133459
Paperback
Condition: New
€ 66.46
€ 66.46
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
€ 68.39
€ 68.39
Paperback. This book constitutes the refereed proceedings of the 13th International Symposium on Component-Based Software Engineering, CBSE 2010, held in Prague, Czech Republic, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 48 submissions. Editor(s): Grunske, Lars; Reussner, Ralf; Plasil, Frantisek. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 78 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 253
- Condition
- New
- SKU
- V9783642132377
- ISBN
- 9783642132377
Paperback
Condition: New
€ 67.05
€ 67.05
Paperback. Constitutes the refereed proceedings of the 6th International Workshop on OpenMP, IWOMP 2010, held in Tsukuba City, Japan, in June 2010. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 187 pages, 121 black & white illustrations, biography. BIC Classification: UKG; UKN; UMB; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 231 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
- 187
- Condition
- New
- SKU
- V9783642132162
- ISBN
- 9783642132162
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Editor(s): Ablayev, Farid; Mayr, Ernst W. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 397 pages, 49 black & white illustrations, biography. BIC Classification: UMB; UMC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 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
- 397
- Condition
- New
- SKU
- V9783642131813
- ISBN
- 9783642131813
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Contains selected papers from the workshop of the BioLINK Special Interest Group (SIG) on Linking Literature, Information and Knowledge for Biology. The workshop was held June 28- 29, 2009 at the ISMB/ECCB 2009 conference in Stockholm. Editor(s): Blaschke, Christian. Series: Lecture Notes in Computer Science. Num Pages: 81 pages, 10 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 8. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 81
- Condition
- New
- SKU
- V9783642131301
- ISBN
- 9783642131301
Paperback
Condition: New
€ 114.16
€ 114.16
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
€ 65.42
€ 65.42
Paperback. Constitutes the refereed conference proceedings of the 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, held in Cordoba, Spain, in June 2010. Editor(s): Garcia-Pedrajas, Nicolas; Herrera Triguero, Francisco; Herrera, Francisco; Fyfe, Colin; Benitez, Jose Manuel; Ali, Moonis. Series: Lecture Notes in Computer Science. Num Pages: 680 pages, 205 black & white illustrations, biography. BIC Classification: UKR; UMB; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 975.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 680
- Condition
- New
- SKU
- V9783642130243
- ISBN
- 9783642130243
Paperback
Condition: New
€ 131.70
€ 131.70
paperback. This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec# programming and verification system, multi-core chip design and much more. Editor(s): Muller, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 99 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 189
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642130090
- ISBN
- 9783642130090
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Constituting the thoroughly refereed post-conference proceedings of the twelfth Advances in Computer Games conference held in Spain in 2009, the 20 revised full papers cover topics from Bayesian modeling to incongruity theory and data assurance. Editor(s): Herik, H. Jaap van den; Spronck, Pieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 247 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642129926
- ISBN
- 9783642129926
Paperback
Condition: New
€ 66.70
€ 66.70