Computer programming / software development
Results 2781 - 2800 of 2953
Computer programming / software development
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 70.08
€ 70.08
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. This book features the papers that are organized in topical sections on pattern recognition and machine learning; image analysis; and, image and video information retrieval. Editor(s): Kuznetsov, Sergei O.; Mandal, Deba Prasad; Kundu, Malay K.; Pal, Sankar K. Series: Lecture Notes in Computer Science. Num Pages: 467 pages, 73 black & white illustrations, 72 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642217852
- ISBN
- 9783642217852
Paperback
Condition: New
€ 71.59
€ 71.59
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 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
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
€ 71.17
€ 71.17
Paperback. Constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). Editor(s): Kucera, Antonin; Potapov, Igor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 199 pages, 42 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. 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
- 199
- Condition
- New
- SKU
- V9783642153488
- ISBN
- 9783642153488
Paperback
Condition: New
€ 69.62
€ 69.62
Application and Theory of Petri Nets: 32nd International Conference, P...
. Ed(S): Kristensen, Lars Lyngsgaard Fjord; P...
paperback. Constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. This book addresses issues on research and development in the area of Petri nets and related models of concurrent systems. Editor(s): Kristensen, Lars Lyngsgaard Fjord; Petrucci, L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 107 black & white illustrations, 23 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642218330
- ISBN
- 9783642218330
Paperback
Condition: New
€ 70.27
€ 70.27
Paperback. Constitutes the refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, that was held in collocation with MODELS 2010 in Oslo, Norway in October 2010. Editor(s): Kraemer, Frank Alexander; Herrmann, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 257 pages, 57 black & white illustrations, 58 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216510
- ISBN
- 9783642216510
Paperback
Condition: New
€ 70.08
€ 70.08
Paperback. Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Editor(s): Kowalewski, Stefan; Roveri, Marco. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642158971
- ISBN
- 9783642158971
Paperback
Condition: New
€ 70.08
€ 70.08
New Studies in Global IT and Business Services Outsourcing
. Ed(S): Kotlarsky, Julia; Willcocks, Leslie ...
Paperback. Editor(s): Kotlarsky, Julia; Willcocks, Leslie P.; Oshri, Ilan. Series: Lecture Notes in Business Information Processing. Num Pages: 219 pages, 18 black & white illustrations, 17 colour illustrations, biography. BIC Classification: KJVT; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642248146
- ISBN
- 9783642248146
Paperback
Condition: New
€ 87.16
€ 87.16
Paperback. Constitutes the proceedings of the 16th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Maastricht, The Netherlands, in September 2010. Editor(s): Kolfschoten, Gwendolyn; Herrmann, Thomas A.; Sim, Robert B.; Lukosch, Stephan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 364 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UND; UNF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642157134
- ISBN
- 9783642157134
Paperback
Condition: New
€ 71.33
€ 71.33
Paperback. Constitutes the refereed proceedings of the 3rd International Conference on Advanced Communication and Networking, ACN 2011, held in Brno, Czech Republik, in June 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Robles, Rosslin John; Balitanas, Maricel. Series: Communications in Computer and Information Science. Num Pages: 468 pages, 84 black & white illustrations, 205 colour illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 468
- Condition
- New
- SKU
- V9783642233111
- ISBN
- 9783642233111
Paperback
Condition: New
€ 72.42
€ 72.42
Signal Processing, Image Processing and Pattern Recognition
. Ed(S): Kim, Tai-Hoon; Adeli, Hojjat; Ramos,...
Paperback. Comprises of selected papers of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Ramos, Carlos; Kang, Byeong Ho. Series: Communications in Computer and Information Science. Num Pages: 450 pages, 145 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UKN; UMB; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642271823
- ISBN
- 9783642271823
Paperback
Condition: New
€ 71.95
€ 71.95
Multimedia, Computer Graphics and Broadcasting, Part I: International ...
. Ed(S): Kim, Tai-Hoon; Adeli, Hojjat; Grosky...
paperback. Constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Rothwell, Edward J.; Kang, Byeong Ho; Shin, Seung-Jung. Series: Communications in Computer and Information Science. Num Pages: 424 pages, 76 black & white illustrations, 140 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783642272035
- ISBN
- 9783642272035
Paperback
Condition: New
€ 71.67
€ 71.67
Paperback. Constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Rothwell, Edward J.; Kang, Byeong Ho; Shin, Seung-Jung. Series: Communications in Computer and Information Science. Num Pages: 357 pages, 72 black & white illustrations, 154 colour illustrations, biography. BIC Classification: UML; UNH; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 558.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 357
- Condition
- New
- SKU
- V9783642271854
- ISBN
- 9783642271854
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Comprises of selected papers of the International Conferences, SecTech 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Fang, Wai-Chi; Villalba, Javier Garcia; Arnett, Kirk P.; Khurram Khan, Muhammad. Series: Communications in Computer and Information Science. Num Pages: 252 pages, 30 black & white illustrations, 53 colour illustrations, biography. BIC Classification: UKN; UMB; UNH; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642271885
- ISBN
- 9783642271885
Paperback
Condition: New
€ 70.08
€ 70.08
Database Theory and Application, Bio-Science and Bio-Technology
. Ed(S): Kim, Tai-Hoon; Adeli, Hojjat; Cuzzoc...
Paperback. Comprises of selected papers of the International Conferences, DTA and BSBT 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Cuzzocrea, Alfredo; Arslan, Tughrul; Zhang, Yanchun; Ma, Jianhua; Chung, Kyo-Il; Mariyam, Siti; Song, Xiaofeng; Shamsuddin, Siti Mariyam. Series: Communications in Computer and Information Science. Num Pages: 197 pages, 36 black & white illustrations, 45 colour illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. 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
- Edition
- 2011
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642271564
- ISBN
- 9783642271564
Paperback
Condition: New
€ 70.98
€ 70.98
Paperback. Constitutes the refereed proceedings of the International Conference on Advanced Software Engineering and Its Applications, ASEA 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Kim, Haeng-Kon; Khurram Khan, Muhammad; Kiumi, Akingbehin; Fang, Wai-Chi; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 340 pages, 108 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642175770
- ISBN
- 9783642175770
Paperback
Condition: New
€ 70.98
€ 70.98
Behavioral Specifications of Businesses and Systems
. Ed(S): Kilov, Haim; Rumpe, Bernhard; Simmon...
Hardback. This text covers the reading, writing and understanding of specifications. It describes useful concepts and practices (in programming and in specifications) and solid underlying theory that is of interest to those who deal with complexity of business and systems. Editor(s): Kilov, Haim; Rumpe, Bernhard; Simmonds, Ian. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 315 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 315
- Condition
- New
- SKU
- V9780792386292
- ISBN
- 9780792386292
Hardback
Condition: New
€ 195.52
€ 195.52
Hardback. Encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. This book deals with precise specifications of 'what' is accomplished by the business and 'what' is to be done by a system. Editor(s): Kilov, Haim; Harvey, William. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792397786
- ISBN
- 9780792397786
Hardback
Condition: New
€ 202.59
€ 202.59