Computer science
Results 6361 - 6384 of 16996
Computer science
Paperback. Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are organized in topical sections on abstractions and state-space reductions; PROMELA encodings and extensions; and, applications of model checking. Editor(s): Groce, Alex; Musuvathi, Madanlal. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 35 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642223051
- ISBN
- 9783642223051
Paperback
Condition: New
€ 78.86
€ 78.86
Paperback. Editor(s): Bosnacki, Dragan. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319325811
- ISBN
- 9783319325811
Paperback
Condition: New
€ 63.66
€ 63.66
Model Checking and Artificial Intelligence: 6th International Workshop...
. Ed(S): Meyden, Ron Van Der; Smaus, Jan-Geor...
paperback. Presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, that was held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. This book contains an extended abstract of the invited talk held at the workshop. Editor(s): Meyden, Ron Van Der; Smaus, Jan-Georg. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 142 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 142
- Condition
- New
- SKU
- V9783642206733
- ISBN
- 9783642206733
Paperback
Condition: New
€ 62.50
€ 62.50
Paperback. Constitutes the refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. Editor(s): Peled, Doron A.; Wooldridge, Mike. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 189 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642004308
- ISBN
- 9783642004308
Paperback
Condition: New
€ 63.02
€ 63.02
Paperback. Constitutes the refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence. Series: Lecture Notes in Computer Science. Num Pages: 194 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 288.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783540741275
- ISBN
- 9783540741275
Paperback
Condition: New
€ 65.07
€ 65.07
Paperback. Num Pages: 318 pages, biography. BIC Classification: TGB; THR; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 318
- Condition
- New
- SKU
- V9781441952585
- ISBN
- 9781441952585
Paperback
Condition: New
€ 186.31
€ 186.31
Hardback. Provides the reader with an understanding of modeling and design strategies of Current-Mode digital circuits. This work allows the reader not only to understand the operating principle and the features of bipolar and MOS Current-Mode digital circuits, but also to design optimized digital gates. Num Pages: 318 pages, biography. BIC Classification: TGB; THR; UY. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 318
- Condition
- New
- SKU
- V9781402028786
- ISBN
- 9781402028786
Hardback
Condition: New
€ 192.34
€ 192.34
Paperback. Editor(s): Bellatreche, Ladjel; Manolopoulos, Yannis. Series: Lecture Notes in Computer Science. Num Pages: 343 pages, 99 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 343
- Condition
- New
- SKU
- V9783319237800
- ISBN
- 9783319237800
Paperback
Condition: New
€ 64.51
€ 64.51
Paperback. Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based introduction to modal logic that will appeal to philosophers, logicians, linguists, mathematicians and computer scientists. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 318 pages, 20 black & white tables, biography. BIC Classification: HPC; HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 318
- Condition
- New
- SKU
- V9789048179244
- ISBN
- 9789048179244
Paperback
Condition: New
€ 185.18
€ 185.18
Paperback. Series: Lecture Notes in Mathematics. Num Pages: 332 pages, 34 black & white illustrations, 3 colour illustrations, 12 black & white tables, biograph. BIC Classification: PBK; TJFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 332
- Condition
- New
- SKU
- V9783319017204
- ISBN
- 9783319017204
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Deals with the problem of detecting and localizing multiple simultaneously active wide band acoustic sources by applying the notion of wave field decomposition using circular and spherical microphone arrays. This book discusses derivation of modal array signal processing algorithms for unambiguous source detection and localization. Series: Lecture Notes in Control and Information Sciences. Num Pages: 272 pages, 94 black & white illustrations, biography. BIC Classification: TJK; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540408932
- ISBN
- 9783540408932
Paperback
Condition: New
€ 124.36
€ 124.36
Paperback. This book clearly and concisely reviews the predominant new media available and the ways in which they can be used to recruit, engage and activate young people, who represent the majority of new media users. Each chapter of the book will break down the gamut of new media mediums in an easy-to-follow format. Num Pages: 288 pages, ill. BIC Classification: JP; UY. Category: (P) Professional & Vocational. Dimension: 234 x 182 x 15. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780470227442
- ISBN
- 9780470227442
Paperback
Condition: New
€ 41.99€ 32.26
€ 41.99
€ 32.26
Hardback. Editor(s): Pissaloux, Edwige; Velazquez, Ramiro. Num Pages: 642 pages, 71 black & white illustrations, 102 colour illustrations, 102 colour tables, biography. BIC Classification: MQW; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 642
- Condition
- New
- SKU
- V9783319544441
- ISBN
- 9783319544441
Hardback
Condition: New
€ 274.99
€ 274.99
Hardback. This volume refers to the formal description of mobility in computer science, using p-calculus, ambient calculus, bioambients, brane calculi, and systems of mobile membranes. Concepts are supported by examples and exercises, which makes it suitable for relevant courses. Series: Natural Computing Series. Num Pages: 224 pages, biography. BIC Classification: UMA; UYQL. Category: (P) Professional & Vocational. Dimension: 245 x 167 x 18. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 224
- Condition
- New
- SKU
- V9783642248665
- ISBN
- 9783642248665
Hardback
Condition: New
€ 122.88
€ 122.88
paperback. Constitutes the refereed proceedings of the Second International Workshop on Mobility Aware Technologies and Applications, MATA 2005, held in Montreal, Canada, in October 2005. This book presents 39 revised full papers that were reviewed and selected. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 418 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1340.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 2005th Edition
- Number of pages
- 418
- Condition
- New
- SKU
- V9783540294108
- ISBN
- 9783540294108
Paperback
Condition: New
€ 69.90
€ 69.90
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540234234
- ISBN
- 9783540234234
Paperback
Condition: New
€ 68.79
€ 68.79
Paperback. Editor(s): Ayala, Alejandro Pena. Series: Advances in Intelligent Systems and Computing. Num Pages: 223 pages, 12 black & white illustrations, 44 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 223
- Condition
- New
- SKU
- V9783319265162
- ISBN
- 9783319265162
Paperback
Condition: New
€ 63.03
€ 63.03
Hardback. Editor(s): Park, Jong Hyuk; Adeli, Hojjat; Park, Namje; Woungang, Isaac. Series: Lecture Notes in Electrical Engineering. Num Pages: 673 pages, biography. BIC Classification: TJK; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1172.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 673
- Condition
- New
- SKU
- V9783642406744
- ISBN
- 9783642406744
Hardback
Condition: New
€ 241.76
€ 241.76
Mobile Wireless Middleware, Operating Systems, and Applications
. Ed(S): Borcea, Cristian; Bellavista, Paolo;...
Paperback. Editor(s): Borcea, Cristian; Bellavista, Paolo; Gianelli, Carlo; Magedanz, Thomas; Schreiner, Florian. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 277 pages, 105 black & white illustrations, biography. BIC Classification: UB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642366598
- ISBN
- 9783642366598
Paperback
Condition: New
€ 63.97
€ 63.97
Paperback. Constitutes the thoroughly refereed proceedings of the 4th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2011, held in London, UK, in June 2011. Editor(s): Venkatasubramanian, Nalini; Zheng, Qinghua; Sauter, Martin; Getov, Vladimir; Steglich, Stephan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 249 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 154 x 19. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642306068
- ISBN
- 9783642306068
Paperback
Condition: New
€ 64.01
€ 64.01
Paperback. Editor(s): Younas, Muhammad; Awan, Irfan; Kryvinska, Natalia; Strauss, Christine; Do, Van-Thanh. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, 147 black & white illustrations, biography. BIC Classification: UBJ; UKN; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 458
- Condition
- New
- SKU
- V9783319442143
- ISBN
- 9783319442143
Paperback
Condition: New
€ 65.36
€ 65.36
Paperback. Editor(s): Andriessen, J. H. Erik; Vartiainen, Matti (Technical University of Helsinki, Finland). Num Pages: 392 pages, 26 black & white tables, biography. BIC Classification: J; KCF; KJU; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 392
- Condition
- New
- SKU
- V9783642066566
- ISBN
- 9783642066566
Paperback
Condition: New
€ 185.62
€ 185.62
Paperback / so. Series: Advanced Studies Mobile Research Center Bremen. Num Pages: colour illustrations, black & white tables, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 18. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783835009196
- ISBN
- 9783835009196
Paperback
Condition: New
€ 100.76
€ 100.76
paperback. Editor(s): Murray-Smith, Roderick. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 115 pages, 26 black & white illustrations, biography. BIC Classification: UG; UNF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 189.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2014th Edition
- Number of pages
- 115
- Condition
- New
- SKU
- V9783642543241
- ISBN
- 9783642543241
Paperback
Condition: New
€ 67.72
€ 67.72