Computing
Results 8449 - 8472 of 23219
Computing
Paperback. Editor(s): Morrill, Glyn; Muskens, Reinhard; Osswald, Rainer; Richter, Frank. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 211 pages, 37 black & white illustrations, biography. BIC Classification: CFX; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 211
- Condition
- New
- SKU
- V9783662441206
- ISBN
- 9783662441206
Paperback
Condition: New
€ 62.83
€ 62.83
Paperback. Editor(s): Morrill, Glyn; Osswald, Rainer; Pogodalla, Sylvain. Series: Lecture Notes in Computer Science. Num Pages: 333 pages, 87 black & white illustrations, biography. BIC Classification: CFX; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 333
- Condition
- New
- SKU
- V9783662530412
- ISBN
- 9783662530412
Paperback
Condition: New
€ 63.89
€ 63.89
hardcover. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1056.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540209072
- ISBN
- 9783540209072
Hardback
Condition: New
€ 241.35
€ 241.35
Paperback. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: PBC; TBJ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 620
- Condition
- New
- SKU
- V9783642535543
- ISBN
- 9783642535543
Paperback
Condition: New
€ 241.02
€ 241.02
Hardback. Series: ISTE. Num Pages: 338 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 158 x 24. Weight in Grams: 644.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 338
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848216150
- ISBN
- 9781848216150
Hardback
Condition: New
€ 178.86
€ 178.86
Hardback. Num Pages: 246 pages, black & white illustrations. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 158 x 20. Weight in Grams: 572.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 246
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217881
- ISBN
- 9781848217881
Hardback
Condition: New
€ 179.01
€ 179.01
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
€ 63.93
€ 63.93
Paperback. Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 558
- Condition
- New
- SKU
- V9783540752202
- ISBN
- 9783540752202
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed. Editor(s): Goldsack, Stephen J.; Kent, Stuart J. H. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 368 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540199779
- ISBN
- 9783540199779
Paperback
Condition: New
€ 122.65
€ 122.65
Paperback. Editor(s): Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: GBC; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783540151999
- ISBN
- 9783540151999
Paperback
Condition: New
€ 86.04
€ 86.04
Paperback. Editor(s): Merz, Stephan; Pang, Jun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 478 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 478
- Condition
- New
- SKU
- V9783319117362
- ISBN
- 9783319117362
Paperback
Condition: New
€ 65.64
€ 65.64
Paperback. Editor(s): Butler, Michael; Conchon, Sylvain; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 461 pages, 150 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 461
- Condition
- New
- SKU
- V9783319254227
- ISBN
- 9783319254227
Paperback
Condition: New
€ 65.38
€ 65.38
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 500 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 500
- Condition
- New
- SKU
- V9783540238416
- ISBN
- 9783540238416
Paperback
Condition: New
€ 129.53
€ 129.53
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005. These papers address issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, testing, and more. Editor(s): Branach, Richard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 502 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 502
- Condition
- New
- SKU
- V9783540297970
- ISBN
- 9783540297970
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. This book features the papers addressing issues in formal methods and their applications in software engineering. Series: Lecture Notes in Computer Science. Num Pages: 804 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540474609
- ISBN
- 9783540474609
Paperback
Condition: New
€ 125.99
€ 125.99
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. This book includes papers that are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540766483
- ISBN
- 9783540766483
Paperback
Condition: New
€ 64.90
€ 64.90
Formal Methods and Software Engineering: 12th International Conference...
. Ed(S): Dong, Jin Song; Zhu, Huibiao
paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642169007
- ISBN
- 9783642169007
Paperback
Condition: New
€ 128.13
€ 128.13
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319478456
- ISBN
- 9783319478456
Paperback
Condition: New
€ 71.10€ 26.65
€ 71.10
€ 26.65
Formal Methods and Software Engineering: 4th International Conference ...
. Ed(S): George, Chris; Miao, Huaikou
paperback. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Editor(s): George, Chris; Miao, Huaikou. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 895.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Germany
- Edition
- 2002nd Edition
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540000297
- ISBN
- 9783540000297
Paperback
Condition: New
€ 131.28
€ 131.28
Paperback. Constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. This book contains topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, and formal dependability and performance evaluation. Series: Lecture Notes in Computer Science. Num Pages: 247 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783540353621
- ISBN
- 9783540353621
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. This book includes papers that are organized in topical sections on Markov Chains, Process Algebra, Wireless Networks, Queueing Theory and Applications of Queueing, and Benchmarking and Bounding. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 314 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783540752103
- ISBN
- 9783540752103
Paperback
Condition: New
€ 64.13
€ 64.13
Paperback. This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing. Series: Lecture Notes in Computer Science. Num Pages: 370 pages, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2008
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540789161
- ISBN
- 9783540789161
Paperback
Condition: New
€ 64.89
€ 64.89
Paperback. Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 376 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540709510
- ISBN
- 9783540709510
Paperback
Condition: New
€ 64.95
€ 64.95
Formal Methods Applied to Complex Systems: Implementation of the B Met...
Jean-Louis Boulanger (Ed.)
Hardback. Editor(s): Boulanger, Jean-Louis. Num Pages: 496 pages, illustrations (black and white). BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 32. Weight in Grams: 884.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 496
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217096
- ISBN
- 9781848217096
Hardback
Condition: New
€ 222.80
€ 222.80