Computing
Results 8833 - 8855 of 8855
Computing
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
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.08
€ 70.08
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
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.03
€ 71.03
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
€ 71.50
€ 71.50
Database Systems for Advanced Applications: 15th International Confere...
. Ed(S): Kitagawa, Hiroyuki; Ishikawa, Yoshih...
paperback. Includes the refereed proceedings of the 15th International Conference on Database Systems for Advanced Applications, DASFAA 2010, held in Tsukuba, Japan, in April 2010. This book contains sections on P2P-based technologies, data mining technologies, XML search and matching, graphs, spatial databases, XML technologies, and query processing. Editor(s): Kitagawa, Hiroyuki; Ishikawa, Yoshiharu; Li, Qing; Watanabe, Chiemi. Series: Lecture Notes in Computer Science. Num Pages: 485 pages, 256 black & white illustrations, biography. BIC Classification: UG; UKR; UND; UNF; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 748.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 485
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642120978
- ISBN
- 9783642120978
Paperback
Condition: New
€ 135.08
€ 135.08
Design and Analysis of Distributed Embedded Systems
. Ed(S): Kleinjohann, Bernd; Kim, K.H.; Klein...
Hardback. Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication. Editor(s): Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim. Series: IFIP Advances in Information and Communication Technology. Num Pages: 298 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9781402071560
- ISBN
- 9781402071560
Hardback
Condition: New
€ 199.87
€ 199.87
Hardback. This text brings together contributions and up-to-date research results in this fast-moving area. It serves as a reference, providing insight into some of the most challenging research issues in the field. Editor(s): Kohavi, Ronny; Provost, Foster. Num Pages: 153 pages, biography. BIC Classification: KNP; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 11. Weight in Grams: 880.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2
- Number of pages
- 153
- Condition
- New
- SKU
- V9780792373032
- ISBN
- 9780792373032
Hardback
Condition: New
€ 130.58
€ 130.58
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
€ 70.42
€ 70.42
Knowledge-Based and Intelligent Information and Engineering Systems
. Ed(S): Konig, Andreas; Dengel, Andreas; Hin...
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2011, held in Kaiserslautern, Germany, in September 2011. Editor(s): Konig, Andreas; Dengel, Andreas; Hinkelmann, Knut; Kise, Koichi; Howlett, Robert J.; Jain, Prof. Lakhmi C. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 653 pages, 145 black & white illustrations, 228 colour illustrations, biography. BIC Classification: UKN; UNF; UNH; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 653
- Condition
- New
- SKU
- V9783642238536
- ISBN
- 9783642238536
Paperback
Condition: New
€ 73.04
€ 73.04
Hardback. This text presents a variety of specific approaches to achieving dependability at the application level. These approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Editor(s): Koob, Gary M.; Lau, Clifford. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 214 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 214
- Condition
- New
- SKU
- V9780792394853
- ISBN
- 9780792394853
Hardback
Condition: New
€ 198.50
€ 198.50
Hardback. This text explores the system infrastructure needed to support various paradigms. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating-system level are presented. Editor(s): Koob, Gary M.; Lau, Clifford. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 321 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 321
- Condition
- New
- SKU
- V9780792394860
- ISBN
- 9780792394860
Hardback
Condition: New
€ 200.59
€ 200.59
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
€ 86.04
€ 86.04
Hardback. Editor(s): Koubaa, Anis; Khelil, Abdelmajid. Series: Studies in Computational Intelligence. Num Pages: 231 pages, 92 black & white illustrations, 31 colour illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642550287
- ISBN
- 9783642550287
Hardback
Condition: New
€ 133.40
€ 133.40
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
€ 69.19
€ 69.19
Paperback. Editor(s): Kozielski, Stanislaw; Mrozek, Dariusz; Kasprowski, Pawel; Malysiak-Mrozek, Bozena; Kostrzewa, Daniel. Series: Communications in Computer and Information Science. Num Pages: 630 pages, 184 black & white illustrations, biography. BIC Classification: UNF; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 630
- Condition
- New
- SKU
- V9783319184210
- ISBN
- 9783319184210
Paperback
Condition: New
€ 69.71
€ 69.71
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
€ 69.19
€ 69.19
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 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
€ 137.70
€ 137.70
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
€ 68.74
€ 68.74
Hardback. Addresses the environmental impacts and management of computers through a set of analyses on issues ranging from environmental assessment, technologies for recycling, consumer behaviour, strategies of computer manufacturing firms, and government policies. Editor(s): Kuehr, Ruediger (United Nations University, Zero Emissions Forum, European Focal Point, Hamburg, Germany); Williams, Eric (United Nations University, Environmental and Sustainable Development Programme, Tokyo, Japan). Series: Eco-Efficiency in Industry & Science. Num Pages: 285 pages, biography. BIC Classification: RNP; UBJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 285
- Condition
- New
- SKU
- V9781402016790
- ISBN
- 9781402016790
Hardback
Condition: New
€ 73.34
€ 73.34
Paperback. Addresses the environmental impacts and management of computers through a set of analyses on issues ranging from environmental assessment, technologies for recycling, consumer behaviour, strategies of computer manufacturing firms, and government policies. Editor(s): Kuehr, Ruediger (United Nations University, Zero Emissions Forum, European Focal Point, Hamburg, Germany); Williams, Eric (United Nations University, Environmental and Sustainable Development Programme, Tokyo, Japan). Series: Eco-Efficiency in Industry & Science. Num Pages: 285 pages, biography. BIC Classification: RNP; UBJ. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 523.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 285
- Condition
- New
- SKU
- V9781402016806
- ISBN
- 9781402016806
Paperback
Condition: New
€ 70.04
€ 70.04
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
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