Computer science
Results 10801 - 10824 of 16991
Computer science
Paperback. Editor(s): Glodeanu, Cynthia Vera; Kaytoue, Mehdi; Sacarea, Christian. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 309 pages, 58 black & white illustrations, biography. BIC Classification: UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 309
- Condition
- New
- SKU
- V9783319072470
- ISBN
- 9783319072470
Paperback
Condition: New
€ 64.09
€ 64.09
Paperback. This volume is based on the proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, held in May 1991. The resulting volume contains the eight papers presented at the meeting, along with five additional papers which offer further insight into the topics raised there. Editor(s): Denvir, Tim; Herman, Rosalind; Whitty, R.W.; etc. Series: Workshops in Computing. Num Pages: 259 pages, biography. BIC Classification: KJM; UMX; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 259
- Condition
- New
- SKU
- V9783540197881
- ISBN
- 9783540197881
Paperback
Condition: New
€ 63.69
€ 63.69
Paperback. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 216
- Condition
- New
- SKU
- V9789048154722
- ISBN
- 9789048154722
Paperback
Condition: New
€ 121.92
€ 121.92
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 126.72
€ 126.72
Paperback. Editor(s): Pasareanu, Corina S.; Salaun, Gwen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 287 pages, 72 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783642358609
- ISBN
- 9783642358609
Paperback
Condition: New
€ 81.80
€ 81.80
Paperback. Editor(s): Arbab, Farhad; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, 131 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642357428
- ISBN
- 9783642357428
Paperback
Condition: New
€ 65.09
€ 65.09
Paperback. Constitutes selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. Editor(s): Barbosa, Luis Soares; Lumpe, Markus. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 315 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642272684
- ISBN
- 9783642272684
Paperback
Condition: New
€ 64.45
€ 64.45
Paperback. Editor(s): Lanese, Ivan; Madelaine, Eric. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, 132 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 395
- Condition
- New
- SKU
- V9783319153162
- ISBN
- 9783319153162
Paperback
Condition: New
€ 64.63
€ 64.63
Paperback. Editor(s): Fiadeiro, Jose Luiz; Liu, Zhiming; Xue, Jinyun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, 132 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 395
- Condition
- New
- SKU
- V9783319076010
- ISBN
- 9783319076010
Paperback
Condition: New
€ 64.81
€ 64.81
Hardback. A reference for both academic and professional researchers in the field of security and trust. The papers presented in this volume address the challenges posed by "ambient intelligence space" as a future paradigm and the need for a set of concepts, tools and methodologies to enable the user's trust in the underlying computing infrastructure. Editor(s): Dimitrakos, Theo; Martinelli, Fabio. Series: IFIP Advances in Information and Communication Technology. Num Pages: 256 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780387240503
- ISBN
- 9780387240503
Hardback
Condition: New
€ 127.29
€ 127.29
Paperback. This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling. Editor(s): Rash, James L.; Rouff, Christopher A.; Truszkowski, Walter; Gordon, Diana R.; Hinchey, Michael G. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 384 pages, biography. BIC Classification: UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540427162
- ISBN
- 9783540427162
Paperback
Condition: New
€ 68.53
€ 68.53
Hardback. Discusses designing computations to be realized by application-specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions; and the models created enable the designer to perform different kinds of analysis and verification. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9780792394273
- ISBN
- 9780792394273
Hardback
Condition: New
€ 189.13
€ 189.13
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: THR; TJFC; UGC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 232
- Condition
- New
- SKU
- V9781461361930
- ISBN
- 9781461361930
Paperback
Condition: New
€ 185.48
€ 185.48
Paperback. Assessing the state of the art in active research areas in theoretical computer science, this book presents research papers and survey articles written for Grzegorz Rozenberg's 60th birthday. Topics include basic decidability and the notion of information, graph grammars and graph transformations. Editor(s): Brauer, Wilfried; Ehrig, Hartmut; Karhumaki, Juhani; Salomaa, Arto K. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540431909
- ISBN
- 9783540431909
Paperback
Condition: New
€ 70.11
€ 70.11
Paperback. This volume addresses topics including: analysis of form and function of the mammalian lung by scientific computing; generation of a computer lung model; morphological analysis and representation of the branching pattern of mammalian lung; and functional simulation of gas transport. Series: Advances in Anatomy, Embryology and Cell Biology. Num Pages: 117 pages, 21 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PSVD; PSVW7; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 117
- Condition
- New
- SKU
- V9783540644941
- ISBN
- 9783540644941
Paperback
Condition: New
€ 121.19
€ 121.19
Hardback. Includes chapters that are evolved from presentations made by selected participants at the 2005 BISC International Special Event, held at the University of California at Berkely. This title includes papers that address the problems of different fields of research in fuzzy logic, fuzzy set and soft computing. Editor(s): Nikravesh, Masoud; Kacprzyk, Janusz; Zadeh, Lotfi A. Series: Studies in Fuzziness and Soft Computing. Num Pages: 433 pages, 1, black & white illustrations. BIC Classification: UGC; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 433
- Condition
- New
- SKU
- V9783540731849
- ISBN
- 9783540731849
Hardback
Condition: New
€ 194.49
€ 194.49
Paperback. Editor(s): Nikravesh, Masoud; Kacprzyk, Janusz; Zadeh, L. A. Series: Studies in Fuzziness and Soft Computing. Num Pages: 433 pages, black & white illustrations. BIC Classification: UGC; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 433
- Condition
- New
- SKU
- V9783642092237
- ISBN
- 9783642092237
Paperback
Condition: New
€ 186.58
€ 186.58
Forensics in Telecommunications, Information and Multimedia
. Ed(S): Lai, Xuejia; Gu, Dawu; Jin, Bo; Wang...
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia, E-Forensics 2010, held in Shanghai, China, in November 2010. Editor(s): Lai, Xuejia; Gu, Dawu; Jin, Bo; Wang Yong; Wang, Yongquan; Li, Hui. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 327 pages, 67 black & white illustrations, 49 colour illustrations, biography. BIC Classification: UBJ; UBL; UL; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 464.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642236013
- ISBN
- 9783642236013
Paperback
Condition: New
€ 64.59
€ 64.59
Paperback. Constitutes the refereed post-conference proceedings of the Second International Conference on Forensics in Telecommunications, Information and Multimedia, e-Forensics 2009, held in Adelaide, Australia, in January 2009. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 231 pages, biography. BIC Classification: UBJ; URY; UYQP. Category: (P) Professional & Vocational. Dimension: 232 x 158 x 14. Weight in Grams: 334.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642023118
- ISBN
- 9783642023118
Paperback
Condition: New
€ 65.52
€ 65.52
Paperback. This anthology of the research findings of dozens of speaker recognition experts from around the world provides a multidimensional view of the complex science involved in determining whether a suspect's voice truly matches forensic speech samples. Editor(s): Neustein, Amy; Patil, Hemant Arjun. Num Pages: 561 pages, 100 black & white tables, biography. BIC Classification: CBX; TTBM; UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 561
- Condition
- New
- SKU
- V9781489996039
- ISBN
- 9781489996039
Paperback
Condition: New
€ 241.58
€ 241.58
Foreign-Exchange-Rate Forecasting with Artificial Neural Networks
Yu, Lean; Wang, Shouyang; Lai, Kin Keung
Paperback. Series: International Series in Operations Research & Management Science. Num Pages: 316 pages, 44 black & white tables, biography. BIC Classification: KCBM; UYQN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 316
- Condition
- New
- SKU
- V9781441944047
- ISBN
- 9781441944047
Paperback
Condition: New
€ 175.63
€ 175.63
Foreign-exchange-rate Forecasting with Artificial Neural Networks
Yu, Lean; Wang, Shouyang; Lai, Kin Keung
Hardback. Focuses on forecasting foreign exchange rates via artificial neural networks (ANNs), creating and applying the highly useful computational techniques of Artificial Neural Networks (ANNs) to foreign-exchange rate forecasting. Series: International Series in Operations Research & Management Science. Num Pages: 316 pages, 44 black & white tables, biography. BIC Classification: KCBM; UYQN. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 659.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780387717197
- ISBN
- 9780387717197
Hardback
Condition: New
€ 123.98
€ 123.98
Forecast Error Correction Using Dynamic Data Assimilation
Lakshmivarahan, Sivaramakrishnan; Lewis, John...
Hardback. dfgdgdfg Series: Springer Atmospheric Sciences. Num Pages: 286 pages, 21 black & white illustrations, 104 colour illustrations, biography. BIC Classification: UGK; UYM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 286
- Condition
- New
- SKU
- V9783319399959
- ISBN
- 9783319399959
Hardback
Condition: New
€ 143.88
€ 143.88
Hardback. Num Pages: 218 pages, 22 black & white illustrations, 137 colour illustrations, biography. BIC Classification: MQW; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783662541425
- ISBN
- 9783662541425
Hardback
Condition: New
€ 185.50
€ 185.50