Computer programming / software development
Results 7621 - 7640 of 7672
Computer programming / software development
Hardback. Covers the methodology and techniques of constrained verification. This title relates constrained verification with the technology called assertion - based design. It discusses and clarifies language issues, critical to both the above, which helps the implementation of these languages. Num Pages: 254 pages, 72 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9780387259475
- ISBN
- 9780387259475
Hardback
Condition: New
€ 132.81
€ 132.81
Paperback. Num Pages: 254 pages, 72 black & white illustrations, biography. BIC Classification: TJFC; UGC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 254
- Condition
- New
- SKU
- V9781441938527
- ISBN
- 9781441938527
Paperback
Condition: New
€ 127.73
€ 127.73
hardcover. Series: Springer Theses. Num Pages: 114 pages, 5 black & white illustrations, 18 colour illustrations, biography. BIC Classification: TTBM; UMB; UNF; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 345.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2015th Edition
- Number of pages
- 114
- Condition
- New
- SKU
- V9783662445259
- ISBN
- 9783662445259
Hardback
Condition: New
€ 66.25
€ 66.25
Paperback. Series: Springer Theses. Num Pages: 114 pages, 5 black & white illustrations, 18 colour illustrations, biography. BIC Classification: TTBM; UMB; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 191.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 114
- Condition
- New
- SKU
- V9783662525630
- ISBN
- 9783662525630
Paperback
Condition: New
€ 76.39
€ 76.39
hardcover. Series: Lecture Notes in Electrical Engineering. Num Pages: 305 pages, 40 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- 1st ed. 2015
- Number of pages
- 305
- Condition
- New
- SKU
- V9789812876089
- ISBN
- 9789812876089
Hardback
Condition: New
€ 206.22
€ 206.22
Hardback. This book presents a coherence-based approach to computer graphics that can be comprehensively applied to all the major elements of image-based appearance modeling, from data acquisition and user-assisted modeling to efficient rendering and model editing. Num Pages: 178 pages, 4 black & white illustrations, 92 colour illustrations, 6 black & white tables, 1 colour. BIC Classification: UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 450.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 178
- Condition
- New
- SKU
- V9783642357763
- ISBN
- 9783642357763
Hardback
Condition: New
€ 128.09
€ 128.09
Paperback. Editor(s): Luo, Yuhua. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 219 pages, 23 black & white illustrations, 73 colour illustrations, biography. BIC Classification: UBJ; UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642237331
- ISBN
- 9783642237331
Paperback
Condition: New
€ 83.55
€ 83.55
Paperback. Written by Yukihiro Matsumoto ("Matz"), creator of the language, this text is a practical reference guide covering everything from Ruby syntax to the specifications of its standard class libraries. The book is based on Ruby 1.6, and is applicable to development versions 1.7. Num Pages: 205 pages, index. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230 x 191 x 16. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- O´Reilly Media United States
- Number of pages
- 205
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780596002145
- ISBN
- 9780596002145
Paperback
Condition: New
€ 27.04
€ 27.04
Paperback. A noted software developer focuses on the open source TopLink persistence engine as a likely replacement for Hibernate long term. TopLink resides under the emerging official agile lightweight GlassFish application development framework and deployment platform project based on Java EE. Num Pages: 400 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 233 x 178 x 22. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 436
- Condition
- New
- SKU
- V9781430209638
- ISBN
- 9781430209638
Paperback
Condition: New
€ 48.99€ 42.10
€ 48.99
€ 42.10
Hardback. The first elementary exposition of core ideas of complexity theory for convex optimization, this book explores optimal methods and lower complexity bounds for smooth and non-smooth convex optimization. Also covers polynomial-time interior-point methods. Series: Applied Optimization. Num Pages: 254 pages, biography. BIC Classification: PBU; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 166 x 242 x 24. Weight in Grams: 552.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag New York Inc.
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9781402075537
- ISBN
- 9781402075537
Hardback
Condition: New
€ 232.16
€ 232.16
Hardcover. Semantics of Probabilistic Processes Num Pages: 249 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 248 x 163 x 19. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783662451977
- ISBN
- 9783662451977
Hardback
Condition: New
€ 67.53
€ 67.53
Paperback. Num Pages: 263 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 263
- Condition
- New
- SKU
- V9783662515983
- ISBN
- 9783662515983
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas. Editor(s): Deville, Yves. Series: Workshops in Computing. Num Pages: 245 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 245
- Condition
- New
- SKU
- V9783540198642
- ISBN
- 9783540198642
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. "SharePoint 2010 Site Owner's Manual" is designed especially for non-developers who need to create and maintain SharePoint sites. The approaches are simple enough that a tech-savvy business user can follow along without having to understand how to program. Num Pages: 382 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 186 x 229 x 19. Weight in Grams: 656.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Manning Publications United States
- Edition
- Pap/Psc
- Number of pages
- 363
- Condition
- New
- SKU
- V9781933988757
- ISBN
- 9781933988757
Paperback
Condition: New
€ 46.25
€ 46.25
Paperback. Num Pages: 200 pages. BIC Classification: UMB; UNF. Category: (G) General (US: Trade). Dimension: 193 x 235 x 27. Weight in Grams: 788.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Technics Publications LLC United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9781634621304
- ISBN
- 9781634621304
Paperback
Condition: New
€ 54.65€ 43.45
€ 54.65
€ 43.45
Paperback. Built to support fault-tolerant telecom infrastructure, Erlang shines at reliability and scalability. Combining the Erlang language with the YAWS framework for supporting web services offers tremendous power for delivering massive volumes of data over the Web. Num Pages: 156 pages, Illustrations. BIC Classification: UMWS. Category: (XV) Technical / Manuals. Dimension: 232 x 178 x 8. Weight in Grams: 268.
- Publisher
- O´Reilly Media United States
- Number of pages
- 156
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449309961
- ISBN
- 9781449309961
Paperback
Condition: New
€ 22.31
€ 22.31
Paperback. Move beyond simple site creation and build web applications with HTML5 that can compete with desktop apps and run on mobile devices. This practical guide shows you how HTML5's JavaScript APIs give you the power to take web development into many fields that used to require more platform-specific development-particularly mobile deployment. Num Pages: 142 pages, Illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 232 x 180 x 8. Weight in Grams: 242.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- O´Reilly Media United States
- Edition
- 1st Edition
- Number of pages
- 142
- Condition
- New
- SKU
- V9781449399085
- ISBN
- 9781449399085
Paperback
Condition: New
€ 27.04
€ 27.04
Hardback. Editor(s): Mahmood, Zaigham. Series: Computer Communications and Networks. Num Pages: 430 pages, 29 black & white illustrations, 75 colour illustrations, biography. BIC Classification: UMZ; UY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 430
- Condition
- New
- SKU
- V9783319543246
- ISBN
- 9783319543246
Hardback
Condition: New
€ 129.95
€ 129.95
Paperback. This book presents state-of-the-art research and practical guidance on the emerging cloud paradigm. Covers service delivery and deployment models, best practices for design of cloud-based services, software performance testing, migration, assessment and more. Editor(s): Mahmood, Zaigham. Series: Computer Communications and Networks. Num Pages: 364 pages, 97 black & white illustrations, 19 black & white tables, biography. BIC Classification: KJQ; UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 364
- Condition
- New
- SKU
- V9781447159599
- ISBN
- 9781447159599
Paperback
Condition: New
€ 128.12
€ 128.12
Paperback. Editor(s): Ruvalcaba, Zak; Murach, Mike. Num Pages: 624 pages, 251 illus. BIC Classification: UMW. Category: (G) General (US: Trade). Dimension: 204 x 254 x 39. Weight in Grams: 1456.
- Publisher
- Mike Murach & Associates Inc. United States
- Number of pages
- 624
- Format
- Paperback
- Publication date
- 2013
- Edition
- 1st
- Condition
- New
- SKU
- V9781890774707
- ISBN
- 9781890774707
Paperback
Condition: New
€ 66.53€ 52.21
€ 66.53
€ 52.21