Computer science
Results 7105 - 7128 of 16995
Computer science
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): Barbier, Franck. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 272 pages, biography. BIC Classification: UMX; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 272
- Condition
- New
- SKU
- V9781461354291
- ISBN
- 9781461354291
Paperback
Condition: New
€ 122.24
€ 122.24
Hardback. Stresses how business components are built for large-scale applications, within dedicated development processes and for easy and direct combination. This book introduces the advances on Component-Based Software Engineering. It is suitable for practitioners and researchers in industry and graduate-level students in Computer Science and Engineering. Editor(s): Barbier, Franck. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 272 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9781402072079
- ISBN
- 9781402072079
Hardback
Condition: New
€ 127.50
€ 127.50
Paperback. Num Pages: 66 pages, b/w illus & tables. BIC Classification: JMR; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 228 x 155 x 6. Weight in Grams: 144.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 66
- Condition
- New
- SKU
- V9781616682682
- ISBN
- 9781616682682
Paperback
Condition: New
€ 73.28€ 52.00
€ 73.28
€ 52.00
Hardback. Handbook of Strategic e-Business Management Editor(s): Martinez-Lopez, Francisco J. Series: Progress in IS. Num Pages: 1011 pages, 53 black & white illustrations, biography. BIC Classification: KJ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 54. Weight in Grams: 1886.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1011
- Condition
- New
- SKU
- V9783642397462
- ISBN
- 9783642397462
Hardback
Condition: New
€ 253.55
€ 253.55
paperback. Compiled from the proceedings of the Second International Workshop on Articulated Motion and Deformable Objects, this volume contains 21 papers. Among the topics addressed are geometric and physical deformable objects, motion analysis, articulated models and animation. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540001492
- ISBN
- 9783540001492
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. Editor(s): Duran, Francisco. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 249 pages, 51 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783642340048
- ISBN
- 9783642340048
Paperback
Condition: New
€ 58.98
€ 58.98
Paperback. Editor(s): Marchese, Francis T. Num Pages: 328 pages, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 17. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 328
- Condition
- New
- SKU
- V9781461383826
- ISBN
- 9781461383826
Paperback
Condition: New
€ 121.72
€ 121.72
Paperback. The rise of increasingly sophisticated spatial sound systems presents a challenge to audio engineers. This book explores the principles and practical considerations of spatial sound recording and reproduction. It provides a comprehensive study of the state of the art in spatial audio, concentrating on the widely used approaches and configurations. Num Pages: 254 pages, black & white illustrations. BIC Classification: AVX; TJ; UYU. Category: (P) Professional & Vocational. Dimension: 242 x 188 x 15. Weight in Grams: 476.
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2001
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780240516233
- ISBN
- 9780240516233
Paperback
Condition: New
€ 72.28
€ 72.28
Paperback. Num Pages: 309 pages, 3 black & white illustrations, 224 colour illustrations, biography. BIC Classification: UNH; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 180 x 254 x 22. Weight in Grams: 610.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484219577
- ISBN
- 9781484219577
Paperback
Condition: New
€ 75.70
€ 75.70
Hardcover. Real--time software is indispensable to all ultrareliable and safety critical applications. Providing an introduction to real--time scheduling within centralised and distributed systems, this work covers issues such as clocks, specification, design and modelling. Num Pages: 282 pages, Illustrations. BIC Classification: TJ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 256 x 185 x 21. Weight in Grams: 682.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 282
- Condition
- New
- SKU
- V9780470847664
- ISBN
- 9780470847664
Hardback
Condition: New
€ 186.38
€ 186.38
paperback. Constitutes the refereed proceedings of the Second International Symposium on Brain, Vision and Artificial Intelligence, BVAI 2007, held in Naples, Italy, October 10-12, 2007. This book presents 50 revised papers that were reviewed and selected from more than 80 submissions for inclusion. Series: Lecture Notes in Computer Science. Num Pages: 634 pages, biography. BIC Classification: UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 32. Weight in Grams: 967.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 634
- Condition
- New
- SKU
- V9783540755548
- ISBN
- 9783540755548
Paperback
Condition: New
€ 125.02
€ 125.02
Paperback. Series: SpringerBriefs in Applied Sciences and Technology. Num Pages: 45 pages, 15 colour illustrations, biography. BIC Classification: UNA; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 3. Weight in Grams: 108.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 45
- Condition
- New
- SKU
- V9783319515496
- ISBN
- 9783319515496
Paperback
Condition: New
€ 72.50
€ 72.50
Hardback. Introduces the distributed control of robotic networks. This book presents a set of tools for understanding coordination algorithms, determining their correctness, and assessing their complexity. It analyzes various cooperative strategies for tasks such as consensus, rendezvous, connectivity maintenance, deployment, and boundary estimation. Series: Princeton Series in Applied Mathematics. Num Pages: 320 pages, 76 line illus. BIC Classification: TBJ; TJFM1; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 261 x 185 x 24. Weight in Grams: 872.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Princeton University Press United States
- Number of pages
- 336
- Condition
- New
- SKU
- V9780691141954
- ISBN
- 9780691141954
Hardback
Condition: New
€ 82.75€ 64.13
€ 82.75
€ 64.13
Paperback. Editor(s): Flammini, Francesco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 215 pages, 84 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319107011
- ISBN
- 9783319107011
Paperback
Condition: New
€ 63.26
€ 63.26
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 365 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 365
- Condition
- New
- SKU
- V9783642024238
- ISBN
- 9783642024238
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. This book focuses on the analysis and design of low-density parity-check (LDPC)-coded modulations. These are becoming part of several current and future communication systems, such as high-throughput terrestrial and satellite wireless networks. Series: Signals and Communication Technology. Num Pages: 250 pages, biography. BIC Classification: GPF; TJFM1; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642088964
- ISBN
- 9783642088964
Paperback
Condition: New
€ 184.95
€ 184.95
Paperback. This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones. Series: Trends in Logic. Num Pages: 224 pages, biography. BIC Classification: HPL; PBCD; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 224
- Condition
- New
- SKU
- V9789400734425
- ISBN
- 9789400734425
Paperback
Condition: New
€ 174.42
€ 174.42
Hardback. Series: Springer Tracts on Transportation and Traffic. Num Pages: 230 pages, 61 black & white illustrations, 8 colour illustrations, biography. BIC Classification: KCU; TNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 230
- Condition
- New
- SKU
- V9783662488560
- ISBN
- 9783662488560
Hardback
Condition: New
€ 121.99
€ 121.99
Paperback. Covers the proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. This book addresses various aspects of constraint and logic programming, including foundational issues, and implementation techniques. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 166 pages, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 166
- Condition
- New
- SKU
- V9783540898115
- ISBN
- 9783540898115
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback / so. Series: Vieweg-Programmbibliothek Mikrocomputer. Num Pages: black & white illustrations, bibliography. BIC Classification: UYQE. Category: (G) General (US: Trade). Dimension: 234 x 156 x 5. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528042189
- ISBN
- 9783528042189
Paperback
Condition: New
€ 67.76
€ 67.76
Paperback. Series: Mathematics and its Applications. Num Pages: 510 pages, biography. BIC Classification: PBW; TGB; TGMD4; TJF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 510
- Condition
- New
- SKU
- V9789048152940
- ISBN
- 9789048152940
Paperback
Condition: New
€ 124.03
€ 124.03
Paperback. Num Pages: 390 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. Softcover of orig. ed. 2004
- Number of pages
- 390
- Condition
- New
- SKU
- V9781441954626
- ISBN
- 9781441954626
Paperback
Condition: New
€ 187.25
€ 187.25
Hardback. Focuses on how to specify assertions, how to create and adopt a methodology that supports assertion-based design, and what to do with the assertions and methodology. This title offers multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera System Verilog. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 390 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 28. Weight in Grams: 726.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 2004
- Number of pages
- 390
- Condition
- New
- SKU
- V9781402080272
- ISBN
- 9781402080272
Hardback
Condition: New
€ 192.27
€ 192.27