Computer programming / software development
Results 1981 - 1981 of 1981
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
€ 68.68
€ 68.68
Hardback. Editor(s): Garcia Marquez, Fausto Pedro; Lev, Benjamin. Num Pages: 267 pages, 69 black & white illustrations, 38 colour illustrations, biography. BIC Classification: KJQ; UMB; UNA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 611.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 267
- Condition
- New
- SKU
- V9783319454979
- ISBN
- 9783319454979
Hardback
Condition: New
€ 185.31
€ 185.31
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. The 9th issue of the Transactions on Computational Science journal is devoted to the subject of Voronoi diagrams in science and engineering. The papers constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams 2009. Editor(s): Gavrilova, Marina; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 203 pages, 87 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642160066
- ISBN
- 9783642160066
Paperback
Condition: New
€ 66.02
€ 66.02
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, 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): Giannakopoulou, Dimitra; Orejas, Fernando. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 131 black & white illustrations, 41 colour illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. 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
- 464
- Condition
- New
- SKU
- V9783642198106
- ISBN
- 9783642198106
Paperback
Condition: New
€ 66.88
€ 66.88
Model-Based Engineering of Embedded Real-Time Systems
. Ed(S): Giese, Holger; Karsai, Gabor; Lee, E...
Paperback. Describes novel and advanced approaches to solving problems arising in the domain of embedded real-time systems. This title is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Editor(s): Giese, Holger; Karsai, Gabor; Lee, Edward A.; Rumpe, Bernhard; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 400 pages, 94 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642162763
- ISBN
- 9783642162763
Paperback
Condition: New
€ 68.15
€ 68.15
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Mobile Computing, Applications, and Services (MobiCASE 2010) held in Santa Clara, CA, USA, during October 25-28, 2010. Editor(s): Griss, Martin; Yang, Guang. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 430 pages, 170 black & white illustrations, biography. BIC Classification: UMZ; UT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642293351
- ISBN
- 9783642293351
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Constitutes the proceedings of the 15th European Symposium on Computer Security held in Athens, Greece in September 2010. Editor(s): Gritzalis, Dimitris; Preneel, Bart; Theoharidou, Marianthi. Series: Lecture Notes in Computer Science. Num Pages: 718 pages, 163 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 718
- Condition
- New
- SKU
- V9783642154966
- ISBN
- 9783642154966
Paperback
Condition: New
€ 132.14
€ 132.14
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
Bioinspired Models of Network, Information, and Computing Systems
. Ed(S): Hayel, Yezekael; Hart, Emma; El-Azou...
Paperback. Constitutes the refereed post-conference proceedings of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). Editor(s): Hayel, Yezekael; Hart, Emma; El-Azouzi, Rachid; Carrera, Iacopo; Altman, Eitan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 203 pages, 79 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 239 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
- 203
- Condition
- New
- SKU
- V9783642128073
- ISBN
- 9783642128073
Paperback
Condition: New
€ 66.46
€ 66.46
Paperback. Constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. Editor(s): Heng, Swee-Huay; Kurosawa, Kaoru. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642162794
- ISBN
- 9783642162794
Paperback
Condition: New
€ 67.12
€ 67.12
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
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 116.23
€ 116.23
Paperback. Constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011 that was held in Sao Carlos, Brazil. Editor(s): Hruschka, Estevam Rafael; Watada, Junzo; Carmo Nicoletti, Maria. Series: Communications in Computer and Information Science. Num Pages: 177 pages, 28 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UM; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 177
- Condition
- New
- SKU
- V9783642222467
- ISBN
- 9783642222467
Paperback
Condition: New
€ 64.29
€ 64.29
Advanced Intelligent Computing. Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the proceedings of the 6th International Conference on Advanced Intelligent Computing, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); McGinnity, Martin; Heutte, Laurent; Zhang, Xiao-Ping. Series: Communications in Computer and Information Science. Num Pages: 580 pages, 243 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642148309
- ISBN
- 9783642148309
Paperback
Condition: New
€ 130.82
€ 130.82
Advanced Intelligent Computing Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Intelligent Computing, ICIC 2010, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Zhao, Zhongming; Bevilacqua, Vitoantonio; Figueroa, Juan Carlos. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 689 pages, 268 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 689
- Condition
- New
- SKU
- V9783642149214
- ISBN
- 9783642149214
Paperback
Condition: New
€ 131.85
€ 131.85
Business Process Management: 8th International Conference, BPM 2010, H...
. Ed(S): Hull, Richard; Mendling, Jan; Tai, S...
paperback. Constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA, in September 2010. Editor(s): Hull, Richard; Mendling, Jan; Tai, Stefan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 359 pages, 140 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642156175
- ISBN
- 9783642156175
Paperback
Condition: New
€ 67.95
€ 67.95
Information Processing and Management of Uncertainty in Knowledge-base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 136 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 764
- Condition
- New
- SKU
- V9783642140549
- ISBN
- 9783642140549
Paperback
Condition: New
€ 132.59
€ 132.59