Computer science
Results 12337 - 12360 of 16991
Computer science
Hardback. An account of adaptive evolvable systems operating in a changing environment. The proposed component approach for the design of evolvable systems, the mathematical theory of evolvable machines, and the idea of virtual reconfigurable circuits have opened a way towards an understanding of evolvable systems. Series: Natural Computing Series. Num Pages: 211 pages, biography. BIC Classification: UYF. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 234 x 156 x 12. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 211
- Condition
- New
- SKU
- V9783540403777
- ISBN
- 9783540403777
Hardback
Condition: New
€ 67.64
€ 67.64
Paperback. Series: Natural Computing Series. Num Pages: 211 pages, biography. BIC Classification: UMB; UYQE; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 211
- Condition
- New
- SKU
- V9783642621963
- ISBN
- 9783642621963
Paperback
Condition: New
€ 63.19
€ 63.19
Paperback. Series: Technologien fur die Intelligente Automation. Num Pages: 210 pages, 69 black & white illustrations, 43 colour illustrations, biography. BIC Classification: TBJ; UKN; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 168. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 1st ed. 2017
- Number of pages
- 210
- Condition
- New
- SKU
- V9783662546499
- ISBN
- 9783662546499
Paperback
Condition: New
€ 63.18
€ 63.18
paperback. Constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. Editor(s): Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: PBC; UMA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642216909
- ISBN
- 9783642216909
Paperback
Condition: New
€ 63.55
€ 63.55
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 425 pages, biography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642033377
- ISBN
- 9783642033377
Paperback
Condition: New
€ 65.15
€ 65.15
Paperback. This interdisciplinary book defines reachability in the stochastic framework, covering such concepts as stochastic reachability based on Markov process theory; martingale methods; stochastic reachability as an optimal stopping problem and dynamic programming. Series: Communications and Control Engineering. Num Pages: 268 pages, 1 black & white tables, biography. BIC Classification: GPFC; TJFM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 268
- Condition
- New
- SKU
- V9781447162094
- ISBN
- 9781447162094
Paperback
Condition: New
€ 122.28
€ 122.28
Hardback. As well as providing an introduction to risk analysis in general, this study looks at a particular approach known as CORAS, a model-driven method for defensive risk analysis featuring a tool-supported modelling language specially designed to model risks. Num Pages: 460 pages, biography. BIC Classification: KJMV1; KJMV6; TGPR; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 24. Weight in Grams: 826.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642123221
- ISBN
- 9783642123221
Hardback
Condition: New
€ 67.08
€ 67.08
Paperback. As well as providing an introduction to risk analysis in general, this study looks at a particular approach known as CORAS, a model-driven method for defensive risk analysis featuring a tool-supported modelling language specially designed to model risks. Num Pages: 460 pages, biography. BIC Classification: KJMV6; TGPR; UR; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642447013
- ISBN
- 9783642447013
Paperback
Condition: New
€ 65.62
€ 65.62
Paperback. Series: Network and Systems Management. Num Pages: 303 pages, biography. BIC Classification: UKN; UMZ; UYQ; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 17. Weight in Grams: 588.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 303
- Condition
- New
- SKU
- V9781475782448
- ISBN
- 9781475782448
Paperback
Condition: New
€ 185.81
€ 185.81
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvia, Mallorca, Spain, in September 2008. This title includes papers that cover issues in cooperative design, visualization, and engineering. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, biography. BIC Classification: UGC; UKN; UKR; UL; UMZ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783540880103
- ISBN
- 9783540880103
Paperback
Condition: New
€ 112.88
€ 112.88
Paperback. Constitutes the refereed proceedings of the International Symposium on Information and Automation, ISIA 2010, that was held in Guangzhou, China, in November 2010. The symposium provides a forum for researchers, educators, engineers, and government officials to present and discuss their research results. Editor(s): Qi, Luo. Series: Communications in Computer and Information Science. Num Pages: 777 pages, biography. BIC Classification: UGN; UKN; UNF; URY; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1175.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 777
- Condition
- New
- SKU
- V9783642198526
- ISBN
- 9783642198526
Paperback
Condition: New
€ 127.14
€ 127.14
Paperback. Constitutes the refereed proceedings of the International conference on Parallel and Distributed Computing and Networks, PDCN 2011 that was held in Chongqing, China, in December 2010. Editor(s): Qi, Luo. Series: Communications in Computer and Information Science. Num Pages: 131 pages, biography. BIC Classification: UKN; UTR; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 131
- Condition
- New
- SKU
- V9783642227059
- ISBN
- 9783642227059
Paperback
Condition: New
€ 62.75
€ 62.75
hardcover. Num Pages: 157 pages, 41 black & white illustrations, biography. BIC Classification: UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 409.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer United States
- Edition
- 2013th Edition
- Number of pages
- 157
- Condition
- New
- SKU
- V9781461472018
- ISBN
- 9781461472018
Hardback
Condition: New
€ 122.01
€ 122.01
Stability and Stabilization of Infinite Dimensional Systems with Appli...
Luo, Zheng-Hua; Guo, Bao-Zhu; Morgul, Omer
Hardback. Reports on achievements in stability and feedback stabilization of infinite systems. This book focuses on second order partial differential equations, which arise from vibration control of flexible robot arms and large space structures. It is aimed at those who are familiar with basic theorems of functional analysis. Series: Communications and Control Engineering. Num Pages: 416 pages, biography. BIC Classification: TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 769.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 416
- Condition
- New
- SKU
- V9781852331245
- ISBN
- 9781852331245
Hardback
Condition: New
€ 277.32
€ 277.32
Hardcover. Alternative techniques and tools for analyzing biomolecular networks With the recent rapid advances in molecular biology, high-throughput experimental methods have resulted in enormous amounts of data that can be used to study biomolecular networks in living organisms. Series: Wiley Series in Bioinformatics. Num Pages: 388 pages, Illustrations. BIC Classification: PS; UY. Category: (P) Professional & Vocational. Dimension: 238 x 161 x 24. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 388
- Condition
- New
- SKU
- V9780470243732
- ISBN
- 9780470243732
Hardback
Condition: New
€ 143.43
€ 143.43
Paperback. Constitutes papers organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load balancing; high performance architectures and compilers; parallel and distributed databases; grid and cluster computing; peer-to-peer computing; and distributed systems and algorithms. Series: Lecture Notes in Computer Science. Num Pages: 992 pages, biography. BIC Classification: UKR; UMZ; UN; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1496.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 992
- Condition
- New
- SKU
- V9783540854500
- ISBN
- 9783540854500
Paperback
Condition: New
€ 128.37
€ 128.37
Paperback. Editor(s): Wang, Lusheng. Series: Lecture Notes in Computer Science. Num Pages: 793 pages, 161 black & white illustrations, biography. BIC Classification: PBKS; UKN; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1223.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 793
- Condition
- New
- SKU
- V9783319487489
- ISBN
- 9783319487489
Paperback
Condition: New
€ 68.19
€ 68.19
Paperback / so. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: UG; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 16. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Vieweg+Teubner Verlag United Kingdom
- Condition
- New
- SKU
- V9783663001355
- ISBN
- 9783663001355
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Num Pages: 290 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2. Aufl. 1989
- Number of pages
- 290
- Condition
- New
- SKU
- V9783528163020
- ISBN
- 9783528163020
Paperback
Condition: New
€ 80.49
€ 80.49
Hardback. Reinforcement learning has evolved to tackle domains that are yet to be fully understood, or are too complex for a closed description. In this book the author investigates whether suitable abstraction methods can overcome the discipline's deficiencies. Series: Cognitive Technologies. Num Pages: 174 pages, biography. BIC Classification: TJFM; UYQM. Category: (P) Professional & Vocational. Dimension: 239 x 161 x 17. Weight in Grams: 446.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783642165894
- ISBN
- 9783642165894
Hardback
Condition: New
€ 122.03
€ 122.03
Paperback. Reinforcement learning has evolved to tackle domains that are yet to be fully understood, or are too complex for a closed description. In this book the author investigates whether suitable abstraction methods can overcome the discipline's deficiencies. Series: Cognitive Technologies. Num Pages: 174 pages, biography. BIC Classification: TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783642266003
- ISBN
- 9783642266003
Paperback
Condition: New
€ 121.59
€ 121.59
Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013 ed.
- Condition
- New
- SKU
- V9789400753006
- ISBN
- 9789400753006
Hardback
Condition: New
€ 142.96
€ 142.96
Hardback. Num Pages: black & white illustrations, bibliography. BIC Classification: AKP; JF; KJMV3; PDX; TBD; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 22. Weight in Grams: 721.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783642281426
- ISBN
- 9783642281426
Hardback
Condition: New
€ 113.84
€ 113.84
Paperback. Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples. Series: Lecture Notes in Computer Science. Num Pages: 150 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 8. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540528371
- ISBN
- 9783540528371
Paperback
Condition: New
€ 64.11
€ 64.11