Computer science
Results 10777 - 10800 of 16990
Computer science
Paperback. Editor(s): Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 343 pages, 101 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 343
- Condition
- New
- SKU
- V9783319073163
- ISBN
- 9783319073163
Paperback
Condition: New
€ 64.26
€ 64.26
Hardback. Presents some techniques to be used in the context of distributed and/or embedded systems. This book makes many connections between 'traditional development approaches' and the developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems. Editor(s): Kordon, Fabrice; Lemoine, Michel. Series: the Kluwer International Series in Engineering & Computer Science. Num Pages: 263 pages, 28 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 263
- Condition
- New
- SKU
- V9781402079962
- ISBN
- 9781402079962
Hardback
Condition: New
€ 127.61
€ 127.61
Paperback. This book offers lectures from the 2013 International School on Formal Methods for Design of Computer, Communication & Software Systems on chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, automata-based models and more. Editor(s): Bernardo, Marco; Vink, Erik de; Pierro, Alessandra di; Wiklicky, Herbert. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 181 pages, 49 black & white illustrations, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 181
- Condition
- New
- SKU
- V9783642388736
- ISBN
- 9783642388736
Paperback
Condition: New
€ 58.98
€ 58.98
Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 423
- Condition
- New
- SKU
- V9780792379683
- ISBN
- 9780792379683
Hardback
Condition: New
€ 247.02
€ 247.02
Hardback. Series: Studies in Systems, Decision and Control. Num Pages: 284 pages, 54 black & white illustrations, 39 colour illustrations, biography. BIC Classification: GPFC; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319507620
- ISBN
- 9783319507620
Hardback
Condition: New
€ 218.44
€ 218.44
Paperback. Editor(s): Hahnle, Reiner; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 125 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642406140
- ISBN
- 9783642406140
Paperback
Condition: New
€ 58.10
€ 58.10
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
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. 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. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319478456
- ISBN
- 9783319478456
Paperback
Condition: New
€ 71.28€ 26.65
€ 71.28
€ 26.65
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
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
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
Paperback. This revised and expanded new edition includes supplementary web-based teaching resources and a new conceptual approach to parsing algorithms that applies to extended Backus-Naur Form grammars. It delivers inclusive, practicable coverage of the field. Series: Texts in Computer Science. Num Pages: 411 pages, 170 black & white illustrations, 1 colour illustrations, 30 black & white tables, biograp. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 2nd ed. 2013
- Number of pages
- 411
- Condition
- New
- SKU
- V9781447168683
- ISBN
- 9781447168683
Paperback
Condition: New
€ 91.38
€ 91.38
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
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
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; Nederhof, Mark-Jan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 303 pages, 58 black & white illustrations, biography. BIC Classification: CFX; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642399978
- ISBN
- 9783642399978
Paperback
Condition: New
€ 63.99
€ 63.99
Formal Description Techniques for Distribution Systems and Communicati...
. Ed(S): Hogrefe, Dieter; Leue, S.
Hardback. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 536
- Condition
- New
- SKU
- V9780412644504
- ISBN
- 9780412644504
Hardback
Condition: New
€ 257.52
€ 257.52
Paperback. Editor(s): Cellier, Peggy; Distel, Felix; Ganter, Bernhard. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 277 pages, 57 black & white illustrations, biography. BIC Classification: PBCD; UNF; UYAM. 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
- V9783642383168
- ISBN
- 9783642383168
Paperback
Condition: New
€ 58.56
€ 58.56
Paperback. Editor(s): Domenach, Florent; Ignatov, Dmitry I.; Poelmans, Jonas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 321 pages, 75 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783642298912
- ISBN
- 9783642298912
Paperback
Condition: New
€ 64.51
€ 64.51
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Concept Analysis, ICFCA 2011, that was held in Nicosia, Cyprus. Editor(s): Valtchev, Petko; Jaschke, Robert. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, biography. BIC Classification: PBF; UMX; UMZ; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 406.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642205132
- ISBN
- 9783642205132
Paperback
Condition: New
€ 63.73
€ 63.73
Paperback. Editor(s): Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 57 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UNF; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319195445
- ISBN
- 9783319195445
Paperback
Condition: New
€ 63.86
€ 63.86
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