.png){kind=logo}
Systems analysis & design
Results 649 - 672 of 743
Systems analysis & design
Paperback. Illustrates how engineering problems can be solved using the results of combinatorial mathematics through mathematical modelling. It covers the structural solvability of a system of linear or nonlinear equations as well as the structural controllability of a linear time-invariant system. Series: Algorithms and Combinatorics. Num Pages: 294 pages, biography. BIC Classification: PBK; PBW; UGK; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 15. Weight in Grams: 560.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 294
- Condition
- New
- SKU
- V9783540176596
- ISBN
- 9783540176596
Paperback
Condition: New
€ 128.45
€ 128.45
Hardback. Proceedings of the Eighth Symposium, held September 20-27, 2000, Snowmass Village, Colorado, USA Editor(s): Arthaud, Greg J. (USDA Forest Service, Washington Office, USA); Barrett, Tara M. (Forest Inventory and Analysis, Pacific Northwest Research Station, USDA Forest Service, USA). Series: Managing Forest Ecosystems. Num Pages: 338 pages, biography. BIC Classification: RNF; TVR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 682.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- SKU
- V9781402012563
- ISBN
- 9781402012563
Hardback
Condition: New
€ 195.64
€ 195.64
Paperback. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 156 x 234 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2001
- Number of pages
- 190
- Condition
- New
- SKU
- V9783642074783
- ISBN
- 9783642074783
Paperback
Condition: New
€ 183.08
€ 183.08
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 186.93
€ 186.93
Hardback. Editor(s): Lynch, Jane E.; Mitchell, Wilbert I. Num Pages: 182 pages, Illustrations. BIC Classification: TBD; UYD. Category: (P) Professional & Vocational. Dimension: 262 x 181 x 15. Weight in Grams: 520.
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 182
- Format
- Hardback
- Publication date
- 2012
- Condition
- New
- SKU
- V9781620817704
- ISBN
- 9781620817704
Hardback
Condition: New
€ 237.35€ 162.43
€ 237.35
€ 162.43
Paperback. Editor(s): Hopkins, Marlene. Num Pages: 100 pages. BIC Classification: TBC; TTBM; UYD. Category: (G) General (US: Trade). Dimension: 230 x 155. .
- Publisher
- Nova Science Publishers Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634857529
- ISBN
- 9781634857529
Paperback
Condition: New
€ 137.66€ 104.77
€ 137.66
€ 104.77
Paperback. The proceedings of the 15th IFIP Conference, held in Zurich in September 1991, are presented in this volume. The contributors discussed optimality and duality, linear programming, control problems, stochastics, computer-aided modelling and design, computational geometry and other issues. Editor(s): Kall, Peter. Series: Lecture Notes in Control and Information Sciences. Num Pages: 992 pages, 62 black & white tables, biography. BIC Classification: PBW; TJFM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 50. Weight in Grams: 1496.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 992
- Condition
- New
- SKU
- V9783540555773
- ISBN
- 9783540555773
Paperback
Condition: New
€ 134.64
€ 134.64
Hardback. * Part 1: "Systems of systems: concepts and practical illustrations" is a multidisciplinary work on the concept of the "systems-of-systems" * It provides key answers as to what a system of systems is and how its complexity can be mastered. Editor(s): Luzeaux, Dominique; Ruault, Jean-Rene. Num Pages: 548 pages, Illustrations. BIC Classification: TBC; UYD. Category: (P) Professional & Vocational. Dimension: 158 x 241 x 36. Weight in Grams: 938.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 544
- Condition
- New
- SKU
- V9781848211643
- ISBN
- 9781848211643
Hardback
Condition: New
€ 264.29
€ 264.29
paperback. The notion of system is common to a number of scientific fields. This book provides insight into theoretical approaches to systems and demonstrates relationships between concepts and methods developed in the diverse fields where system theory is applied. Editor(s): Albrecht, Rudolf. Series: Advances in Computing Sciences. Num Pages: 321 pages, 7 black & white illustrations. BIC Classification: GPFC; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 620.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer Austria
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 321
- Condition
- New
- SKU
- V9783211832066
- ISBN
- 9783211832066
Paperback
Condition: New
€ 68.05
€ 68.05
Hardcover. In its updated second edition, this book has been rewritten chapter-by-chapter to accurately reflect the syntax and semantic changes to the SystemVerilog language standard, making it an essential reference for systems professionals who need the latest version information Num Pages: 418 pages, biography. BIC Classification: TJF; UK; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 164 x 31. Weight in Grams: 890.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2006
- Edition
- 2nd
- Condition
- New
- SKU
- V9780387333991
- ISBN
- 9780387333991
Hardback
Condition: New
€ 291.24
€ 291.24
Paperback. This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. It contains a new chapter covering programs and interfaces as well as chapters with updated information. Num Pages: 429 pages, 5 black & white illustrations, 15 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 2nd ed. 2008
- Number of pages
- 429
- Condition
- New
- SKU
- V9781441945617
- ISBN
- 9781441945617
Paperback
Condition: New
€ 162.60
€ 162.60
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Vieweg+Teubner Verlag United Kingdom
- Condition
- New
- SKU
- V9783663052838
- ISBN
- 9783663052838
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Constitutes the proceedings of the 12th International Conference on Transport Systems Telematics, TST 2012, held in Katowice-Ustron, Poland, in October 2012. Editor(s): Mikulski, Jerzy. Series: Communications in Computer and Information Science. Num Pages: 448 pages, 156 black & white illustrations, biography. BIC Classification: JPP; UBJ; UGK; UNH; UYD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642340499
- ISBN
- 9783642340499
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 76 pages, 11 black & white illustrations, 7 colour illustrations, biography. BIC Classification: TGPR; TJK; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 4. Weight in Grams: 134.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 76
- Condition
- New
- SKU
- V9783319064390
- ISBN
- 9783319064390
Paperback
Condition: New
€ 72.53
€ 72.53
Paperback. This book introduces new techniques for detecting and diagnosing small-delay defects in integrated circuits. It details effective and scalable methodologies for screening and diagnosing small-delay defects. Num Pages: 230 pages, 51 black & white tables, biography. BIC Classification: TDPB; TJFC; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 230
- Condition
- New
- SKU
- V9781489989529
- ISBN
- 9781489989529
Paperback
Condition: New
€ 149.91
€ 149.91
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Korakis, Thanasis; Li, Hongbin; Tran...
Paperback. Constitutes the proceedings of the 7th International ICST Conference, TridentCom 2011, held in Shanghai, China, in April 2011. This title focuses on topics such as future Internet testbeds, future wireless testbeds, federated and large scale testbeds, network and resource virtualization, and more. Editor(s): Korakis, Thanasis; Li, Hongbin; Tran-Gia, Phuoc (Universitat Wurzburg); Park, Hong-Shik. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 331 pages, 169 black & white illustrations, biography. BIC Classification: UGK; UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 331
- Condition
- New
- SKU
- V9783642292729
- ISBN
- 9783642292729
Paperback
Condition: New
€ 67.33
€ 67.33
Testbeds and Research Infrastructure: Development of Networks and Comm...
. Ed(S): Korakis, Thanasis; Zink, Michael; Ot...
Paperback. Editor(s): Korakis, Thanasis; Zink, Michael; Ott, Maximilian. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 445 pages, 224 black & white illustrations, biography. BIC Classification: UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783642355752
- ISBN
- 9783642355752
Paperback
Condition: New
€ 68.44
€ 68.44
Testbeds and Research Infrastructures for the Development of Networks ...
. Ed(S): Wei, Guiyi; Xiang, Yang; Lin, Xiaodo...
Paperback. Editor(s): Wei, Guiyi; Xiang, Yang; Lin, Xiaodong; Lorenz, Pascal. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 179 pages, 101 black & white illustrations, biography. BIC Classification: UF; UR; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 179
- Condition
- New
- SKU
- V9783319495798
- ISBN
- 9783319495798
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 179 pages, biography. BIC Classification: UBJ; UKN; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 179
- Condition
- New
- SKU
- V9783642029486
- ISBN
- 9783642029486
Paperback
Condition: New
€ 66.97
€ 66.97
paperback. Num Pages: 261 pages, 171 black & white illustrations, biography. BIC Classification: UKN; UL; UR; UYD. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 15. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Apress United States
- Edition
- 1st ed.
- Number of pages
- 261
- Condition
- New
- SKU
- V9781484218167
- ISBN
- 9781484218167
Paperback
Condition: New
€ 67.07€ 58.60
€ 67.07
€ 58.60
Hardcover.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 720
- Condition
- New
- SKU
- V9780471503361
- ISBN
- 9780471503361
Hardback
Condition: New
€ 116.56
€ 116.56
Hardback. The Verilog hardware description language provides the ability to describe digital and analog systems for design concepts and implementation. It was developed originally at Gateway Design and implemented there. This book introduces the language and describes that features of the language using semantic introduction, syntax and examples. Num Pages: 464 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1900.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 464
- Condition
- New
- SKU
- V9780792381884
- ISBN
- 9780792381884
Hardback
Condition: New
€ 211.27
€ 211.27
Paperback. Explores the analogies between computing machines and the living human brain. This title shows that the brain operates both digitally and analogically, but also has its own unique statistical language. Series: The Silliman Memorial Lectures Series. Num Pages: 160 pages, frontispiece. BIC Classification: GPFC; UYD. Category: (P) Professional & Vocational. Dimension: 125 x 196 x 8. Weight in Grams: 142.
- Publisher
- Yale University Press United States
- Number of pages
- 160
- Format
- Paperback
- Publication date
- 2012
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780300181111
- ISBN
- 9780300181111
Paperback
Condition: New
€ 19.71
€ 19.71
Paperback. .
- Publisher
- Elsevier Science & Technology
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780128032770
- ISBN
- 9780128032770
Paperback
Condition: New
€ 64.07
€ 64.07