Computer science
Results 10753 - 10776 of 16990
Computer science
Paperback. Editor(s): Legay, Axel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 74 black & white illustrations, biography. BIC Classification: UB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 263
- Condition
- New
- SKU
- V9783319105116
- ISBN
- 9783319105116
Paperback
Condition: New
€ 63.66
€ 63.66
Paperback. This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more. Editor(s): Agha, Gul; Danvy, Olivier; Meseguer, Jose. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 467 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642249327
- ISBN
- 9783642249327
Paperback
Condition: New
€ 65.40
€ 65.40
Formal Methods: State of the Art and New Directions
. Ed(S): Boca, Paul P.; Bowen, Jonathan P.; S...
Paperback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 298 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447157458
- ISBN
- 9781447157458
Paperback
Condition: New
€ 122.39
€ 122.39
Paperback. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. Editor(s): Gheyi, Rohit; Naumann, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642332951
- ISBN
- 9783642332951
Paperback
Condition: New
€ 82.30
€ 82.30
Paperback. Editor(s): Simao, Adenilso; Morgan, Carroll. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 215 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642250316
- ISBN
- 9783642250316
Paperback
Condition: New
€ 78.81
€ 78.81
Paperback. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642104510
- ISBN
- 9783642104510
Paperback
Condition: New
€ 64.55
€ 64.55
Paperback. Editor(s): Roscoe, Bill; Cornelio, Marcio. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 62 colour illustrations, biography. BIC Classification: UM; UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319294728
- ISBN
- 9783319294728
Paperback
Condition: New
€ 52.54
€ 52.54
Paperback. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 188
- Condition
- New
- SKU
- V9783319150741
- ISBN
- 9783319150741
Paperback
Condition: New
€ 52.34
€ 52.34
Paperback. Editor(s): Ribeiro, Leila; Lecomte, Thierry. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 62 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 253
- Condition
- New
- SKU
- V9783319498140
- ISBN
- 9783319498140
Paperback
Condition: New
€ 63.77
€ 63.77
Paperback. Editor(s): Fages, Francois; Piazza, Carla. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 209 pages, 46 black & white illustrations, biography. BIC Classification: PSA; UBH; UM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319103976
- ISBN
- 9783319103976
Paperback
Condition: New
€ 63.03
€ 63.03
Paperback. The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods. Editor(s): Craigen, Dan; Summerskill, Karen. Series: Workshops in Computing. Num Pages: 248 pages, 1 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540196358
- ISBN
- 9783540196358
Paperback
Condition: New
€ 64.27
€ 64.27
Formal Methods for the Quantitative Evaluation of Collective Adaptive ...
. Ed(S): Bernardo, Marco; de Nicola, Rocco; H...
Paperback. Editor(s): Bernardo, Marco; De Nicola, Rocco; Hillston, Jane. Series: Lecture Notes in Computer Science. Num Pages: 268 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 268
- Condition
- New
- SKU
- V9783319340951
- ISBN
- 9783319340951
Paperback
Condition: New
€ 63.57
€ 63.57
paperback. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540230687
- ISBN
- 9783540230687
Paperback
Condition: New
€ 67.11
€ 67.11
Paperback. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 472 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 154 x 28. Weight in Grams: 712. Advanced Lectures 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-June 2, 2007. Series: Lecture Notes in Computer Science / Programming and Software Engineering. 484 pages, 1, black & white illustrations. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UY. Dimension: 235 x 154 x 28. Weight: 712.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540724827
- ISBN
- 9783540724827
Paperback
Condition: New
€ 65.77
€ 65.77
Formal Methods for Open Object-Based Distributed Systems
. Ed(S): Jacobs, Bart (University Of Nijmegen...
Hardback. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 290
- Condition
- New
- SKU
- V9780792376835
- ISBN
- 9780792376835
Hardback
Condition: New
€ 124.69
€ 124.69
Hardback. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9780412797705
- ISBN
- 9780412797705
Hardback
Condition: New
€ 247.02
€ 247.02
Paperback. Editor(s): Dierkes, Michael; Pecheur, Charles. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 213 pages, 46 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642410093
- ISBN
- 9783642410093
Paperback
Condition: New
€ 58.70
€ 58.70
Paperback. Editor(s): Stoelinga, Marielle; Pinger, Ralf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 87 black & white illustrations, biography. BIC Classification: JPP; UMZ; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642324680
- ISBN
- 9783642324680
Paperback
Condition: New
€ 58.98
€ 58.98
Paperback. Constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. Editor(s): Salaun, Gwen; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 271 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642244308
- ISBN
- 9783642244308
Paperback
Condition: New
€ 64.05
€ 64.05
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 223 pages, biography. BIC Classification: UMX; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 223
- Condition
- New
- SKU
- V9783642045691
- ISBN
- 9783642045691
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540797067
- ISBN
- 9783540797067
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Editor(s): Nunez, Manuel; Gudemann, Matthias. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, 61 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 229
- Condition
- New
- SKU
- V9783319194578
- ISBN
- 9783319194578
Paperback
Condition: New
€ 63.40
€ 63.40
Paperback. Editor(s): Flammini, Francesco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 215 pages, 84 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319107011
- ISBN
- 9783319107011
Paperback
Condition: New
€ 63.26
€ 63.26
Paperback. Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 800.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540343042
- ISBN
- 9783540343042
Paperback
Condition: New
€ 66.08
€ 66.08