Computer programming / software development
Results 3261 - 3280 of 4205
Computer programming / software development
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
€ 66.88
€ 66.88
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
€ 66.58
€ 66.58
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
€ 63.71
€ 63.71
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
€ 65.01
€ 65.01
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
€ 81.24
€ 81.24
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
€ 81.48
€ 81.48
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
€ 64.06
€ 64.06
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
€ 80.99
€ 80.99
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
€ 65.70
€ 65.70
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
€ 81.24
€ 81.24
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
€ 67.73
€ 67.73
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
€ 63.69
€ 63.69
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
€ 81.04
€ 81.04
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 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
€ 81.33
€ 81.33
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
€ 81.33
€ 81.33
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "Second International Conference on Game Theory for Networks" (GameNets 2011) held in Shanghai, China, April 16-18, 2011. Editor(s): Jain, Rahul; Kannan, Rajgopal; Vasilakos, Thanos. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 676 pages, 155 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 38. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 676
- Condition
- New
- SKU
- V9783642303722
- ISBN
- 9783642303722
Paperback
Condition: New
€ 128.31
€ 128.31
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "7th International ICST Conference on Broadband Communications, Networks and Systems" (BROADNETS 2010) held in October 2010 in Athens, Greece. Editor(s): Tomkos, Ioannis; Ellinas, Georgios; Sinha, Prasun. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 550 pages, 245 black & white illustrations, biography. BIC Classification: TJK; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 550
- Condition
- New
- SKU
- V9783642303753
- ISBN
- 9783642303753
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Mobile Networks and Managements (MONAMI 2011) held in Aveiro, Portugal, in September 2011. Editor(s): Pentikousis, Kostas; Aguiar, Rui L.; Sargento, Susana; Aguero, Ramon. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 418 pages, 155 black & white illustrations, biography. BIC Classification: UMB; UMZ; UNH; UT. 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
- 418
- Condition
- New
- SKU
- V9783642304217
- ISBN
- 9783642304217
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012. Editor(s): Furia, Carlo A.; Nanz, Sebastian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642305603
- ISBN
- 9783642305603
Paperback
Condition: New
€ 66.01
€ 66.01