Computing
Results 13393 - 13412 of 13412
Computing
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Editor(s): Bultan, Tevfik; Hsiung, Pao-Ann. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642243714
- ISBN
- 9783642243714
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Editor(s): Bunde, Armin; Havlin, Shlomo. Num Pages: 316 pages, 62 black & white illustrations, 33 colour illustrations, biography. BIC Classification: PHS; PHU; PHVN; TGM; UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 17. Weight in Grams: 791.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 316
- Condition
- New
- SKU
- V9783662117798
- ISBN
- 9783662117798
Paperback
Condition: New
€ 66.09
€ 66.09
Paperback. Editor(s): Bungartz, Hans-Joachim; Weinzierl, Tobias. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 252 pages, 36 black & white illustrations, 81 colour illustrations, 40 black & white tables, 10 colo. BIC Classification: PBKS; PDE; PHU; TBJ; UGK; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 252
- Condition
- New
- SKU
- V9783662513729
- ISBN
- 9783662513729
Paperback
Condition: New
€ 121.39
€ 121.39
Hardback. This collection of contributions from leading researchers in the field of natural language processing technology details their recent work which includes new techniques as well as results. It focuses on dependency parsing, domain adaptation, and deep parsing. Editor(s): Bunt, Harry; Merlo, Paola; Nivre, Joakim. Series: Text, Speech and Language Technology. Num Pages: 298 pages, biography. BIC Classification: CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1340.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 298
- Condition
- New
- SKU
- V9789048193516
- ISBN
- 9789048193516
Hardback
Condition: New
€ 127.37
€ 127.37
Paperback. Editor(s): Bunt, Harry; Nijholt, Anton. Series: Text, Speech and Language Technology. Num Pages: 282 pages, biography. BIC Classification: CFK; CFX; UYQL; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 282
- Condition
- New
- SKU
- V9789048155798
- ISBN
- 9789048155798
Paperback
Condition: New
€ 121.92
€ 121.92
Paperback. The computer recognition systems are one of the promising directions in artificial intelligence. This book contains a collection of 78 selected articles. It includes the following sections: Biometrics; Features, learning and classifiers; Image processing and computer vision; Knowledge acquisition based on reasoning methods; and, more. Editor(s): Burduk, Robert; Kurzynski, Marek; Wozniak, Michal; Zolnierek, Andrzej. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 796 pages, 324 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1177.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 796
- Condition
- New
- SKU
- V9783642203190
- ISBN
- 9783642203190
Paperback
Condition: New
€ 357.92
€ 357.92
Information Technology in Bio- and Medical Informatics
. Ed(S): Bursa, Miroslav; Khuri, Sami; Renda,...
Paperback. Editor(s): Bursa, Miroslav; Khuri, Sami; Renda, M. Elena. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 125 pages, 44 black & white illustrations, biography. BIC Classification: PSA; UBH; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 207.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 125
- Condition
- New
- SKU
- V9783642400926
- ISBN
- 9783642400926
Paperback
Condition: New
€ 81.80
€ 81.80
Paperback. This book explores challenges in the development and integration of complex heterogeneous systems, including both hardware and software components. The book examines interfaces between platform providers and users defined by technical requirements, design methodology, standards, and by business context and relationships. Editor(s): Burton, Mark; Morawiec, Adam. Num Pages: 100 pages, biography. BIC Classification: TJFC; UGK; UK; UYD; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 186.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 100
- Condition
- New
- SKU
- V9789400790582
- ISBN
- 9789400790582
Paperback
Condition: New
€ 121.80
€ 121.80
Hardback. In this thorough review of cutting-edge methods in law-enforcement data mining, the authors bring the latest research on artificial intelligence to life with chapters on key neural network developments in law enforcement that make criminality more foreseeable. Editor(s): Buscema, Massimo; Tastle, William J. Num Pages: 518 pages, biography. BIC Classification: JHBC; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 518
- Condition
- New
- SKU
- V9789400749139
- ISBN
- 9789400749139
Hardback
Condition: New
€ 240.53
€ 240.53
Intelligent Data Mining in Law Enforcement Analytics
. Ed(S): Buscema, Paolo Massimo; Tastle, Will...
Paperback. In this thorough review of cutting-edge methods in law-enforcement data mining, the authors bring the latest research on artificial intelligence to life with chapters on key neural network developments in law enforcement that make criminality more foreseeable. Editor(s): Buscema, Paolo Massimo; Tastle, William J. Num Pages: 536 pages, biography. BIC Classification: JHBC; PBWH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 536
- Condition
- New
- SKU
- V9789400796010
- ISBN
- 9789400796010
Paperback
Condition: New
€ 239.40
€ 239.40
Paperback. Editor(s): Bustince, Humberto; Fernandez Gonziyylez, Javier; Mesiar, Radko; Calvo, Sanchez Tomasa. Series: Advances in Intelligent Systems and Computing. Num Pages: 568 pages, 56 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783642391644
- ISBN
- 9783642391644
Paperback
Condition: New
€ 239.70
€ 239.70
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
€ 66.88
€ 66.88
Paperback. Editor(s): Butts, Jonathan; Shenoi, Sujeet (Center for Information Security, University of Tulsa, USA). Series: IFIP Advances in Information and Communication Technology. Num Pages: 294 pages, 86 colour illustrations, biography. BIC Classification: UR. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 294
- Condition
- New
- SKU
- V9783662526163
- ISBN
- 9783662526163
Paperback
Condition: New
€ 63.74
€ 63.74
Paperback / so. Editor(s): Buziek, Gerd; Dransch, Doris; Rase, Wolf-Dieter. Num Pages: black & white illustrations, bibliography. BIC Classification: JPQB; RBG; RG; RPC; TBC; TJF; UG; UYM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 13. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642630477
- ISBN
- 9783642630477
Paperback
Condition: New
€ 79.37
€ 79.37
Hardback. Written by leading experts in the field, this book brings together the most recent concepts, advances, challenges and ideas associated with intelligent modelling and simulation frameworks, tools and applications. Editor(s): Byrski, Aleksander; Oplatkova, Zuzana; Carvalho, Marco; Dorohnicki, Marek Kisiel. Series: Studies in Computational Intelligence. Num Pages: 368 pages, biography. BIC Classification: UGK; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642288876
- ISBN
- 9783642288876
Hardback
Condition: New
€ 187.93
€ 187.93
Paperback. Written by leading experts in the field, this book brings together the most recent concepts, advances, challenges and ideas associated with intelligent modelling and simulation frameworks, tools and applications. Editor(s): Byrski, Aleksander; Oplatkova, Zuzana; Carvalho, Marco; Kisiel-Dorohinicki, Marek. Series: Studies in Computational Intelligence. Num Pages: 368 pages, biography. BIC Classification: TBJ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642447433
- ISBN
- 9783642447433
Paperback
Condition: New
€ 185.83
€ 185.83
Logic Programming and Nonmonotonic Reasoning: 12th International Confe...
. Ed(S): Cabalar, Pedro; Son, Tran Cao
paperback. Editor(s): Cabalar, Pedro; Son, Tran Cao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 588 pages, 70 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642405631
- ISBN
- 9783642405631
Paperback
Condition: New
€ 66.65
€ 66.65
Intelligent Networking, Collaborative Systems and Applications
. Ed(S): Caballe, Santi; Xhafa, Fatos; Abraha...
Hardback. Social network analysis investigates the structure and dynamics of intelligent Web-based networking and collaborative systems. This volume covers the latest advances in the field that lead to competitive advantages in business and academia. Editor(s): Caballe, Santi; Xhafa, Fatos; Abraham, Ajith. Series: Studies in Computational Intelligence. Num Pages: 317 pages, biography. BIC Classification: PHS; TBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 701.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642167928
- ISBN
- 9783642167928
Hardback
Condition: New
€ 186.53
€ 186.53
Intelligent Networking, Collaborative Systems and Applications
. Ed(S): Caballe, Santi; Xhafa, Fatos; Abraha...
Paperback. Social network analysis investigates the structure and dynamics of intelligent Web-based networking and collaborative systems. This volume covers the latest advances in the field that lead to competitive advantages in business and academia. Editor(s): Caballe, Santi; Xhafa, Fatos; Abraham, Ajith. Series: Studies in Computational Intelligence. Num Pages: 317 pages, biography. BIC Classification: PHS; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 317
- Condition
- New
- SKU
- V9783642265914
- ISBN
- 9783642265914
Paperback
Condition: New
€ 186.33
€ 186.33
Paperback. Constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. This book addresses such topics as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies. Editor(s): Cabot, Jordi; Visser, Eelco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 52 black & white illustrations, 42 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642217319
- ISBN
- 9783642217319
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Editor(s): Cacciabue, Carlo; Hjalmdahl, Magnus; Luedtke, Andreas; Riccioli, Costanza. Num Pages: 399 pages, 100 black & white tables, biography. BIC Classification: JM; TRC; TRP; UGK; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Verlag Italy
- Number of pages
- 399
- Condition
- New
- SKU
- V9788847055889
- ISBN
- 9788847055889
Paperback
Condition: New
€ 197.37
€ 197.37
Hardback. Editor(s): Cacciabue, Pietro C.; Hjalmdahl, Magnus; Luedtke, Andreas; Riccioli, Costanza. Num Pages: 390 pages, 100 black & white tables, biography. BIC Classification: JM; TRC; TTDS; UGK; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 765.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Verlag Italy
- Number of pages
- 390
- Condition
- New
- SKU
- V9788847018204
- ISBN
- 9788847018204
Hardback
Condition: New
€ 241.06
€ 241.06
Hardback. Evolution, Complexity and Artificial Life Editor(s): Cagnoni, Stefano; Mirolli, Marco; Villani, Marco. Num Pages: 297 pages, 59 black & white illustrations, 38 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 613.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 297
- Condition
- New
- SKU
- V9783642375767
- ISBN
- 9783642375767
Hardback
Condition: New
€ 64.54
€ 64.54
Paperback. This book includes chapters from leading scientists in the fields of artificial life, complex systems, and evolutionary computing. The contributions identify both fundamental theoretical issues and state-of-the-art real-world applications. Editor(s): Cagnoni, Stefano; Mirolli, Marco; Villani, Marco. Num Pages: 297 pages, 59 black & white illustrations, 38 colour illustrations, biography. BIC Classification: GPFC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 297
- Condition
- New
- SKU
- V9783662513286
- ISBN
- 9783662513286
Paperback
Condition: New
€ 63.77
€ 63.77