Computer science
Results 10729 - 10752 of 16990
Computer science
Paperback. Constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, that was held in Paris, France, in September 2006. This title presents 26 revised full papers and 4 short papers together with 3 invited lectures. Series: Lecture Notes in Computer Science. Num Pages: 500 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 1540.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 500
- Condition
- New
- SKU
- V9783540462194
- ISBN
- 9783540462194
Paperback
Condition: New
€ 128.80
€ 128.80
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 65.88
€ 65.88
Paperback. Editor(s): Beyer, Dirk, Ph. D.; Boreale, Michele. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 335 pages, 66 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 335
- Condition
- New
- SKU
- V9783642385919
- ISBN
- 9783642385919
Paperback
Condition: New
€ 64.30
€ 64.30
Paperback. Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. Editor(s): Giese, Holger; Rosu, Grigore. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 282 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 282
- Condition
- New
- SKU
- V9783642307928
- ISBN
- 9783642307928
Paperback
Condition: New
€ 64.17
€ 64.17
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Abraham, Erika; Palamidessi, Catusci...
Paperback. Editor(s): Abraham, Erika; Palamidessi, Catuscia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 313 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 313
- Condition
- New
- SKU
- V9783662436127
- ISBN
- 9783662436127
Paperback
Condition: New
€ 63.71
€ 63.71
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Graf, Susanne; Viswanathan, Mahesh
Paperback. Editor(s): Graf, Susanne; Viswanathan, Mahesh. Series: Lecture Notes in Computer Science. Num Pages: 257 pages, 47 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 257
- Condition
- New
- SKU
- V9783319191942
- ISBN
- 9783319191942
Paperback
Condition: New
€ 63.46
€ 63.46
Formal Techniques for Distributed Objects, Components, and Systems
. Ed(S): Albert, Elvira; Lanese, Ivan
Paperback. Editor(s): Albert, Elvira; Lanese, Ivan. Series: Lecture Notes in Computer Science. Num Pages: 291 pages, 56 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 291
- Condition
- New
- SKU
- V9783319395692
- ISBN
- 9783319395692
Paperback
Condition: New
€ 63.74
€ 63.74
Paperback. Num Pages: 114 pages, biography. BIC Classification: UNH; UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 6. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1986
- Number of pages
- 114
- Condition
- New
- SKU
- V9783642705946
- ISBN
- 9783642705946
Paperback
Condition: New
€ 62.56
€ 62.56
Paperback. Num Pages: 146 pages, 87 black & white illustrations, 6 black & white tables, biography. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 238.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 146
- Condition
- New
- SKU
- V9783319378824
- ISBN
- 9783319378824
Paperback
Condition: New
€ 121.55
€ 121.55
hardcover. It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. This book puts forward a cohesive set of semantics for the VHDL language. Editor(s): Delgado Kloos, Carlos; Breuer, Peter T. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 249 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer United States
- Edition
- 1995th Edition
- Number of pages
- 249
- Condition
- New
- SKU
- V9780792395522
- ISBN
- 9780792395522
Hardback
Condition: New
€ 127.18
€ 127.18
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda; Pandey, Sheetanshu L...
Hardback. Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792383758
- ISBN
- 9780792383758
Hardback
Condition: New
€ 125.82
€ 125.82
Paperback. Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Editor(s): Moller, B.; Partsch, Helmut A.; Schuman, Steve. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783540574996
- ISBN
- 9783540574996
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Editor(s): Cuel, Roberta; Young, Robert. Series: Lecture Notes in Business Information Processing. Num Pages: 148 pages, 34 black & white illustrations, biography. BIC Classification: HPJ; KJMV3; KJQ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 244.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 148
- Condition
- New
- SKU
- V9783319215440
- ISBN
- 9783319215440
Paperback
Condition: New
€ 52.00
€ 52.00
Paperback. Num Pages: 333 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 333
- Condition
- New
- SKU
- V9781849965927
- ISBN
- 9781849965927
Paperback
Condition: New
€ 185.47
€ 185.47
Hardback. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels. Num Pages: 333 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 684.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 333
- Condition
- New
- SKU
- V9781846283758
- ISBN
- 9781846283758
Hardback
Condition: New
€ 187.26
€ 187.26
Paperback. This volume is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Editor(s): Schobbens, Pierre-Yves; Meyer, J.-J Ch. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 268 pages, biography. BIC Classification: UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 268
- Condition
- New
- SKU
- V9783540670278
- ISBN
- 9783540670278
Paperback
Condition: New
€ 66.73
€ 66.73
paperback. Editor(s): Drechsler, Rolf; Kuhne, Ulrich. Num Pages: 323 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph. BIC Classification: TJFC; TJFM; TRP; UGK; UK; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 18. Weight in Grams: 526.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2015th Edition
- Number of pages
- 323
- Condition
- New
- SKU
- V9783658099930
- ISBN
- 9783658099930
Paperback
Condition: New
€ 65.30
€ 65.30
Formal Modeling and Analysis of Timed Systems: 14th International Conf...
. Ed(S): Franzle, Martin; Markey, Nicolas
paperback. Editor(s): Franzle, Martin; Markey, Nicolas. Series: Lecture Notes in Computer Science. Num Pages: 257 pages, 67 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Number of pages
- 257
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319448770
- ISBN
- 9783319448770
Paperback
Condition: New
€ 63.46
€ 63.46
Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642402289
- ISBN
- 9783642402289
Paperback
Condition: New
€ 58.64
€ 58.64
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. Editor(s): Jurdzinski, Marcin; Nickovic, Dejan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 277 pages, 71 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642333644
- ISBN
- 9783642333644
Paperback
Condition: New
€ 58.98
€ 58.98
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. This book includes the papers that are organized in topical sections on probabilistic methods, robustness, games, verification, hybrid systems, and applications. Editor(s): Fahrenberg, Uli; Tripakis, Stavros. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 364 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642243097
- ISBN
- 9783642243097
Paperback
Condition: New
€ 64.94
€ 64.94
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 301 pages, biography. BIC Classification: UMX; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 301
- Condition
- New
- SKU
- V9783642043673
- ISBN
- 9783642043673
Paperback
Condition: New
€ 63.99
€ 63.99
Paperback. Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 305 pages, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540857778
- ISBN
- 9783540857778
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Editor(s): Sankaranarayanan, Sriram; Vicario, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 90 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. 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
- V9783319229744
- ISBN
- 9783319229744
Paperback
Condition: New
€ 63.86
€ 63.86