Computer science
Results 16249 - 16272 of 16707
Computer science
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 64.06
€ 64.06
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Bouajjani, Ahmed; Monniaux, David
Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 560
- Condition
- New
- SKU
- V9783319522333
- ISBN
- 9783319522333
Paperback
Condition: New
€ 65.97
€ 65.97
Paperback. Editor(s): McMillan, Kenneth; Rival, Xavier. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 511 pages, 120 black & white illustrations, biography. BIC Classification: UKN; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 511
- Condition
- New
- SKU
- V9783642540127
- ISBN
- 9783642540127
Paperback
Condition: New
€ 65.57
€ 65.57
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen,...
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783662460801
- ISBN
- 9783662460801
Paperback
Condition: New
€ 65.37
€ 65.37
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, biography. BIC Classification: UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540878728
- ISBN
- 9783540878728
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Editor(s): Blazy, Sandrine; Chechik, Marsha. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. 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
- V9783319488684
- ISBN
- 9783319488684
Paperback
Condition: New
€ 62.86
€ 62.86
Paperback. Editor(s): Cohen, Ernie; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, 83 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642541070
- ISBN
- 9783642541070
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Editor(s): Giannakopoulou, Dimitra; Kroening, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, 107 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319121536
- ISBN
- 9783319121536
Paperback
Condition: New
€ 63.98
€ 63.98
Paperback. Editor(s): Gurfinkel, Arie; Seshia, Sanjit A. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, 41 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783319296128
- ISBN
- 9783319296128
Paperback
Condition: New
€ 63.43
€ 63.43
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 11. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540112051
- ISBN
- 9783540112051
Paperback
Condition: New
€ 65.45
€ 65.45
Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 336
- Condition
- New
- SKU
- V9780471429760
- ISBN
- 9780471429760
Hardback
Condition: New
€ 170.01
€ 170.01
Paperback / so. Editor(s): Sandrock, Michael; Riegelhuth, Gerd. Num Pages: black & white illustrations, bibliography. BIC Classification: LND; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783658043902
- ISBN
- 9783658043902
Paperback
Condition: New
€ 45.92
€ 45.92
Paperback / so. Editor(s): Bruggemann, Hans H; Gerhardt-Hackl, Waltraud. Series: Dud-Fachbeitrage. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 20. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528054830
- ISBN
- 9783528054830
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. Christian Meyn untersucht, wie sich das Bedurfnis nach Sicherheit vor Kriminalitat und Terrorismus mit der verlasslichen Nutzung offener Netze vereinbaren lasst. Er zeigt, dass ein Verschlusselungsverbot bei der Kommunikation im Internet nicht mit dem Grundgesetz zu vereinbaren ist." Series: Dud-Fachbeitrage. Num Pages: 181 pages, black & white illustrations, bibliography. BIC Classification: UR; UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 10. Weight in Grams: 246.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Deutscher Universitats-Verlag Germany
- Number of pages
- 181
- Condition
- New
- SKU
- V9783824421701
- ISBN
- 9783824421701
Paperback
Condition: New
€ 99.22
€ 99.22
Paperback / so. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJC; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 16. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783835007482
- ISBN
- 9783835007482
Paperback
Condition: New
€ 100.45
€ 100.45
Verteilte, Offene Informationssysteme in Der Betrieblichen Anwendung
Hans-Jorg (Fraunhofer Iao) . Ed(S): Bullinger
Paperback / so. Editor(s): Bullinger, Hans-Jorg (Fraunhofer IAO). Series: IPA-Iao - Forschung Und Praxis Tagungsberichte. Num Pages: black & white illustrations, bibliography. BIC Classification: KJC; UKP; UY. Category: (G) General (US: Trade). Dimension: 297 x 210 x 12. Weight in Grams: 531.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540523529
- ISBN
- 9783540523529
Paperback
Condition: New
€ 70.65
€ 70.65
Paperback. Num Pages: 322 pages, 250 colour illustrations, biography. BIC Classification: UG; UML; UYT. Category: (G) General (US: Trade). Dimension: 268 x 227 x 23. Weight in Grams: 558.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221303
- ISBN
- 9781484221303
Paperback
Condition: New
€ 47.73
€ 47.73
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UG; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 21. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528054298
- ISBN
- 9783528054298
Paperback
Condition: New
€ 70.08
€ 70.08
Hardback. Uses VHDL for constructing logic synthesisers. This book includes worked examples, questions and answers and do's and don'ts of good practice. Num Pages: 350 pages, biography. BIC Classification: UYD; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 350
- Condition
- New
- SKU
- V9780412616501
- ISBN
- 9780412616501
Hardback
Condition: New
€ 192.32
€ 192.32
Paperback. Num Pages: 548 pages, biography. BIC Classification: THR; UGC; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 548
- Condition
- New
- SKU
- V9781461376712
- ISBN
- 9781461376712
Paperback
Condition: New
€ 124.16
€ 124.16
Hardback. Intended for those seeking an enhanced proficiency in VHDL, this text addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. Num Pages: 384 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 946.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 384
- Condition
- New
- SKU
- V9780792381150
- ISBN
- 9780792381150
Hardback
Condition: New
€ 188.49
€ 188.49