Computer science
Results 2041 - 2064 of 2501
Computer science
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 65.93
€ 65.93
Paperback. Constitutes the refereed proceedings of the 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, that was held in Pachuca, Mexico. Editor(s): Sidorov, Grigori; Hernandez Aguirre, Arturo; Reyes-Garcia, Carlos Alberto. Series: Lecture Notes in Computer Science. Num Pages: 515 pages, 200 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 28. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 515
- Condition
- New
- SKU
- V9783642167720
- ISBN
- 9783642167720
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Constitutes the refereed proceedings of the 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, that was held in Pachuca, Mexico. Editor(s): Sidorov, Grigori; Hernandez Aguirre, Arturo; Reyes-Garcia, Carlos Alberto. Series: Lecture Notes in Computer Science. Num Pages: 479 pages, 190 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 479
- Condition
- New
- SKU
- V9783642167607
- ISBN
- 9783642167607
Paperback
Condition: New
€ 69.07
€ 69.07
Exploring the Grand Challenges for Next Generation e-Business
. Ed(S): Sharman, Raj; Rao, H. Raghav (State ...
Paperback. Based on a selection of thoroughly revised and extended best papers from the 8th Workshop on E-Business (WEB 2009) held in Phoenix, AZ, USA, on December 15th, 2009, this title covers the topics such as: Web-based information systems, RFID and supply chain management, process modeling and standardization, and, security and privacy issues. Editor(s): Sharman, Raj; Rao, H. Raghav (State University of New York, Buffalo, USA); Santanam, Raghu T. Series: Lecture Notes in Business Information Processing. Num Pages: 312 pages, 26 black & white illustrations, 33 colour illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642174483
- ISBN
- 9783642174483
Paperback
Condition: New
€ 67.49
€ 67.49
Paperback. A book that constitutes the refereed proceedings of the 10th International Colloquium on Grammatical Inference, ICGI 2010, that was held in Valencia, Spain, in September 2010. Editor(s): Sempere, Jose; Garcia, Pedro L. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 317 pages, 47 black & white illustrations, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642154874
- ISBN
- 9783642154874
Paperback
Condition: New
€ 67.49
€ 67.49
Bioinformatics Using Computational Intelligence Paradigms
. Ed(S): Seiffert, Udo; Jain, L. C.; Schweize...
Hardback. Editor(s): Seiffert, Udo; Jain, L. C.; Schweizer, Patric. Series: Studies in Fuzziness and Soft Computing. Num Pages: 211 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 493.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 211
- Condition
- New
- SKU
- V9783540229018
- ISBN
- 9783540229018
Hardback
Condition: New
€ 126.13
€ 126.13
Enterprise Systems. Strategic, Organizational, and Technological Dimen...
. Ed(S): Sedera, Darshana; Gronau, Norbert; S...
Paperback. Editor(s): Sedera, Darshana; Gronau, Norbert; Sumner, Mary. Series: Lecture Notes in Business Information Processing. Num Pages: 289 pages, 74 black & white illustrations, biography. BIC Classification: JPP; KJQ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 289
- Condition
- New
- SKU
- V9783319175867
- ISBN
- 9783319175867
Paperback
Condition: New
€ 63.81
€ 63.81
Paperback. Providing students with a clear introduction to discrete-event systems, petri nets, automata and max-plus algebra, this volume includes industrial case studies for a rounded assessment of problems in control and fault diagnosis for distributed systems. Editor(s): Seatzu, Carla; Silva, Manuel; Schuppen, Jan H. van. Series: Lecture Notes in Control and Information Sciences. Num Pages: 504 pages, 192 black & white illustrations, 9 black & white tables, biography. BIC Classification: GPFC; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 504
- Condition
- New
- SKU
- V9781447142751
- ISBN
- 9781447142751
Paperback
Condition: New
€ 176.87
€ 176.87
Multimodal Pattern Recognition of Social Signals in Human-Computer-Int...
. Ed(S): Schwenker, Friedhelm; Morency, Louis...
Paperback. Editor(s): Schwenker, Friedhelm; Morency, Louis-Philippe. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 153 pages, 75 black & white illustrations, biography. BIC Classification: UBJ; UNH; UYQ; UYQP; UYT; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 153
- Condition
- New
- SKU
- V9783319148984
- ISBN
- 9783319148984
Paperback
Condition: New
€ 52.08
€ 52.08
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642244513
- ISBN
- 9783642244513
Paperback
Condition: New
€ 83.27
€ 83.27
Hardback. Editor(s): Schneegass, Stefan; Amft, Oliver. Series: Human-Computer Interaction Series. Num Pages: 396 pages, 64 black & white illustrations, 135 colour illustrations, 141 colour tables, biography. BIC Classification: TJFD; UBH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 821.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 396
- Condition
- New
- SKU
- V9783319501239
- ISBN
- 9783319501239
Hardback
Condition: New
€ 231.20
€ 231.20
Model-Driven Architecture - Foundations and Applications
. Ed(S): Schieferdecker, Ina; Hartman, Alan
Paperback. Editor(s): Schieferdecker, Ina; Hartman, Alan. Series: Lecture Notes in Computer Science. Num Pages: 459 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783540690955
- ISBN
- 9783540690955
Paperback
Condition: New
€ 150.88
€ 150.88
Proceedings of the Second International Conference on Computer and Com...
. Ed(S): Satapathy, Suresh Chandra; Raju, K. ...
Paperback. Editor(s): Satapathy, Suresh Chandra; Raju, K. Srujan; Mandal, Jyotsna Kumar; Bhateja, Vikrant. Series: Advances in Intelligent Systems and Computing. Num Pages: 831 pages, 388 black & white illustrations, 141 black & white tables, biography. BIC Classification: UNF; UT; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 42. Weight in Grams: 1252.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 831
- Condition
- New
- SKU
- V9788132225164
- ISBN
- 9788132225164
Paperback
Condition: New
€ 242.58
€ 242.58
Information Systems Design and Intelligent Applications
. Ed(S): Satapathy, Suresh Chandra; Mandal, J...
Paperback. Editor(s): Satapathy, Suresh Chandra; Mandal, Jyotsna Kumar; Udgata, Siba K.; Bhateja, Vikrant. Series: Advances in Intelligent Systems and Computing. Num Pages: 773 pages, 314 black & white illustrations, 149 black & white tables, 190 colour tables, biography. BIC Classification: 1FKA; TTBM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 39. Weight in Grams: 1169.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 773
- Condition
- New
- SKU
- V9788132227533
- ISBN
- 9788132227533
Paperback
Condition: New
€ 242.10
€ 242.10
Paperback. Editor(s): Sano, Kentaro; Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece); Hubner, Michael; Diniz, Pedro C. Series: Lecture Notes in Computer Science. Num Pages: 575 pages, 257 black & white illustrations, biography. BIC Classification: UMB; UNH; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 575
- Condition
- New
- SKU
- V9783319162133
- ISBN
- 9783319162133
Paperback
Condition: New
€ 66.22
€ 66.22
Paperback. Editor(s): Sankaranarayanan, Sriram; Vicario, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 90 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319229744
- ISBN
- 9783319229744
Paperback
Condition: New
€ 64.15
€ 64.15
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): San Martin, Cesar; Kim, Sang-Woon
Paperback. Editor(s): San Martin, Cesar; Kim, Sang-Woon. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 721 pages, 127 black & white illustrations, 146 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 721
- Condition
- New
- SKU
- V9783642250842
- ISBN
- 9783642250842
Paperback
Condition: New
€ 70.83
€ 70.83
Paperback. Constitutes the refereed proceedings of the First International Workshop on Human Behavior Understanding, HBU 2010, a satellite workshop of the International Conference on Pattern Recognition in Istanbul, Turkey, on August 22, 2010. Editor(s): Salah, Albert Ali; Gevers, Theo; Sebe, Nicu; Vinciarelli, Alessandro. Series: Lecture Notes in Computer Science. Num Pages: 173 pages, 45 black & white illustrations, biography. BIC Classification: UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642147142
- ISBN
- 9783642147142
Paperback
Condition: New
€ 66.17
€ 66.17
Paperback. Using computing power to analyze human behavior will generate advanced applications in many arenas. This comprehensive guide covers key concepts, details frequently used algorithms and techniques, and discusses examples of real-life applications. Editor(s): Salah, Albert Ali; Gevers, Theo. Num Pages: 412 pages, biography. BIC Classification: J; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 412
- Condition
- New
- SKU
- V9781447159490
- ISBN
- 9781447159490
Paperback
Condition: New
€ 65.33
€ 65.33
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets and belief functions, rough and fuzzy clustering techniques, as well as applications to gene selection, web page recommendation systems, facial recognition, and temporal pattern detection. Editor(s): Sakai, Hiroshi; Chakraborty, Mihir; Slezak, Dominik; Hassanien, Aboul-Ella; Zhu, William. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, black & white illustrations, colour illustrations, black & white tables, figures, bibliog. BIC Classification: UYA; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642215629
- ISBN
- 9783642215629
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Editor(s): Sachs, E.W. (Universitat Trier, Germany); Tichatschke, Rainer. Series: IFIP Advances in Information and Communication Technology. Num Pages: 338 pages, biography. BIC Classification: GPFC; PBKQ; PBU; PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 338
- Condition
- New
- SKU
- V9781475766691
- ISBN
- 9781475766691
Paperback
Condition: New
€ 122.55
€ 122.55
Multi-Modality Atherosclerosis Imaging and Diagnosis
. Ed(S): Saba, Luca; Sanches, Joao Miguel; Pe...
Paperback. This book fuses results of different imaging modalities to provide enhanced information about atherosclerotic plaque, improving the accuracy of the diagnosis. Covers new algorithms based on 3- and 4-D Ultrasound, and progress in plaque image fusion analysis. Editor(s): Saba, Luca; Sanches, Joao Miguel; Pedro, Luis Mendes; Suri, Jasjit S. Num Pages: 441 pages, 122 black & white illustrations, 208 colour illustrations, 64 black & white tables, biogr. BIC Classification: MJD; MMPH; UYT. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 23. Weight in Grams: 1087.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 441
- Condition
- New
- SKU
- V9781493942893
- ISBN
- 9781493942893
Paperback
Condition: New
€ 241.64
€ 241.64
Paperback. Editor(s): Ruyter, Boris de; Wichert, Reiner; Keyson, David V.; Markopoulos, Panos; Streitz, Norbert A.; Divitini, Monica; Georgantas, Nikolaos; Gomez, Antonio Mana. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci. Num Pages: 371 pages. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. .
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642169168
- ISBN
- 9783642169168
Paperback
Condition: New
€ 65.96
€ 65.96