Computer programming / software development
Results 1821 - 1840 of 2965
Computer programming / software development
Practical Aspects of Declarative Languages: 14th International Symposi...
. Ed(S): Russo, Claudio; Zhou, Neng-Fa
paperback. Editor(s): Russo, Claudio; Zhou, Neng-Fa. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 304 pages, 75 black & white illustrations, 3 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 304
- Condition
- New
- Edition
- 2012th Edition
- SKU
- V9783642276934
- ISBN
- 9783642276934
Paperback
Condition: New
€ 70.58
€ 70.58
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 70.11
€ 70.11
Paperback. Editor(s): Kannan, Rajkumar; Andres, Frederic. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642278716
- ISBN
- 9783642278716
Paperback
Condition: New
€ 71.17
€ 71.17
Paperback. Constitutes the carefully refereed post-conference proceedings of two International Workshops: Self-Managing Solutions for Smart Environments, S3E 2011; and the workshop on Health and Well-being Technologies and Services for Elderly, HWTS 2011; as well as a Doctoral Colloquium, held in conjunction with, GPC 2011, in Oulu, Finland, in May 2011. Editor(s): Rautiainen, Mika; Korhonen, Timo; Mutafungwa, Edward; Ovaska, Eila; Katasonov, Artem; Evesti, Antti; Ailisto, Heikki; Quigley, Aaron; Hakkila, Jonna; Milic-Frayling, Natasa. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 182 pages, 52 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 182
- Condition
- New
- SKU
- V9783642279157
- ISBN
- 9783642279157
Paperback
Condition: New
€ 87.00
€ 87.00
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 71.34
€ 71.34
Paperback. Constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2012, CT-RSA 2012, held in San Francisco, CA, USA, in February/March 2012. Editor(s): Dunkelman, Orr. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, 85 black & white illustrations, biography. BIC Classification: GPJ; PBD; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783642279539
- ISBN
- 9783642279539
Paperback
Condition: New
€ 71.95
€ 71.95
Paperback. Constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. This title covers such topics as: software and secure systems, machine learning for software systems, and ontology and knowledge representations. Editor(s): Moschitti, Alessandro; Scandariato, Riccardo. Series: Communications in Computer and Information Science. Num Pages: 128 pages, 45 black & white illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 128
- Condition
- New
- SKU
- V9783642280320
- ISBN
- 9783642280320
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. Editor(s): Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783642280375
- ISBN
- 9783642280375
Paperback
Condition: New
€ 70.23
€ 70.23
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrucken, Germany, in September 2011. This title covers various aspects of parameterized and exact computation and complexity. Editor(s): Marx, Daniel; Rossmanith, Peter. Series: Lecture Notes in Computer Science. Num Pages: 273 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642280498
- ISBN
- 9783642280498
Paperback
Condition: New
€ 86.70
€ 86.70
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhubaneswar, India, in February 2012. This title covers theoretical foundations, computational tools, and societal applications. Editor(s): Ramanujam, Ram; Ramaswamy, Srini. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 277 pages, 111 black & white illustrations, biography. BIC Classification: UKN; UM; UNH; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642280726
- ISBN
- 9783642280726
Paperback
Condition: New
€ 88.09
€ 88.09
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. Editor(s): Erlebach, Thomas; Nikoletseas, Sotiris; Orponen, Pekka. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYD; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642282089
- ISBN
- 9783642282089
Paperback
Condition: New
€ 86.44
€ 86.44
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
Statistical Atlases and Computational Models of the Heart
. Ed(S): Camara, Oscar; Konukoglu, E.; Pop, M...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2011, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011. Editor(s): Camara, Oscar; Konukoglu, E.; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Young, Alistair. Series: Lecture Notes in Computer Science. Num Pages: 286 pages, 136 black & white illustrations, 2 colour illustrations, biography. BIC Classification: PSA; UG; UMA; UNH; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642283253
- ISBN
- 9783642283253
Paperback
Condition: New
€ 87.84
€ 87.84
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruna, Spain in March 2012. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 64 black & white illustrations, biography. BIC Classification: J; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642283314
- ISBN
- 9783642283314
Paperback
Condition: New
€ 72.26
€ 72.26
Paperback. Constitutes the refereed proceedings of the 6th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2012, held in Delft, The Netherlands, in March 2012. Editor(s): Kuipers, Fernando A.; Heegaard, Poul E. Series: Lecture Notes in Computer Science. Num Pages: 130 pages, 43 black & white illustrations, biography. BIC Classification: TJK; UKN; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 130
- Condition
- New
- SKU
- V9783642285820
- ISBN
- 9783642285820
Paperback
Condition: New
€ 67.93
€ 67.93
Evolutionary and Biologically Inspired Music, Sound, Art and Design
. Ed(S): Machado, Penousal; Romero, Juan J.; ...
Paperback. Editor(s): Machado, Penousal; Romero, Juan J.; Carballal, Adrian. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UM; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 236 x 150 x 8. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783642291418
- ISBN
- 9783642291418
Paperback
Condition: New
€ 86.49
€ 86.49
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
€ 71.19
€ 71.19
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): Laud, Peeter. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 273 pages, 84 black & white illustrations, biography. BIC Classification: GPJ; UMB; UNH; URY; UYZM. 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
- 273
- Condition
- New
- SKU
- V9783642296147
- ISBN
- 9783642296147
Paperback
Condition: New
€ 86.80
€ 86.80