Computer science
Results 1177 - 1200 of 1882
Computer science
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abdulla, Parosh Aziz; Leino, K. Rust...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642198342
- ISBN
- 9783642198342
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Agents and Artificial Intelligence, ICAART 2010, that was held in Valencia, Spain, in January 2010. Editor(s): Filipe, Joaquim; Fred, Ana; Sharp, Bernadette. Series: Communications in Computer and Information Science. Num Pages: 251 pages, 58 black & white illustrations, 58 colour illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642198892
- ISBN
- 9783642198892
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Presents the research that intends to gain an understanding of what computation is, to find better models of computation, and to look for various computing devices inspired by the structure and/or functioning of natural or societal systems. Editor(s): Kelemen, Jozef; Kelemenova, Alica. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 13 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 156 x 237 x 13. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642199998
- ISBN
- 9783642199998
Paperback
Condition: New
€ 65.10
€ 65.10
Paperback. Editor(s): Obaidat, Mohammad S.; Filipe, Joaquim. Series: Communications in Computer and Information Science. Num Pages: 359 pages, 85 black & white illustrations, 37 colour illustrations, biography. BIC Classification: KJE; UKN; UMB; UMX; URY; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642200762
- ISBN
- 9783642200762
Paperback
Condition: New
€ 66.40
€ 66.40
Hardback. With the aid of this book, the reader will learn everything about the self-organization of behavior in robots that is known today. Many of the results are presented here for the first time. This work opens a new field of research. Series: Cognitive Systems Monographs. Num Pages: 355 pages, biography. BIC Classification: PBW; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 160 x 20. Weight in Grams: 690.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 355
- Condition
- New
- SKU
- V9783642202520
- ISBN
- 9783642202520
Hardback
Condition: New
€ 126.37
€ 126.37
Advances in Power Electronics and Instrumentation Engineering
. Ed(S): Das, Vinu V.; Thankachan, Nessy; Deb...
Paperback. Constitutes the refereed proceedings of the Second International Conference on Advances in Power Electronics and Instrumentation Engineering, PEIE 2011, that was held at Nagpur, India. Editor(s): Das, Vinu V.; Thankachan, Nessy; Debnath, Narayan C. Series: Communications in Computer and Information Science. Num Pages: 146 pages, 94 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UK; UMB; UMZ; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 146
- Condition
- New
- SKU
- V9783642204982
- ISBN
- 9783642204982
Paperback
Condition: New
€ 63.79
€ 63.79
Paperback. Constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2011, that was held in Torino, Italy, colocated with the Evo 2011 events. Editor(s): Chio, Cecilia di; Cagnoni, Stefano; Cotta, Carlos; Ebner, Marc; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Merelo, Juan Julian; Neri, Ferrante; Preuss, Mike; Richter, Hendrik. Series: Lecture Notes in Computer Science. Num Pages: 367 pages, 76 black & white illustrations, 57 colour illustrations, biography. BIC Classification: UG; UKN; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 367
- Condition
- New
- SKU
- V9783642205248
- ISBN
- 9783642205248
Paperback
Condition: New
€ 66.69
€ 66.69
Functional Imaging and Modeling of the Heart: 6th International Confer...
. Ed(S): Metaxas, Dimitris N.; Axel, Leon
paperback. Constitutes the proceedings of the 6th International Conference on Functional Imaging and Modeling of the Heart, that was held in New York City, NY, USA. Editor(s): Metaxas, Dimitris N.; Axel, Leon. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 29 black & white illustrations, 189 colour illustrations, biography. BIC Classification: MJD; MMP; PSA; UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 439
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642210273
- ISBN
- 9783642210273
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 65.10
€ 65.10
Advances in Wireless, Mobile Networks and Applications
. Ed(S): Al-Majeed, Salah S.; Hu, Chih-Lin; N...
Paperback. Editor(s): Al-Majeed, Salah S.; Hu, Chih-Lin; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 317 pages, 75 black & white illustrations, 30 black & white tables, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642211522
- ISBN
- 9783642211522
Paperback
Condition: New
€ 66.10
€ 66.10
Frontiers in Algorithmics and Algorithmic Aspects in Information and M...
. Ed(S): Atallah, Mikhail J.; Li, Xiang-Yang;...
Paperback. Editor(s): Atallah, Mikhail J.; Li, Xiang-Yang; Zhu, Binhai. Series: Lecture Notes in Computer Science. Num Pages: 390 pages, 65 black & white illustrations, 20 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642212031
- ISBN
- 9783642212031
Paperback
Condition: New
€ 66.69
€ 66.69
Paperback. Editor(s): Dingel, Juergen; Solberg, Arnor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 416 pages, 79 black & white illustrations, 70 colour illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZM. 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
- Number of pages
- 416
- Condition
- New
- SKU
- V9783642212093
- ISBN
- 9783642212093
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Heyden, Anders; Kahl, Fredrik. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 809 pages, 140 black & white illustrations, 270 colour illustrations, biography. BIC Classification: UG; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 809
- Condition
- New
- SKU
- V9783642212260
- ISBN
- 9783642212260
Paperback
Condition: New
€ 203.20
€ 203.20
Software Process Improvement and Capability Determination
. Ed(S): O'Connor, Rory; Rout, Terry; McCaffe...
Paperback. Editor(s): O'Connor, Rory; Rout, Terry; McCaffery, Fergal; Dorling, Alec. Series: Communications in Computer and Information Science. Num Pages: 247 pages, 21 black & white illustrations, 46 colour illustrations, biography. BIC Classification: PSA; UBJ; UKN; UMB; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642212321
- ISBN
- 9783642212321
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Editor(s): Vitria, Jordi; Sanches, Joao Miguel; Hernandez, Mario. Series: Lecture Notes in Computer Science. Num Pages: 754 pages, 114 black & white illustrations, 197 colour illustrations, biography. BIC Classification: UGD; UML; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 754
- Condition
- New
- SKU
- V9783642212567
- ISBN
- 9783642212567
Paperback
Condition: New
€ 129.80
€ 129.80
Coordination, Organizations, Institutions, and Norms in Agent Systems ...
. Ed(S): Vos, Marina De; Fornara, Nicoletta; ...
paperback. Constitutes the reviewed joint postprocessings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2010, held in Toronto, Canada in May 2010 and COIN@MALLOW 2010, held in Lyon, France in August 2010. Editor(s): Vos, Marina de; Fornara, Nicoletta; Pitt, Jeremy V.; Vouros, George A. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 377 pages, 40 black & white illustrations, 52 colour illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642212673
- ISBN
- 9783642212673
Paperback
Condition: New
€ 66.54
€ 66.54
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, that was held in Edinburgh, UK. Editor(s): Romanovsky, Alexander; Vardanega, Tullio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 27 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. 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
- 227
- Condition
- New
- SKU
- V9783642213373
- ISBN
- 9783642213373
Paperback
Condition: New
€ 65.24
€ 65.24
Multidisciplinary Information Retrieval: Second Information Retrieval ...
. Ed(S): Hanbury, Allan; Rauber, Andreas; Vri...
paperback. Constitutes the proceedings of the Second Information Retrieval Facility Conference, IRFC 2011, held in Vienna, Austria. Editor(s): Hanbury, Allan; Rauber, Andreas; Vries, Arjen P., de. Series: Lecture Notes in Computer Science. Num Pages: 149 pages, 17 black & white illustrations, 9 colour illustrations, biography. BIC Classification: UKN; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 149
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642213526
- ISBN
- 9783642213526
Paperback
Condition: New
€ 64.81
€ 64.81
Hardback. Constitutes the refereed proceedings of the IFIP WG 8.2 Working Conference 'Researching the Future', Future IS 2011, that was held in Turku, Finland, in June 2011. The 17 revised full papers presented together with 4 panels and workshops were carefully reviewed and selected from numerous submissions. Editor(s): Chiasson, Mike; Henfridsson, Ola; Karsten, Helena; DeGross, Janice. Series: IFIP Advances in Information and Communication Technology. Num Pages: 327 pages, biography. BIC Classification: UBJ; UKN; UNH; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 660.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642213632
- ISBN
- 9783642213632
Hardback
Condition: New
€ 66.84
€ 66.84
Hardback. Includes papers that are selected from the submissions to the 15th International Forum on Advanced Microsystems for Automotive Applications (AMAA 2011) 'Smart Systems for Electric, Safe and Networked Mobility'. Editor(s): Meyer, Gereon; Valldorf, Jurgen. Series: VDI-Buch. Num Pages: 357 pages, biography. BIC Classification: TJFM; TRC; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 357
- Condition
- New
- SKU
- V9783642213809
- ISBN
- 9783642213809
Hardback
Condition: New
€ 310.97
€ 310.97
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 67.27
€ 67.27
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback. Constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. This title features the papers that are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, and variability analysis and ADLs. Editor(s): France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F. (University of York). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 396 pages, 147 black & white illustrations, 65 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642214691
- ISBN
- 9783642214691
Paperback
Condition: New
€ 66.84
€ 66.84