Computing
Results 901 - 920 of 28632
Computing
Paperback. The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath. Editor(s): Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: PBW; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540664635
- ISBN
- 9783540664635
Paperback
Condition: New
€ 71.66
€ 71.66
Paperback. This text presents the proceedings of the 8th International Conference on Discrete Geometry for Computer Imagery. The papers discuss topics including discrete objects and shapes, planes, surfaces, reconstruction, topology, distance and object recognition, thinning, discretization and visualization. Editor(s): Bertrand, Gilles; Couprie, Michel; Perroton, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, biography. BIC Classification: PBM; PBP; UYA; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783540656852
- ISBN
- 9783540656852
Paperback
Condition: New
€ 73.81
€ 73.81
Paperback. This anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification. Editor(s): Bertrand, Gilles; Imiya, Atsushi; Klette, Reinhard. Series: Lecture Notes in Computer Science. Num Pages: 472 pages, biography. BIC Classification: PBM; UG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783540430797
- ISBN
- 9783540430797
Paperback
Condition: New
€ 73.45
€ 73.45
Paperback. Editor(s): Besacier, Laurent; Dediu, Adrian Horia; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 296 pages, 68 black & white illustrations, biography. BIC Classification: UNF; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 296
- Condition
- New
- SKU
- V9783319113968
- ISBN
- 9783319113968
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback. Editor(s): Bessani, Alysson; Bouchenak, Sara. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 88 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 233
- Condition
- New
- SKU
- V9783319191287
- ISBN
- 9783319191287
Paperback
Condition: New
€ 66.16
€ 66.16
Digital Cities, Information Technologies for Social Capital - Cross-Cu...
. Ed(S): Besselaar, Peter Van Den; Koizumi, S...
Paperback. Editor(s): Besselaar, Peter van den; Koizumi, Satoshi. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 450 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783540253310
- ISBN
- 9783540253310
Paperback
Condition: New
€ 73.21
€ 73.21
Communities and Technologies 2005: Proceedings of the Second Communiti...
. Ed(S): Besselaar, Peter Van Den; Michelis, ...
hardcover. Includes 23 papers dealing with the impact of modern information and communication technologies that support a variety of communities. This book includes chapters that discuss how communities are affected by technologies, and how understanding of the way that communities function can be used in improving information systems design. Editor(s): Besselaar, Peter van den; Michelis, Giorgio De; Preece, Jenny; Simone, Carla. Num Pages: 467 pages, biography. BIC Classification: J; KJE; KJU; UKR; UY. Category: (P) Professional & Vocational. Dimension: 248 x 168 x 27. Weight in Grams: 954.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer United States
- Number of pages
- 467
- Condition
- New
- Edition
- 2005th Edition
- SKU
- V9781402035906
- ISBN
- 9781402035906
Hardback
Condition: New
€ 252.16
€ 252.16
Paperback. Editor(s): Besselaar, Peter van den; Michelis, Giorgio De; Preece, Jenny; Simone, Carla. Num Pages: 467 pages, biography. BIC Classification: J; KJE; KJU; UKR; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 467
- Condition
- New
- SKU
- V9789048169047
- ISBN
- 9789048169047
Paperback
Condition: New
€ 251.49
€ 251.49
Paperback. Editor(s): Bessiere, Christian; Nijssen, Siegfried; Pedreschi, Dino. Series: Lecture Notes in Computer Science. Num Pages: 349 pages, 73 black & white illustrations, biography. BIC Classification: UGK; UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 349
- Condition
- New
- SKU
- V9783319501369
- ISBN
- 9783319501369
Paperback
Condition: New
€ 67.29
€ 67.29
Next Generation Data Technologies for Collective Computational Intelli...
. Ed(S): Bessis, Nik; Xhafa, Fatos
Hardback. Blending theory with practice, this book brings together a variety of next-generation data technologies used to capture, integrate, analyze, mine, annotate and visualize distributed data in a manner that is meaningful and collaborative for the organization. Editor(s): Bessis, Nik; Xhafa, Fatos. Series: Studies in Computational Intelligence. Num Pages: 656 pages, biography. BIC Classification: UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 2410.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 656
- Condition
- New
- SKU
- V9783642203435
- ISBN
- 9783642203435
Hardback
Condition: New
€ 262.41
€ 262.41
Next Generation Data Technologies for Collective Computational Intelli...
. Ed(S): Bessis, Nik; Xhafa, Fatos
Paperback. Blending theory with practice, this book brings together a variety of next-generation data technologies used to capture, integrate, analyze, mine, annotate and visualize distributed data in a manner that is meaningful and collaborative for the organization. Editor(s): Bessis, Nik; Xhafa, Fatos. Series: Studies in Computational Intelligence. Num Pages: 656 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 656
- Condition
- New
- SKU
- V9783642267345
- ISBN
- 9783642267345
Paperback
Condition: New
€ 252.84
€ 252.84
Internet of Things and Inter-cooperative Computational Technologies fo...
. Ed(S): Bessis, Nik; Xhafa, Fatos; Varvarigo...
Hardback. This book discusses the theories, practices and concepts of utilising inter-operable and inter-cooperative next generation computational technologies. Coverage includes mobile and the emerging e-infrastructures of Web 2.0, SOA, P2P, Grids and Clouds. Editor(s): Bessis, Nik; Xhafa, Fatos; Varvarigou, Dora; Hill, Richard; Li, Maozhen. Series: Studies in Computational Intelligence. Num Pages: 492 pages, biography. BIC Classification: UG; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 895.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 492
- Condition
- New
- SKU
- V9783642349515
- ISBN
- 9783642349515
Hardback
Condition: New
€ 196.45
€ 196.45
Inter-cooperative Collective Intelligence: Techniques and Applications
. Ed(S): Bessis, Nik; Xhafa, Fatos; Varvarigo...
Hardback. This book covers the combination of technologies which enables the transformation of everyday objects into smart objects, creating a paradigm that connects the real world with the digital world. Discusses progress made thus far, and emerging innovations. Editor(s): Bessis, Nik; Xhafa, Fatos; Varvarigou, Dora; Hill, Richard; Li, Maozhen. Series: Studies in Computational Intelligence. Num Pages: 440 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 842.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642350153
- ISBN
- 9783642350153
Hardback
Condition: New
€ 196.41
€ 196.41
Internet of Things and Inter-cooperative Computational Technologies fo...
. Ed(S): Bessis, Nik; Xhafa, Fatos; Varvarigo...
paperback. This book discusses the theories, practices and concepts of utilising inter-operable and inter-cooperative next generation computational technologies. Coverage includes mobile and the emerging e-infrastructures of Web 2.0, SOA, P2P, Grids and Clouds. Editor(s): Bessis, Nik; Xhafa, Fatos; Varvarigou, Dora; Hill, Richard; Li, Maozhen. Series: Studies in Computational Intelligence. Num Pages: 492 pages, biography. BIC Classification: UG; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 492
- Condition
- New
- SKU
- V9783642444623
- ISBN
- 9783642444623
Paperback
Condition: New
€ 195.64
€ 195.64
Informations- Und Wissensverarbeitung in Den Sozialwissenschaften
. Ed(S): Best, Professor Of Sociology Heinric...
Paperback / so. Editor(s): Best, Professor of Sociology Heinrich (Professor of Sociology, University of Jena, Germany Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena Fredrich-Schiller-University, Jena); Endres-Niggemeyer, Brigitte; Herfurth, Matthias; Ohly, H Peter. Num Pages: 623 pages, black & white illustrations, bibliography. BIC Classification: GTC; JHB; UY. Category: (G) General (US: Trade). Dimension: 229 x 152 x 32. Weight in Grams: 1008.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Number of pages
- 623
- Condition
- New
- SKU
- V9783531125015
- ISBN
- 9783531125015
Paperback
Condition: New
€ 87.22
€ 87.22
Heterogeneous Information Exchange and Organizational Hubs
. Ed(S): Bestougeff, H.; Dubois, Jacques-Emil...
Hardback. Introduces heterogeneous information exchange as related to organizational hubs and provides directions and challenges for various other topics, including knowledge management and web information management. This title presents developments in formal and experimental work. Editor(s): Bestougeff, H.; Dubois, Jacques-Emile; Thuraisingham, Bhavani M. Num Pages: 243 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 243
- Condition
- New
- SKU
- V9781402006494
- ISBN
- 9781402006494
Hardback
Condition: New
€ 132.65
€ 132.65
Heterogeneous Information Exchange and Organizational Hubs
. Ed(S): Bestougeff, H.; Dubois, Jacques-Emil...
Paperback. Editor(s): Bestougeff, H.; Dubois, Jacques-Emile; Thuraisingham, Bhavani M. Num Pages: 243 pages, biography. BIC Classification: KJM; KJQ; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 243
- Condition
- New
- SKU
- V9789048160303
- ISBN
- 9789048160303
Paperback
Condition: New
€ 127.78
€ 127.78
Optimization-Based Computer-Aided Modelling and Design
. Ed(S): Beulens, Adriaan J.M.; Sebastian, Ha...
Paperback. The proceedings of a conference reflecting the current state of research in areas related to the field of knowledge-based decision support systems. The contributors describe the practical applications of such systems to control, engineering, industry, design and economics. Editor(s): Beulens, Adriaan J.M.; Sebastian, Hans-Jurgen. Series: Lecture Notes in Control and Information Sciences. Num Pages: 281 pages, 22 black & white illustrations, biography. BIC Classification: UGC; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 15. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 281
- Condition
- New
- SKU
- V9783540551355
- ISBN
- 9783540551355
Paperback
Condition: New
€ 67.24
€ 67.24
Hardback. Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. The aim of this book is to give an overview of the state of the art in model-driven software development. Editor(s): Beydeda, Sami; Book, Matthias; Gruhn, Volker. Num Pages: 464 pages, 195 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 846.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783540256137
- ISBN
- 9783540256137
Hardback
Condition: New
€ 196.96
€ 196.96
Paperback. Editor(s): Beydeda, Sami; Book, Matthias; Gruhn, Volker. Num Pages: 464 pages, 195 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642065026
- ISBN
- 9783642065026
Paperback
Condition: New
€ 195.97
€ 195.97