.png){kind=logo}
Systems analysis & design
Results 241 - 264 of 743
Systems analysis & design
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540650034
- ISBN
- 9783540650034
Paperback
Condition: New
€ 71.25
€ 71.25
Paperback. This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions. Editor(s): Dal Lago, Ugo; Eekelen, Marko van. Series: Lecture Notes in Computer Science. Num Pages: 136 pages, 30 black & white illustrations, biography. BIC Classification: UGK; UMZ; UNH; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 136
- Condition
- New
- SKU
- V9783319465586
- ISBN
- 9783319465586
Paperback
Condition: New
€ 78.74
€ 78.74
Paperback. Editor(s): Dal Lago, Ugo; Pena, Ricardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 34 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319124650
- ISBN
- 9783319124650
Paperback
Condition: New
€ 54.53
€ 54.53
Foundational and Practical Aspects of Resource Analysis
. Ed(S): Pena, Ricardo; Eekelen, Marko Van; S...
Paperback. Editor(s): Pena, Ricardo; Eekelen, Marko van; Shkaravska, Olha. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 150 pages, 30 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783642324949
- ISBN
- 9783642324949
Paperback
Condition: New
€ 61.44
€ 61.44
Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 462 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1440.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540330455
- ISBN
- 9783540330455
Paperback
Condition: New
€ 73.45
€ 73.45
Paperback. Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems. Editor(s): Nielsen, Mogens; Engberg, Uffe. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, biography. BIC Classification: UMZ; UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783540433668
- ISBN
- 9783540433668
Paperback
Condition: New
€ 73.21
€ 73.21
Paperback. These refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, include: algebraic models; automata and language theory; behavioral equivalences; categorical models; and computation processes over discrete and continuous data. Editor(s): Gordon, Andrew D. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540008972
- ISBN
- 9783540008972
Paperback
Condition: New
€ 73.28
€ 73.28
Paperback. Deals with topics that include algebraic models, automata and language theory, behavioral equivalences, categorical models, and computation processes over discrete and continuous data. This book also covers infinite state systems computation structures, and logics of programs, modal, spatial, and temporal logics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 395 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540713883
- ISBN
- 9783540713883
Paperback
Condition: New
€ 72.10
€ 72.10
Paperback. This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems. Editor(s): Amadio, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 523 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 523
- Condition
- New
- SKU
- V9783540784975
- ISBN
- 9783540784975
Paperback
Condition: New
€ 69.28
€ 69.28
Hardcover. An introductory text, this book introduces the HDL (hardware description languages) and FPGA development process to designers through a series of hands-on experiments. The main focus of the book is on the effective derivation of hardware. Num Pages: 468 pages, Illustrations. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 264 x 183 x 27. Weight in Grams: 960.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 468
- Condition
- New
- SKU
- V9780470185315
- ISBN
- 9780470185315
Hardback
Condition: New
€ 134.33
€ 134.33
From Fault Classification to Fault Tolerance for Multi-Agent Systems
Potiron, Katia; El Fallah Seghrouchni, Amal; ...
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 88 pages, 19 black & white illustrations, 12 black & white tables, biography. BIC Classification: TGPQ; UYD. Category: (P) Professional & Vocational. Dimension: 225 x 143 x 7. Weight in Grams: 156.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 90
- Condition
- New
- SKU
- V9781447150459
- ISBN
- 9781447150459
Paperback
Condition: New
€ 73.69
€ 73.69
Paperback. Architectural stress is the inability of a system design to respond to new market demands. It is an important yet often concealed issue in high tech systems. In this book, the authors look at the phenomenon of architectural stress in embedded systems in the context of a transmission electron microscope system built by FEI Company. Editor(s): Doornbos, Richard; Van Loo, Sjir. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 112 pages, 55 black & white illustrations, 1 black & white tables, 1 colour tables, biography. BIC Classification: PBWH; PNFS; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 188.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 112
- Condition
- New
- SKU
- V9789400741461
- ISBN
- 9789400741461
Paperback
Condition: New
€ 66.95
€ 66.95
Function / Architecture Optimization and Co-Design of Embedded Systems
Tabbara, Bassam; Tabbara, Abdallah; Sangiovan...
Hardback. Presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. This book discusses the proposed function/architecture co-design methodology, focusing on design representation, optimization, validation, and synthesis. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 248 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 248
- Condition
- New
- SKU
- V9780792379850
- ISBN
- 9780792379850
Hardback
Condition: New
€ 132.81
€ 132.81
Paperback. Num Pages: 199 pages, biography. BIC Classification: THR; TJFC; UGC; UYD; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 199
- Condition
- New
- SKU
- V9781489973368
- ISBN
- 9781489973368
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. To develop information processing systems requires effective and efficient communication between many people. In order to understand requirements and design decisions, there is a need for a common conceptual model of the system: one that represents the architecture of the system. Num Pages: 350 pages, Illustrations. BIC Classification: KJM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 191 x 19. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 350
- Condition
- New
- SKU
- V9780470027103
- ISBN
- 9780470027103
Paperback
Condition: New
€ 54.99€ 43.30
€ 54.99
€ 43.30
Mixed media product. Num Pages: 344 pages. BIC Classification: UYD. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 159 x 303 x 22. Weight in Grams: 696.
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- Pck Har/Ps
- Condition
- New
- SKU
- V9781498764360
- ISBN
- 9781498764360
Paperback
Condition: New
€ 130.55€ 125.47
€ 130.55
€ 125.47
Future Access Enablers for Ubiquitous and Intelligent Infrastructures
. Ed(S): Atanasovski, Vladimir; Leon-Garcia, ...
Paperback. Editor(s): Atanasovski, Vladimir; Leon-Garcia, Alberto. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 328 pages, 136 colour illustrations, biography. BIC Classification: TJK; UBH; UKN; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 328
- Condition
- New
- SKU
- V9783319270715
- ISBN
- 9783319270715
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. Series: Springer-Lehrbuch. BIC Classification: UYD. Dimension: 235 x 155. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540435488
- ISBN
- 9783540435488
Paperback
Condition: New
€ 51.72
€ 51.72
Paperback / so. Series: Anwendung Von Mikrocomputern. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC; UYD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 12. Weight in Grams: 331.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528042882
- ISBN
- 9783528042882
Paperback
Condition: New
€ 71.86
€ 71.86
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
€ 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
€ 69.44
Paperback. Series: Communications in Computer and Information Science. Num Pages: 242 pages, biography. BIC Classification: UKN; UL; UT; UYD; UYQE; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 242
- Condition
- New
- SKU
- V9783642105487
- ISBN
- 9783642105487
Paperback
Condition: New
€ 66.95
€ 66.95
paperback. This timely overview presents the fundamental principles and techniques involved with grids, clouds and virtualization technologies. The text serves as a guide for readers, presenting key concepts that allows them to develop an understanding of an area likely to play a significant role in coming years. Editor(s): Cafaro, Massimo; Aloisio, Giovanni. Series: Computer Communications and Networks. Num Pages: 250 pages, biography. BIC Classification: UMZ; UYD; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United Kingdom
- Number of pages
- 250
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9781447125921
- ISBN
- 9781447125921
Paperback
Condition: New
€ 127.73
€ 127.73
Hardback. This timely overview presents the fundamental principles and techniques involved with grids, clouds and virtualization technologies. The text serves as a guide for readers, presenting key concepts that allows them to develop an understanding of an area likely to play a significant role in coming years. Editor(s): Cafaro, Massimo; Aloisio, Giovanni. Series: Computer Communications and Networks. Num Pages: 250 pages, biography. BIC Classification: UTV; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 162 x 20. Weight in Grams: 522.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 250
- Condition
- New
- SKU
- V9780857290489
- ISBN
- 9780857290489
Hardback
Condition: New
€ 132.53
€ 132.53