.png){kind=logo}
Computing
Results 26521 - 26540 of 28794
Computing
Hardback. The contributors here offer a concise vision of semantic knowledge management, ranging from knowledge acquisition to knowledge integration, and their applications in domains such as telecommunications, social networks and legal information processing. Editor(s): Davies, John; Grobelnik, Marko; Mladenic, Dunja. Num Pages: 252 pages, 20 black & white tables, biography. BIC Classification: UKR; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540888444
- ISBN
- 9783540888444
Hardback
Condition: New
€ 67.72
€ 67.72
Paperback. The contributors here offer a concise vision of semantic knowledge management, ranging from knowledge acquisition to knowledge integration, and their applications in domains such as telecommunications, social networks and legal information processing. Editor(s): Davies, John Francis; Grobelnik, Marko; Mladenic, Dunja. Num Pages: 252 pages, 20 black & white tables, biography. BIC Classification: UB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642100284
- ISBN
- 9783642100284
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, that was held in Natal, Brazil, in November 2010. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems. Editor(s): Davies, Jim; Silva, Leila; Simao, Adenilso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 299 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642198281
- ISBN
- 9783642198281
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Davies, G.; Stacey, Elizabeth (Deakin University, Burwood, Victoria, Australia). Series: IFIP Advances in Information and Communication Technology. Num Pages: 304 pages, biography. BIC Classification: UB; UYQ; UYZM; YQT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 304
- Condition
- New
- SKU
- V9781475710397
- ISBN
- 9781475710397
Paperback
Condition: New
€ 128.00
€ 128.00
Paperback. Constitutes the postproceedings of the 9th International Workshop on Multi-Agent-based Simulation, MABS 2008, held in Estoril, Portugal, in May 2008. This title contains sections on simulation of economic behaviour; modelling and simulation of social behaviour; applications; and, techniques, infrastructure and technologies. Editor(s): David, Nuno; Sichman, Jaime Simao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, biography. BIC Classification: GPFC; J; UGK; UKN; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642019906
- ISBN
- 9783642019906
Paperback
Condition: New
€ 66.97
€ 66.97
Socio-Technical Design of Ubiquitous Computing Systems
. Ed(S): David, Klaus; Geihs, Kurt; Leimeiste...
Paperback. Editor(s): David, Klaus; Geihs, Kurt; Leimeister, Jan Marco; Rossnagel, Alexander; Schmidt, Ludger; Stumme, Gerd; Wacker, Arno. Num Pages: 363 pages, 49 black & white illustrations, 26 colour illustrations, biography. BIC Classification: UBJ; UMZ; UR; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 363
- Condition
- New
- SKU
- V9783319353609
- ISBN
- 9783319353609
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Eine Veranstaltung der Gesellschaft fur Informatik (GI) unter Beteiligung der Informationstechnischen Gesellschaft (ITG/VDE). Ausgerichtet von der Universitat Kassel. Editor(s): David, Klaus; Geihs, Kurt. Series: Informatik Aktuell. Num Pages: 338 pages, biography. BIC Classification: UG; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 338
- Condition
- New
- SKU
- V9783540926658
- ISBN
- 9783540926658
Paperback
Condition: New
€ 138.18
€ 138.18
Paperback. Editor(s): David, Jean-Marc; Krivine, Jean-Paul; Simmons, Reid. Num Pages: 764 pages, 12 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 39. Weight in Grams: 1308.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 764
- Condition
- New
- SKU
- V9783642779299
- ISBN
- 9783642779299
Paperback
Condition: New
€ 133.41
€ 133.41
Paperback. Editor(s): David, Esther; Robu, Valentin; Shehory, Onn; Stein, Sebastian; Symeonidis, Andreas L. Series: Lecture Notes in Business Information Processing. Num Pages: 141 pages, 36 black & white illustrations, biography. BIC Classification: KJE; UB; UF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 213.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 141
- Condition
- New
- SKU
- V9783642348884
- ISBN
- 9783642348884
Paperback
Condition: New
€ 61.41
€ 61.41
Agent-Mediated Electronic Commerce. Designing Trading Strategies and M...
. Ed(S): David, Esther; Larson, Kate; Rogers,...
Paperback. Editor(s): David, Esther; Larson, Kate; Rogers, Alex; Shehory, Onn; Stein, Sebastian. Series: Lecture Notes in Business Information Processing. Num Pages: 155 pages, 26 black & white illustrations, biography. BIC Classification: JPP; KJQ; UF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 229.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 155
- Condition
- New
- SKU
- V9783642341991
- ISBN
- 9783642341991
Paperback
Condition: New
€ 61.44
€ 61.44
Agent-Mediated Electronic Commerce. Designing Trading Strategies and M...
. Ed(S): David, Esther; Kiekintveld, Christop...
paperback. Editor(s): David, Esther; Kiekintveld, Christopher; Robu, Valentin; Shehory, Onn; Stein, Sebastian. Series: Lecture Notes in Business Information Processing. Num Pages: 173 pages, 44 black & white illustrations, biography. BIC Classification: JPP; KJQ; UF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642408632
- ISBN
- 9783642408632
Paperback
Condition: New
€ 61.41
€ 61.41
Hardback. Editor(s): Davendra, Donald; Zelinka, Ivan. Series: Studies in Computational Intelligence. Num Pages: 307 pages, 87 black & white illustrations, 41 colour illustrations, biography. BIC Classification: PBU; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 307
- Condition
- New
- SKU
- V9783319281599
- ISBN
- 9783319281599
Hardback
Condition: New
€ 128.75
€ 128.75
Paperback. Editor(s): Davcev, Danco; Marx Gomez, Jorge. Num Pages: 474 pages, 52 black & white tables, biography. BIC Classification: TJK; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 474
- Condition
- New
- SKU
- V9783642425776
- ISBN
- 9783642425776
Paperback
Condition: New
€ 251.13
€ 251.13
hardcover. Includes the proceedings of the ICT Innovations conference 2009 held in Ohrid, Macedonia. This title focuses on issues concerning various ICT fields: multimedia information systems, artificial intelligence, pervasive and ubiquitous computing, eco and bio informatics, wireless and mobile communications and services, and computer networks. Editor(s): Davcev, Danco; Gomez, Jorge Marx. Num Pages: 462 pages, 52 black & white tables, biography. BIC Classification: TJK; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 1870.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 462
- Condition
- New
- SKU
- V9783642107801
- ISBN
- 9783642107801
Hardback
Condition: New
€ 258.67
€ 258.67
paperback. Editor(s): Datta, Rituparna; Deb, Kalyanmoy. Series: Infosys Science Foundation Series. Num Pages: 335 pages, 72 black & white illustrations, 39 colour illustrations, 39 black & white tables, biograp. BIC Classification: PBU; TGB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer, India, Private Ltd India
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 335
- Condition
- New
- SKU
- V9788132235057
- ISBN
- 9788132235057
Paperback
Condition: New
€ 127.85
€ 127.85
Paperback. Constitutes the proceedings of the Third International Conference on Social Informatics, SocInfo 2011, held in Singapore in October 2011. This title includes sections on: network analysis; eGovernance and knowledge management; applications of network analysis; community dynamics; case studies; trust, privacy and security; and, peer-production. Editor(s): Datta, Anwitaman; Shulman, Stuart; Zheng, Baihua; Lin, Shou-De; Sun, Aixin; Lim, Ee-Peng. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 359 pages, biography. BIC Classification: UKN; UNF; UNH; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 519.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642247033
- ISBN
- 9783642247033
Paperback
Condition: New
€ 67.60
€ 67.60
Paperback. Editor(s): Dastani, Mehdi; Sirjani, Marjan. Series: Lecture Notes in Computer Science. Num Pages: 327 pages, 80 colour illustrations, biography. BIC Classification: UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 327
- Condition
- New
- SKU
- V9783319246437
- ISBN
- 9783319246437
Paperback
Condition: New
€ 66.97
€ 66.97
Specification and Verification of Multi-Agent Systems
. Ed(S): Dastani, Mehdi; Hindriks, Koen V.; M...
Hardback. Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more. Editor(s): Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Ch. Num Pages: 422 pages, biography. BIC Classification: UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 165 x 31. Weight in Grams: 762.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 422
- Condition
- New
- SKU
- V9781441969835
- ISBN
- 9781441969835
Hardback
Condition: New
€ 202.30
€ 202.30
Languages, Methodologies, and Development Tools for Multi-Agent System...
. Ed(S): Dastani, Mehdi; El Fallah Seghrouchn...
Paperback. Constitutes the refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010 that was held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. Editor(s): Dastani, Mehdi; El Fallah Seghrouchni, Amal; Hubner, Jomi Fred; Leite, Joao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 162 pages, biography. BIC Classification: UM; UNH; UY; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 252.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 162
- Condition
- New
- SKU
- V9783642227226
- ISBN
- 9783642227226
Paperback
Condition: New
€ 82.27
€ 82.27
Artificial Intelligence and Evolutionary Computations in Engineering S...
. Ed(S): Dash, Subhransu Sekhar; Vijayakumar,...
Paperback. Editor(s): Dash, Subhransu Sekhar; Vijayakumar, K.; Panigrahi, Bijaya Ketan; Das, Swagatam. Series: Advances in Intelligent Systems and Computing. Num Pages: 889 pages, 149 black & white illustrations, 306 colour illustrations, 301 colour tables, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 889
- Condition
- New
- SKU
- V9789811031731
- ISBN
- 9789811031731
Paperback
Condition: New
€ 432.12
€ 432.12