Computer science
Results 10633 - 10656 of 16990
Computer science
Paperback. Editor(s): Bosnacki, Dragan. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319325811
- ISBN
- 9783319325811
Paperback
Condition: New
€ 63.66
€ 63.66
Paperback. Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are organized in topical sections on abstractions and state-space reductions; PROMELA encodings and extensions; and, applications of model checking. Editor(s): Groce, Alex; Musuvathi, Madanlal. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 35 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642223051
- ISBN
- 9783642223051
Paperback
Condition: New
€ 78.86
€ 78.86
paperback. Series: Applied Optimization. Num Pages: 264 pages, biography. BIC Classification: GPFC; MBN; PDE; PSAF; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 264
- Condition
- New
- SKU
- V9781461368199
- ISBN
- 9781461368199
Paperback
Condition: New
€ 121.29
€ 121.29
Hardback. A monograph that introduces a novel class of non-linear dynamic mathematical models that makes possible the modeling of problems of analysis and synthesis for a wide class of evolutionary systems. It focuses on the general theory, dealing with the existence and uniqueness of solutions for the systems of equations of mathematical models. Series: Applied Optimization. Num Pages: 264 pages, biography. BIC Classification: GPFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 264
- Condition
- New
- SKU
- V9780792356103
- ISBN
- 9780792356103
Hardback
Condition: New
€ 127.40
€ 127.40
Paperback. Constitutes the refereed post-proceedings of the two European Workshops on 'Model Driven Architecture - Foundations and Applications, MDAFA 2003', held in Twente, The Netherlands in June 2003, and 'MDAFA 2004' held in Linkoping, Sweden in June 2004. This book presents 15 papers, selected from the lectures of both events. Editor(s): Abmann, Uwe. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783540282402
- ISBN
- 9783540282402
Paperback
Condition: New
€ 66.01
€ 66.01
Paperback. This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application--oriented issues. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 232 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540729006
- ISBN
- 9783540729006
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. This book details how to use model-driven engineering for ontology development on the Semantic Web. It explains in detail how to use standards like MDA and UML for ontology development and offers the first detailed description of OMG's upcoming ODM standard. Num Pages: 378 pages, 183 black & white illustrations, 7 black & white tables, biography. BIC Classification: UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 2nd ed. 2009
- Number of pages
- 378
- Condition
- New
- SKU
- V9783642101342
- ISBN
- 9783642101342
Paperback
Condition: New
€ 122.80
€ 122.80
Hardback. Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. Editor(s): Gerard, Sebastien; Babau, Jean-Philippe; Champeau, Joel. Num Pages: 288 pages, Illustrations,. BIC Classification: TJFD; UYD. Category: (P) Professional & Vocational. Dimension: 243 x 164 x 21. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- ISTE Ltd United Kingdom
- Number of pages
- 288
- Condition
- New
- SKU
- V9781905209323
- ISBN
- 9781905209323
Hardback
Condition: New
€ 183.32
€ 183.32
Hardback. Model-based development methods, and supporting technologies, canprovide the techniques and tools needed to address the dilemmabetween reducing system development costs and time, and developingincreasingly complex systems. Editor(s): Gerard, Sebastien; Blay-Fornarino, Mireille; Babau, Jean-Philippe; Robert, Sylvain; Sabetta, Antonino; Champeau, Joel. Num Pages: 254 pages, Illustrations. BIC Classification: TJFD; UYF. Category: (P) Professional & Vocational. Dimension: 243 x 166 x 19. Weight in Grams: 512.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 320
- Condition
- New
- SKU
- V9781848211155
- ISBN
- 9781848211155
Hardback
Condition: New
€ 170.09
€ 170.09
Paperback. Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 724 pages, biography. BIC Classification: TBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 37. Weight in Grams: 1048.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 740
- Condition
- New
- SKU
- V9783540290100
- ISBN
- 9783540290100
Paperback
Condition: New
€ 133.38
€ 133.38
Paperback. Editor(s): France, Robert B.; Kazmeier, Jurgen; Breu, Ruth; Atkinson, Colin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 848 pages, 298 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 157 x 236 x 46. Weight in Grams: 1180.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 848
- Condition
- New
- SKU
- V9783642336652
- ISBN
- 9783642336652
Paperback
Condition: New
€ 69.48
€ 69.48
Paperback. Editor(s): Moreira, Ana; Schatz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 820 pages, 299 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1234.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 820
- Condition
- New
- SKU
- V9783642415326
- ISBN
- 9783642415326
Paperback
Condition: New
€ 68.82
€ 68.82
paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 776 pages, biography. BIC Classification: UMX; UMZ; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1175.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 2009th Edition
- Number of pages
- 776
- Condition
- New
- SKU
- V9783642044243
- ISBN
- 9783642044243
Paperback
Condition: New
€ 126.34
€ 126.34
Hardback. Series: Xpert.Press. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: UB; UDB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 234 x 155 x 28. Weight in Grams: 726.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642144691
- ISBN
- 9783642144691
Hardback
Condition: New
€ 71.85
€ 71.85
Hardback. Combines the issues of the hardware description language VHDL-AMS aimed at model representation of mixed-signal circuits and systems, of characterization methods and tools for the extraction of model parameters, and of modeling methodologies for accurate high-level behavioral models. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 162 pages, biography. BIC Classification: TJFD1; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 162
- Condition
- New
- SKU
- V9780792375982
- ISBN
- 9780792375982
Hardback
Condition: New
€ 189.37
€ 189.37
Paperback. Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing. Series: Lecture Notes in Computer Science. Num Pages: 188 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 188
- Condition
- New
- SKU
- V9783540210696
- ISBN
- 9783540210696
Paperback
Condition: New
€ 64.82
€ 64.82
Hardback. With more than 170 illustrations, this volume provides vital insights into the predictive control of lightly damped vibrating structures through efficient algorithms capable of low-frequency vibration control, guaranteed stability and constraint feasibility. Num Pages: 518 pages, 15 black & white tables, biography. BIC Classification: PBWH; TGMD4; UY. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 35. Weight in Grams: 958.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012
- Number of pages
- 518
- Condition
- New
- SKU
- V9781447123323
- ISBN
- 9781447123323
Hardback
Condition: New
€ 273.78
€ 273.78
Hardcover. This book describes model-based development of adaptive embedded systems, presenting techniques that focus on the problem domain rather than on the solution domain, thereby increasing development efficiency. Includes industrial examples of the models used. Editor(s): Basten, Twan; Hamberg, Roelof; Reckers, Frans; Verriet, Jacques. Series: Embedded Systems. Num Pages: 306 pages, 2 black & white tables, biography. BIC Classification: TJFC; UKM; UYF. Category: (P) Professional & Vocational. Dimension: 244 x 157 x 18. Weight in Grams: 600.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9781461448204
- ISBN
- 9781461448204
Hardback
Condition: New
€ 123.91
€ 123.91
Paperback. This book describes model-based development of adaptive embedded systems, presenting techniques that focus on the problem domain rather than on the solution domain, thereby increasing development efficiency. Includes industrial examples of the models used. Editor(s): Basten, Twan; Hamberg, Roelof; Reckers, Frans; Verriet, Jacques. Series: Embedded Systems. Num Pages: 320 pages, 2 black & white tables, biography. BIC Classification: TJF; TJFC; TJFM; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9781489996190
- ISBN
- 9781489996190
Paperback
Condition: New
€ 122.53
€ 122.53
Hardcover. This unique textbook introduces and describes in detail the SEQUAL framework for understanding the quality of models and modeling languages, including the numerous specializations of the generic framework, and the differing ways in which it can be applied. Num Pages: 442 pages, biography. BIC Classification: KJQ; UYZM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 164 x 23. Weight in Grams: 772.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9781447129356
- ISBN
- 9781447129356
Hardback
Condition: New
€ 66.99
€ 66.99
Paperback. This unique textbook introduces and describes in detail the SEQUAL framework for understanding the quality of models and modeling languages, including the numerous specializations of the generic framework, and the differing ways in which it can be applied. Num Pages: 442 pages, biography. BIC Classification: KJQ; UGK; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 442
- Condition
- New
- SKU
- V9781447161417
- ISBN
- 9781447161417
Paperback
Condition: New
€ 65.84
€ 65.84
Model-Based Engineering of Embedded Real-Time Systems
. Ed(S): Giese, Holger; Karsai, Gabor; Lee, E...
Paperback. Describes novel and advanced approaches to solving problems arising in the domain of embedded real-time systems. This title is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Editor(s): Giese, Holger; Karsai, Gabor; Lee, Edward A.; Rumpe, Bernhard; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 400 pages, 94 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642162763
- ISBN
- 9783642162763
Paperback
Condition: New
€ 66.21
€ 66.21
Hardcover. This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology. Editor(s): Pohl, Klaus; Honninger, Harald; Achatz, Reinhold; Broy, Manfred. Num Pages: 316 pages, biography. BIC Classification: TRC; TRP; UBH; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 705.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642346132
- ISBN
- 9783642346132
Hardback
Condition: New
€ 97.23
€ 97.23
Paperback. This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology. Editor(s): Pohl, Klaus; Honninger, Harald; Achatz, Reinhold; Broy, Manfred. Num Pages: 316 pages. BIC Classification: TRC; TRP; UBH; UMZ; UYQE. Category: (G) General (US: Trade). Dimension: 240 x 168 x 17. Weight in Grams: 538.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783642439926
- ISBN
- 9783642439926
Paperback
Condition: New
€ 64.45
€ 64.45