Computing
Results 281 - 300 of 6775
Computing
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
€ 65.88
€ 65.88
Paperback. Constitutes the refereed proceedings of the 19th International Symposium on Methodologies for Intelligent Systems, ISMIS 2011, held in Warsaw, Poland, in June 2011. This book features the papers that are organized in topical sections on rough sets, social networks, multi-agent systems, and contest on music information retrieval. Editor(s): Kryszkiewicz, Marzena; Rybinski, Henryk; Skowron, Andrzej; Ras, Zbigniew W. Series: Lecture Notes in Computer Science. Num Pages: 746 pages, 117 black & white illustrations, 100 colour illustrations, biography. BIC Classification: UNF; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1134.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 746
- Condition
- New
- SKU
- V9783642219153
- ISBN
- 9783642219153
Paperback
Condition: New
€ 128.88
€ 128.88
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
€ 64.43
€ 64.43
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
€ 65.88
€ 65.88
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
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
Advances in Artificial Intelligence - IBERAMIA 2010
. Ed(S): Kuri-Morales, Angel; Simari, Guiller...
Paperback. Constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahia Blanca, Argentina, in November 2010. Editor(s): Kuri-Morales, Angel; Simari, Guillermo R. Series: Lecture Notes in Computer Science. Num Pages: 604 pages, 174 black & white illustrations, biography. BIC Classification: UGK; UKR; UYQL; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 33. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 604
- Condition
- New
- SKU
- V9783642169519
- ISBN
- 9783642169519
Paperback
Condition: New
€ 127.50
€ 127.50
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
€ 67.11
€ 67.11
Research and Advanced Technology for Digital Libraries
. Ed(S): Lalmas, Mounia; Jose, Joemon M. (Uni...
Paperback. Constitutes the proceedings of the 14th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2010, held in Glasgow, UK, in September 2010. Editor(s): Lalmas, Mounia; Jose, Joemon M. (University of Glasgow); Rauber, Andreas; Sebastiani, Roberto; Frommholz, Ingo. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 573 pages, 140 black & white illustrations, biography. BIC Classification: GL; UG; UKR; UND; UNF; UY. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 30. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 573
- Condition
- New
- SKU
- V9783642154638
- ISBN
- 9783642154638
Paperback
Condition: New
€ 68.03
€ 68.03
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
€ 64.86
€ 64.86
Frontiers in Algorithms: 4th International Workshop, FAW 2010, Wuhan, ...
. Ed(S): Lee, D. T.; Chen, Danny Z.; Ying, Sh...
paperback. Constitutes the refereed proceedings of the 4th International Frontiers of Algorithmics Workshop, FAW 2010, held in Wuhan, China, in August 2010. Editor(s): Lee, D. T.; Chen, Danny Z.; Ying, Shi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 339 pages, 74 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642145520
- ISBN
- 9783642145520
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Constitutes the refereed proceedings of the Second International Workshop on Spoken Dialogue Systems, IWDS 2010, that was held in Gotemba, Japan. Editor(s): Lee, Gary Geunbae; Mariani, Joseph; Minker, Wolfgang; Nakamura, Satoshi. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 199 pages, 65 black & white illustrations, biography. BIC Classification: UG; UKR; UND; UYQP; UYQS; UYZ. Category: (P) Professional & Vocational. Dimension: 236 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
- V9783642162015
- ISBN
- 9783642162015
Paperback
Condition: New
€ 64.43
€ 64.43
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011, held in Daejeon, Korea, in September 2011. Editor(s): Lee, Geuk; Howard, Daniel; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 789 pages, 195 black & white illustrations, 309 colour illustrations, biography. BIC Classification: UKN; UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 789
- Condition
- New
- SKU
- V9783642240812
- ISBN
- 9783642240812
Paperback
Condition: New
€ 128.77
€ 128.77
Paperback. A two volume set that constitutes the refereed proceedings of the 17th International Conference on Database Systems for Advanced Applications, DASFAA 2012, held in Busan, South Korea, in April 2012. Editor(s): Lee, Sang-Goo; Peng, Zhiyong; Zhou, Xiaofang; Moon, Yang-Sae; Unland, Rainer; Yoo, Jaesoo. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 595 pages, 250 black & white illustrations, biography. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 595
- Condition
- New
- SKU
- V9783642290374
- ISBN
- 9783642290374
Paperback
Condition: New
€ 65.58
€ 65.58
Hardback. This volume shows how assembly and manufacturing technologies have evolved along with advances in enabling technologies, and how the emergence of complex micro/nano system products has dictated the development of new assembly and manufacturing technologies. Editor(s): Lee, Sukhan; Suarez, Raul; Choi, Byung Wook. Num Pages: 294 pages, biography. BIC Classification: TBN; TDP; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 160 x 18. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783642141157
- ISBN
- 9783642141157
Hardback
Condition: New
€ 189.83
€ 189.83
Paperback. Comprises selected papers of the Second International Conference on Future Generation Information Technology, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Lee, Young Hoon; Kang, Byeong Ho; Slezak, Dominik. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 414 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 41. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783642175688
- ISBN
- 9783642175688
Paperback
Condition: New
€ 128.91
€ 128.91
Paperback. Constitutes the refereed proceedings of HCI in Work and Learning, Life and Leisure, held as the 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2010, in Klagenfurt, Austria, in November 2010. Editor(s): Leitner, Gerhard; Hitz, Martin; Holzinger, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 532 pages, 144 black & white illustrations, biography. BIC Classification: MBP; UKN; UKR; UND; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 231 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
- 532
- Condition
- New
- SKU
- V9783642166068
- ISBN
- 9783642166068
Paperback
Condition: New
€ 67.60
€ 67.60
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. Editor(s): Leuken, Rene van; Sicard, Gilles. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 260 pages, 77 black & white illustrations, 53 colour illustrations, biography. BIC Classification: TJFC; UKN; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783642177514
- ISBN
- 9783642177514
Paperback
Condition: New
€ 65.15
€ 65.15
Paperback. Constitutes the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2010, and the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, held in Wuxi, China, in September 2010. Editor(s): Li, Kang; Jia, Li; Sun, Xin; Fei, Minrui; Irwin, G. W. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 719 pages, 305 black & white illustrations, biography. BIC Classification: PSA; UY. Category: (P) Professional & Vocational. Dimension: 231 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
- 719
- Condition
- New
- SKU
- V9783642156144
- ISBN
- 9783642156144
Paperback
Condition: New
€ 128.31
€ 128.31
Paperback. Constitutes the refereed proceedings of the 5th International Workshop on Medical Imaging and Augmented Reality, MIAR 2010, held in Beijing, China, in September 2010. Editor(s): Liao, Hongen; Edwards, Peter J.; Pan, Xiaochuan; Fan, Yong; Yang, Guang-Zhong. Series: Lecture Notes in Computer Science. Num Pages: 573 pages, 271 black & white illustrations, biography. BIC Classification: MMP; UGK; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 573
- Condition
- New
- SKU
- V9783642156984
- ISBN
- 9783642156984
Paperback
Condition: New
€ 67.88
€ 67.88