.png){kind=logo}
Computing
Results 5329 - 5352 of 30856
Computing
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New...
. Ed(S): Kurshan, R. P.; Clarke, E.M.
paperback. This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification. Editor(s): Kurshan, R. P.; Clarke, E.M. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Germany
- Edition
- 1991st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540544777
- ISBN
- 9783540544777
Paperback
Condition: New
€ 71.97
€ 71.97
Modelling and Inverse Problems of Control for Distributed Parameter Sy...
. Ed(S): Kurzhanski, Alexander Sigmund; Lasie...
Paperback. Discusses inverse problems arising in the estimation and control of distributed parameter systems. This text also considers the applications of these techniques to mathematical modelling for problems of applied system analysis including technological and enviromental issues. Editor(s): Kurzhanski, Alexander Sigmund; Lasiecka, Irena. Series: Lecture Notes in Control and Information Sciences. Num Pages: 177 pages, 1 black & white illustrations, biography. BIC Classification: TJFM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 10. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 177
- Condition
- New
- SKU
- V9783540535836
- ISBN
- 9783540535836
Paperback
Condition: New
€ 66.41
€ 66.41
Paperback. Editor(s): Kurzhanski, Alexander Sigmund; Neumann, Klaus; Pallaschke, Diethard. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 298 pages, biography. BIC Classification: GPFC; KCA; KJT; PBKQ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 432.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 298
- Condition
- New
- SKU
- V9783540190530
- ISBN
- 9783540190530
Paperback
Condition: New
€ 128.09
€ 128.09
Paperback. Editor(s): Kushilevitz, Eyal; Malkin, Tal. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, 63 black & white illustrations, biography. BIC Classification: URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783662490952
- ISBN
- 9783662490952
Paperback
Condition: New
€ 130.52
€ 130.52
Paperback. Editor(s): Kushilevitz, Eyal; Malkin, Tal. Series: Lecture Notes in Computer Science. Num Pages: 609 pages, 63 black & white illustrations, biography. BIC Classification: URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 926.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 609
- Condition
- New
- SKU
- V9783662490983
- ISBN
- 9783662490983
Paperback
Condition: New
€ 69.52
€ 69.52
Descriptional Complexity of Formal Systems: 14th International Worksho...
. Ed(S): Kutrib, Martin; Moreira, Nelma; Reis...
paperback. Constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. Editor(s): Kutrib, Martin; Moreira, Nelma; Reis, Rogerio. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 329 pages, 23 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642316227
- ISBN
- 9783642316227
Paperback
Condition: New
€ 67.29
€ 67.29
paperback. Constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering held in France in 2002. The 21 full papers and four tool presentations cover formal frameworks, model and program analysis, architecture descriptions, meta-models and more. Editor(s): Kutsche, Ralf-Detlef; Weber, Herbert. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540433538
- ISBN
- 9783540433538
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Proceedings of the Eighth European Conference on Computer Supported Cooperative Work, 14-18 September 2003, Helsinki, Finland Editor(s): Kuutti, Kari (University of Oulu, Finland); Karsten, Eija Helena (University of Turku, Finland); Fitzpatrick, G.; Dourish, Paul; Schmidt, K. Num Pages: 395 pages, biography. BIC Classification: JHB; UK; UYZG. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 21. Weight in Grams: 648.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 395
- Condition
- New
- SKU
- V9789401039949
- ISBN
- 9789401039949
Paperback
Condition: New
€ 250.68
€ 250.68
Paperback. These are the refereed proceedings of the 5th Pacific Rim International Conference on Multi-Agents, PRIMA 2002, held in Tokyo, Japan in August 2002. Editor(s): Kuwabara, Kazuhiro; Lee, Jaeho. Series: Lecture Notes in Computer Science. Num Pages: 230 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783540440260
- ISBN
- 9783540440260
Paperback
Condition: New
€ 68.98
€ 68.98
Paperback. Editor(s): Kuwahara, Kunio; Mendez, Raul H.; Orszag, Steven A. (Yale University, USA). Series: Lecture Notes in Engineering. Num Pages: 214 pages, 17 black & white illustrations, biography. BIC Classification: PHD; PHDF; TBC; UGC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 11. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1986
- Number of pages
- 214
- Condition
- New
- SKU
- V9783540170518
- ISBN
- 9783540170518
Paperback
Condition: New
€ 127.25
€ 127.25
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007, held in Clermont-Ferrand, France in February 2007. This title presents 19 revised full papers together with 1 invited lecture that were reviewed and selected for inclusion. Editor(s): Kuznetsov, Sergei O.; Schmidt, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783540708285
- ISBN
- 9783540708285
Paperback
Condition: New
€ 71.06
€ 71.06
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Hybrid Learning, ICHL 2011, held in Hong Kong, China, in August 2011. In this book, the topics covered include practices in borderless education, pedagogical issues and practice, organizational frameworks for hybrid learning, and experiences in hybrid learning. Editor(s): Kwan, Reggie; Fong, Joseph Shi Piu; Kwok, Lam-for; Lam, Jeanne. Series: Lecture Notes in Computer Science. Num Pages: 383 pages, biography. BIC Classification: JNV; UGK; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 383
- Condition
- New
- SKU
- V9783642227622
- ISBN
- 9783642227622
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. Constitutes the proceedings of the International Conference on ICT in Teaching and Learning. This title features papers that present research on innovative and effective usage of social networking, multimedia and mobile learning technologies. Editor(s): Kwan, Reggie; McNaught, Carmel; Tsang, Philip; Wang, Fu Lee; Li, Kam Cheong. Series: Communications in Computer and Information Science. Num Pages: 388 pages, biography. BIC Classification: UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783642223822
- ISBN
- 9783642223822
Paperback
Condition: New
€ 67.93
€ 67.93
Hardback. This book sets out an array of new and important research in the field of image processing and analysis. Covering a range of topics, the chapters include a number of case studies as well as some of the most state-of-the-art image analysis methodologies. Editor(s): Kwasnicka, Halina; Jain, Prof. Lakhmi C. Series: Studies in Computational Intelligence. Num Pages: 312 pages, biography. BIC Classification: UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 728.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642179334
- ISBN
- 9783642179334
Hardback
Condition: New
€ 195.88
€ 195.88
Paperback. This book sets out an array of new and important research in the field of image processing and analysis. Covering a range of topics, the chapters include a number of case studies as well as some of the most state-of-the-art image analysis methodologies. Editor(s): Kwasnicka, Halina; Jain, Prof. Lakhmi C. Series: Studies in Computational Intelligence. Num Pages: 332 pages, biography. BIC Classification: TTBM; UYQ; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642267208
- ISBN
- 9783642267208
Paperback
Condition: New
€ 194.46
€ 194.46
Paperback. A collection of papers presented at the International Workshop on Semantics for Concurrency held in July 1990 at Leicester University. The text aims to identify positive objective features of the main approaches to semantics for concurrency, increasing understanding between research groups. Editor(s): Kwiatkowska, Marta Zofia; Shields, M.W.; Thomas, R. Murray. Series: Workshops in Computing. Num Pages: 346 pages, 1 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 170 x 19. Weight in Grams: 614.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540196259
- ISBN
- 9783540196259
Paperback
Condition: New
€ 68.01
€ 68.01
Paperback. Constitutes the refereed proceedings of the 18th Conference on Computer Networks, CN 2011, held in Ustron, Poland, in June 2011. This book features the papers that can be divided into the following subject groups: molecular networks; network issues related to nano and quantum technology; and, applications of computer networks. Editor(s): Kwiecien, Andrzej; Gaj, Piotr; Stera, Piotr. Series: Communications in Computer and Information Science. Num Pages: 478 pages, biography. BIC Classification: UKN; UNH; UR; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 478
- Condition
- New
- SKU
- V9783642217708
- ISBN
- 9783642217708
Paperback
Condition: New
€ 129.49
€ 129.49
Paperback. Editor(s): Kwiecien, Andrzej; Gaj, Piotr; Stera, Piotr. Series: Communications in Computer and Information Science. Num Pages: 612 pages, 242 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 849.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 612
- Condition
- New
- SKU
- V9783642388644
- ISBN
- 9783642388644
Paperback
Condition: New
€ 70.06
€ 70.06
Paperback. Editor(s): Kwon, Soonhak; Yun, Aaram. Series: Lecture Notes in Computer Science. Num Pages: 387 pages, 62 colour illustrations, biography. BIC Classification: UMB; URY; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 387
- Condition
- New
- SKU
- V9783319308395
- ISBN
- 9783319308395
Paperback
Condition: New
€ 67.53
€ 67.53
Paperback. Editor(s): Kwon, Young-Bin; Ogier, Jean-Marc. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 287 pages, 162 black & white illustrations, biography. BIC Classification: UGD; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783642368233
- ISBN
- 9783642368233
Paperback
Condition: New
€ 85.74
€ 85.74
Recent Advances in Nonlinear Dynamics and Synchronization
. Ed(S): Kyamakya, Kyandoghere; Halang, Wolfg...
Hardback. The selected contributions of this book shed light on a series of aspects related to nonlinear dynamics and synchronization with the aim of demonstrating some of their interesting applications in a series of selected disciplines. Editor(s): Kyamakya, Kyandoghere; Halang, Wolfgang A.; Unger, Herwig; Chedjou, Jean Chamberlain; Rulkov, Nikolai F.; Li, Zhong. Series: Studies in Computational Intelligence. Num Pages: 399 pages, 8 black & white tables, biography. BIC Classification: TBC; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1670.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 399
- Condition
- New
- SKU
- V9783642042263
- ISBN
- 9783642042263
Hardback
Condition: New
€ 202.18
€ 202.18
Paperback. Editor(s): Kyburg, Henry E., Jr.; Loui, Ronald P.; Carlson, Greg N. Series: Studies in Cognitive Systems. Num Pages: 452 pages, biography. BIC Classification: CF; HPL; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 23. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 452
- Condition
- New
- SKU
- V9789401067362
- ISBN
- 9789401067362
Paperback
Condition: New
€ 68.32
€ 68.32
Intelligent Monitoring, Control, and Security of Critical Infrastructu...
. Ed(S): Kyriakides, Elias; Polycarpou, Mario...
Hardback. Editor(s): Kyriakides, Elias; Polycarpou, Marios. Series: Studies in Computational Intelligence. Num Pages: 371 pages, 113 black & white illustrations, 31 colour illustrations, biography. BIC Classification: TGPR; TJK; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783662441596
- ISBN
- 9783662441596
Hardback
Condition: New
€ 129.32
€ 129.32
Intelligent Monitoring, Control, and Security of Critical Infrastructu...
. Ed(S): Kyriakides, Elias; Polycarpou, Mario...
Paperback. Editor(s): Kyriakides, Elias; Polycarpou, Marios. Series: Studies in Computational Intelligence. Num Pages: 371 pages, 113 black & white illustrations, 31 colour illustrations, biography. BIC Classification: TGPR; TJK; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 371
- Condition
- New
- SKU
- V9783662511640
- ISBN
- 9783662511640
Paperback
Condition: New
€ 128.19
€ 128.19