Computing
Results 2113 - 2136 of 30815
Computing
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Flanagan, Cormac; Konig, Barbara
Paperback. Constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. Editor(s): Flanagan, Cormac; Konig, Barbara. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 579 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 579
- Condition
- New
- SKU
- V9783642287558
- ISBN
- 9783642287558
Paperback
Condition: New
€ 66.92
€ 66.92
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Esparza, Javier; Majumdar, Rupak
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Esparza, Javier; Majumdar, Rupak. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 484 pages, 102 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642120015
- ISBN
- 9783642120015
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Editor(s): Kowalewski, S. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 472 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783642007675
- ISBN
- 9783642007675
Paperback
Condition: New
€ 65.90
€ 65.90
Paperback. This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540787990
- ISBN
- 9783540787990
Paperback
Condition: New
€ 66.52
€ 66.52
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 760 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 38. Weight in Grams: 1052.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 760
- Condition
- New
- SKU
- V9783540712084
- ISBN
- 9783540712084
Paperback
Condition: New
€ 126.70
€ 126.70
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Katoen, Jost-Pieter; Stevens, Perdit...
Paperback. Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more. Editor(s): Katoen, Jost-Pieter; Stevens, Perdita. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783540434191
- ISBN
- 9783540434191
Paperback
Condition: New
€ 71.01
€ 71.01
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 26. Weight in Grams: 1610.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540330561
- ISBN
- 9783540330561
Paperback
Condition: New
€ 71.53
€ 71.53
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Halbwachs, Nicolas; Zuck, Lenore D.
Paperback. Editor(s): Halbwachs, Nicolas; Zuck, Lenore D. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 590 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 590
- Condition
- New
- SKU
- V9783540253334
- ISBN
- 9783540253334
Paperback
Condition: New
€ 131.41
€ 131.41
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540212997
- ISBN
- 9783540212997
Paperback
Condition: New
€ 131.61
€ 131.61
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Garavel, Hubert; Hatcliff, John
Paperback. Editor(s): Garavel, Hubert; Hatcliff, John. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540008989
- ISBN
- 9783540008989
Paperback
Condition: New
€ 131.61
€ 131.61
Paperback. Processes for developing safety-critical systems impose special demands for ensuring requirements traceability. The author analyzes systems and software engineering theories the problem is cross-cutting in embedded systems development, systems engineering, software engineering, and design theory and processes for safety-critical systems. Num Pages: 439 pages, 60 black & white illustrations, 8 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 26. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2013th Edition
- Number of pages
- 360
- Condition
- New
- SKU
- V9783834824738
- ISBN
- 9783834824738
Paperback
Condition: New
€ 123.59
€ 123.59
Tool Support for System Specification, Development and Verification
Berghammer, Rudolf. Ed(S): Berghammer, Rudolf...
Paperback. This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies. Editor(s): Berghammer, Rudolf; Lakhnech, Y. Series: Advances in Computing Sciences. Num Pages: 241 pages, 53 black & white illustrations. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 241
- Condition
- New
- SKU
- V9783211832820
- ISBN
- 9783211832820
Paperback
Condition: New
€ 64.27
€ 64.27
Paperback. A collection of essays skilfully written about the computer age Explores the patterns that the last half of the twentieth century bestowed upon us, looking at ideas that are both contemporary and timeless. Based on the author's column "In Our Time", which runs monthly in Computer magazine. Series: Perspectives. Num Pages: 238 pages. BIC Classification: UBJ. Category: (P) Professional & Vocational. Dimension: 232 x 158 x 16. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 238
- Condition
- New
- SKU
- V9780470080351
- ISBN
- 9780470080351
Paperback
Condition: New
€ 48.99€ 48.88
€ 48.99
€ 48.88
Hardcover. Series: X.Media.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UF; UG; UY. Category: (G) General (US: Trade). Dimension: 234 x 163 x 23. Weight in Grams: 739.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540718697
- ISBN
- 9783540718697
Hardback
Condition: New
€ 87.13
€ 87.13
Hardback. Num Pages: 335 pages, 49 black & white illustrations, 144 colour illustrations, 150 colour tables, biography. BIC Classification: MQW; MX; UBH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 689.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- 1st ed. 2017
- Number of pages
- 335
- Condition
- New
- SKU
- V9789811021664
- ISBN
- 9789811021664
Hardback
Condition: New
€ 187.15
€ 187.15
Paperback. Offering something for everyone who uses Tomcat, this book covers all major platforms, including Windows, Solaris, Linux, and Mac OS X; contains details on Tomcat configuration files; and even has a quick-start guide to get developers up and running with Java servlets and JavaServer Pages. Num Pages: 496 pages, 1, black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 231 x 181 x 28. Weight in Grams: 842.
- Publisher
- O'Reilly Media
- Number of pages
- 496
- Format
- Paperback
- Publication date
- 2007
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780596101060
- ISBN
- 9780596101060
Paperback
Condition: New
€ 42.99€ 33.84
€ 42.99
€ 33.84
Paperback. Series: TOGAF Series. Num Pages: 162 pages, black & white illustrations, colour illustrations, colour line drawings, colour tables, f. BIC Classification: JNT; UYF. Category: (P) Professional & Vocational. Dimension: 147 x 161 x 10. Weight in Grams: 156. 160 pages, illustrations. Cateogry: (G) General (US: Trade). BIC Classification: UYF. Dimension: 147 x 161 x 10. Weight: 156.
- Publisher
- Van Haren Publishing BV
- Number of pages
- 160
- Format
- Paperback
- Publication date
- 2011
- Edition
- Reprint
- Condition
- New
- SKU
- V9789087536787
- ISBN
- 9789087536787
Paperback
Condition: New
€ 28.43
€ 28.43
Paperback. Num Pages: 272 pages, black & white illustrations. BIC Classification: JNT; UB. Category: (P) Professional & Vocational. Dimension: 242 x 175 x 15. Weight in Grams: 582.
- Publisher
- Van Haren Publishing BV
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9789087537418
- ISBN
- 9789087537418
Paperback
Condition: New
€ 68.52
€ 68.52
Paperback. .
- Publisher
- Van Haren Publishing
- Format
- Paperback
- Publication date
- 2013
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9789087537425
- ISBN
- 9789087537425
Paperback
Condition: New
€ 53.12
€ 53.12
Paperback. This book introduces Time-Of-Flight Range-Imaging (TOF), an emerging sensor technology that delivers, at the same time, depth and intensity maps of the scene under observation. Reviews the entire acquisiton and processing chain, and discusses new applications. Editor(s): Remondino, Fabio; Stoppa, David. Num Pages: 245 pages, 53 black & white illustrations, 85 colour illustrations, biography. BIC Classification: TJF; TTBL; TTBM; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 245
- Condition
- New
- SKU
- V9783662508145
- ISBN
- 9783662508145
Paperback
Condition: New
€ 196.96
€ 196.96
Paperback. This edition with Toad for Oracle V8.0 and V8.5, provides a quick reference to this very popular interactive environment tool. It covers new features, shortcut keys and productivity tips. This pocket-sized guide is useful for developers needing to streamline code development or a DBA trying to simplify day-to-day administrative tasks. Num Pages: 120 pages, Illustrations. BIC Classification: UNSB. Category: (G) General (US: Trade). Dimension: 177 x 111 x 9. Weight in Grams: 120.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- Second Edition
- Number of pages
- 120
- Condition
- New
- SKU
- V9780596009717
- ISBN
- 9780596009717
Paperback
Condition: New
€ 10.99€ 10.55
€ 10.99
€ 10.55
Paperback. Num Pages: 284 pages, black & white illustrations. BIC Classification: UBJ; UTC. Category: (G) General (US: Trade). Dimension: 229 x 153 x 15. Weight in Grams: 396.
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781612056166
- ISBN
- 9781612056166
Paperback
Condition: New
€ 47.99€ 47.25
€ 47.99
€ 47.25
Paperback. Num Pages: 96 pages, 15 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 229 x 153 x 7. Weight in Grams: 156.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Apress
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781484207765
- ISBN
- 9781484207765
Paperback
Condition: New
€ 42.47
€ 42.47
Paperback. Num Pages: 104 pages, colour illustrations. BIC Classification: UDA; UKP. Category: (P) Professional & Vocational. Dimension: 193 x 235 x 11. Weight in Grams: 202.
- Publisher
- The Pragmatic Programmers
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680502213
- ISBN
- 9781680502213
Paperback
Condition: New
€ 23.99€ 17.80
€ 23.99
€ 17.80