×


 x 

Shopping cart

Systems analysis & design

Results 241 - 264 of 743

Systems analysis & design

hardcover. Part of the "CHDL Series", this work features a selection of the best papers presented in FDL'02. It contains papers from the Specification Formalisms for Proven design workshop that present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B. Editor(s): Villar, Eugenio; Mermet, Jean. Series: CHDL. Num Pages: 340 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 669.
Format
Hardback
Publication date
2003
Publisher
Kluwer Boston Incorporated United States
Number of pages
340
Condition
New
Edition
2003rd Edition
SKU
V9781402074141
ISBN
9781402074141
Hardback
Condition: New

€ 200.93

Paperback. Editor(s): Vishnevsky, Vladimir; Kozyrev, Dimitri; Larionov, Andrey. Series: Communications in Computer and Information Science. Num Pages: 277 pages, 89 black & white illustrations, biography. BIC Classification: UKN; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
277
Condition
New
SKU
V9783319052083
ISBN
9783319052083
Paperback
Condition: New

€ 66.54

Paperback. Editor(s): Vishnevsky, Vladimir; Kozyrev, Dmitry V. Series: Communications in Computer and Information Science. Num Pages: 380 pages, 102 colour illustrations, biography. BIC Classification: UGK; UKN; UTR; UYAM; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 599.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
380
Condition
New
SKU
V9783319308425
ISBN
9783319308425
Paperback
Condition: New

€ 67.57

Hardback. This volume contains the extended versions of the best papers presented at the ISVLSI 2010 conference. It features work from leading scientists from the emerging areas of nanoelectronics, MEMS and molecular, biological and quantum computing. Editor(s): Voros, Nikolaos S.; Mukherjee, Amar; Sklavos, Nicolas; Masselos, Konstantinos; Huebner, Michael. Series: Lecture Notes in Electrical Engineering. Num Pages: 356 pages, 27 black & white tables, biography. BIC Classification: PSA; TJFC; UT; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 695.
Format
Hardback
Publication date
2011
Publisher
Springer Netherlands
Edition
2011
Number of pages
356
Condition
New
SKU
V9789400714878
ISBN
9789400714878
Hardback
Condition: New

€ 251.05

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

Paperback. Proceedings of the NATO Advanced Study Institute on Superconducting Electronics, held in Il Ciocco, Italy, June 26 - July 8, 1988 Editor(s): Weinstock, Harold; Nisenoff, Martin. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 441 pages, biography. BIC Classification: TBC; TJFD5; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 24. Weight in Grams: 780.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1989
Number of pages
441
Condition
New
SKU
V9783642838873
ISBN
9783642838873
Paperback
Condition: New

€ 129.90

Paperback. Editor(s): Weyns, Danny; Fabien, Michel. Series: Lecture Notes in Computer Science. Num Pages: 265 pages, 63 colour illustrations, biography. BIC Classification: UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
265
Condition
New
SKU
V9783319238494
ISBN
9783319238494
Paperback
Condition: New

€ 66.46

Paperback. This volume of conference proceedings has been organized into sections on development process support, workflow management, quality management, object-oriented requirements engineering, behavioural modelling, advanced development tools, formal IS modelling and advanced database engineering. Editor(s): Wijers, Gerard; Brinkkemper, Sjaak. Series: Lecture Notes in Computer Science. Num Pages: 427 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 22. Weight in Grams: 1370.
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
427
Condition
New
SKU
V9783540581130
ISBN
9783540581130
Paperback
Condition: New

€ 111.71

Hardback. This book explores resilience assessment of computer systems, offering modeling techniques, model-driven prediction, measurement and metrics, testing, case studies and more. Includes modeling, benchmarking, testing, performance evaluation and dependability. Editor(s): Wolter, Katinka M.; Avritzer, Alberto; Vieira, Marco; Moorsel, Aad van (University of Newcastle upon Tyne). Num Pages: 508 pages, biography. BIC Classification: TGPR; UMZ; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 885.
Format
Hardback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
508
Condition
New
SKU
V9783642290312
ISBN
9783642290312
Hardback
Condition: New

€ 130.88

Paperback. This book explores resilience assessment of computer systems, offering modeling techniques, model-driven prediction, measurement and metrics, testing, case studies and more. Includes modeling, benchmarking, testing, performance evaluation and dependability. Editor(s): Wolter, Katinka M.; Avritzer, Alberto; Vieira, Marco; Moorsel, Aad van (University of Newcastle upon Tyne). Num Pages: 508 pages, biography. BIC Classification: PBWH; TGPR; UMZ; UYAM; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 771.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
508
Condition
New
SKU
V9783642436741
ISBN
9783642436741
Paperback
Condition: New

€ 129.90

Paperback. Proceedings of the Sixth International Conference of the British Computer Society Information Systems Methodologies Specialist Group, held on 25-27th August 1998 Editor(s): Wood-Harper, A. T.; Jayaratna, Nimal; Wood, Bob. Num Pages: 404 pages, 31 black & white illustrations, biography. BIC Classification: KJQ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 640.
Format
Paperback
Publication date
1999
Publisher
Springer London Ltd United Kingdom
Number of pages
404
Condition
New
SKU
V9781852330798
ISBN
9781852330798
Paperback
Condition: New

€ 68.20

hardcover. This book presents advances in complex, software intensive and intelligent systems. Each self-contained chapter is the contribution of distinguished experts in areas of research relevant to the study of complex, intelligent, and software intensive systems. Editor(s): Xhafa, Fatos; Barolli, Leonard; Papajorgji, Petraq J. Series: Springer Optimization and its Applications. Num Pages: 288 pages, 13 black & white tables, biography. BIC Classification: PBUH; UKR; UYD; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 17. Weight in Grams: 1280.
Format
Hardback
Publication date
2010
Publisher
Springer United States
Edition
2010th Edition
Number of pages
288
Condition
New
SKU
V9781441916358
ISBN
9781441916358
Hardback
Condition: New

€ 133.20

paperback. Editor(s): Xu, Weixia; Xiao, Liquan; Li, Jinwen; Zhang, Chengyi; Zhu, Zhenzhen. Series: Communications in Computer and Information Science. Num Pages: 200 pages, 110 black & white illustrations, biography. BIC Classification: UMB; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2015th Edition
Number of pages
200
Condition
New
SKU
V9783662458143
ISBN
9783662458143
Paperback
Condition: New

€ 66.95

Paperback. Editor(s): Xu, Weixia; Xiao, Liquan; Lu, Pingjing; Li, Jinwen; Zhang, Chengyi. Series: Communications in Computer and Information Science. Num Pages: 277 pages, 164 black & white illustrations, biography. BIC Classification: UKS; UMB; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
277
Condition
New
SKU
V9783642358975
ISBN
9783642358975
Paperback
Condition: New

€ 66.95

Paperback. Editor(s): Xu, Weixia; Xiao, Liquan; Zhang, Chengyi; Li, Jinwen; Yu, Liyang. Series: Communications in Computer and Information Science. Num Pages: 266 pages, 151 black & white illustrations, biography. BIC Classification: UKS; UMB; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 415.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
266
Condition
New
SKU
V9783642416347
ISBN
9783642416347
Paperback
Condition: New

€ 66.95

Hardback. Presents a summary in the applications of Petri nets to designing digital systems and circuits. This book is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and performance analysis using Petri nets. Editor(s): Yakovlev, Alex; Gomes, Luis; Lavagno, Luciano. Num Pages: 332 pages, biography. BIC Classification: TJF; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 664.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
332
Condition
New
SKU
V9780792377917
ISBN
9780792377917
Hardback
Condition: New

€ 200.77

Paperback. Editor(s): Yuan, Hanning; Geng, Jing; Bian, Fuling. Series: Communications in Computer and Information Science. Num Pages: 605 pages, 272 black & white illustrations, biography. BIC Classification: RGB; UGK; UNF; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Format
Paperback
Publication date
2017
Publisher
Springer Verlag, Singapore Singapore
Edition
1st ed. 2017
Number of pages
605
Condition
New
SKU
V9789811039652
ISBN
9789811039652
Paperback
Condition: New

€ 69.91

Paperback. Editor(s): Yuan, Hanning; Geng, Jing; Bian, Fuling. Series: Communications in Computer and Information Science. Num Pages: 497 pages, 253 black & white illustrations, biography. BIC Classification: RGB; UGK; UNF; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Format
Paperback
Publication date
2017
Publisher
Springer Verlag, Singapore Singapore
Edition
1st ed. 2017
Number of pages
497
Condition
New
SKU
V9789811039683
ISBN
9789811039683
Paperback
Condition: New

€ 69.44

paperback. Editor(s): Zhang, Xi; Qiao, Daji. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 652 pages, biography. BIC Classification: UKN; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 908.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2012th Edition
Number of pages
652
Condition
New
SKU
V9783642292217
ISBN
9783642292217
Paperback
Condition: New

€ 131.18

Paperback. Editor(s): Zhang, Xing; Wu, Zhonghai; Sha, Xingmian. Series: Communications in Computer and Information Science. Num Pages: 199 pages, 94 colour illustrations, biography. BIC Classification: UKN; UMB; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
Format
Paperback
Publication date
2016
Publisher
Springer Verlag, Singapore Singapore
Number of pages
199
Condition
New
SKU
V9789811004209
ISBN
9789811004209
Paperback
Condition: New

€ 66.97

paperback. Editor(s): Zheng, Xianghan; Hsu, Ching-Hsien. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 161 colour illustrations, biography. BIC Classification: UKN; UMZ; UNF; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Edition
1st ed. 2015
Number of pages
417
Condition
New
SKU
V9783319284293
ISBN
9783319284293
Paperback
Condition: New

€ 67.81

Paperback. Editor(s): Zimanyi, Esteban; Abello, Alberto. Series: Lecture Notes in Business Information Processing. Num Pages: 140 pages, 37 black & white illustrations, biography. BIC Classification: JPP; KJQ; UYD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 232.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
140
Condition
New
SKU
V9783319392424
ISBN
9783319392424
Paperback
Condition: New

€ 54.29

Paperback. Editor(s): Zimmermann, Wolf; Thalheim, B. Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
252
Condition
New
SKU
V9783540220947
ISBN
9783540220947
Paperback
Condition: New

€ 69.16

Hardback. Explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems. This book presents terms used in systems engineering and introduces the discrete system and its components. It is suitable for engineering students, engineers and scientists. Series: Systems Engineering. Num Pages: 710 pages, 30 black & white tables. BIC Classification: TBC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 163 x 45. Weight in Grams: 1238.
Format
Hardback
Publication date
1993
Publisher
Taylor & Francis Inc United States
Edition
1st Edition
Number of pages
710
Condition
New
SKU
V9780849380129
ISBN
9780849380129
Hardback
Condition: New

€ 321.70

Subscribe to our newsletter

News on special offers, signed editions & more!