.png){kind=logo}
Systems analysis & design
Results 481 - 500 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
Cooperative Buildings. Integrating Information, Organizations, and Arc...
. Ed(S): Streitz, N. A.; Siegel, Jane; Hartko...
Paperback. The proceedings of the 2nd International Workshop on Cooperative Buildings. Topics covered include integrated workplace design and architecture, critical technologies, meeting and conference facilities, infrastructure, methodology and empirical studies, and networked home environments. Editor(s): Streitz, N. A.; Siegel, Jane; Hartkopf, Volker; Konomi, Shinichi. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, biography. BIC Classification: AMG; KJW; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 770.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783540665960
- ISBN
- 9783540665960
Paperback
Condition: New
€ 69.06
€ 69.06
Hardback. Teaches the architectures, design principles, and troubleshooting techniques of a LAN, imparted via the presentation of a broad scope of data and computer communication standards, real-world inter-networking techniques, architectures, technologies and services as they relate to the design, implementation and troubleshooting of such a network. Num Pages: 497 pages, 100 black & white tables, biography. BIC Classification: UKR; UT; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 896.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Condition
- New
- SKU
- V9783540665977
- ISBN
- 9783540665977
Hardback
Condition: New
€ 137.91
€ 137.91
hardcover. This title deals with holographic technology and starts with the history and fundamentals, multiplexing methods, and noise sources. The following chapters describe in detail recording media, components, channels, platforms for demonstration, and competing technologies. Editor(s): Coufal, H.J.; Psaltis, D. (California Institute of Technology, Pasadena, USA); Sincerbox, G. (University of Arizona, Tucson, USA). Series: Series in Optical Sciences. Num Pages: 514 pages, 12 black & white tables, biography. BIC Classification: TB; TJ; UYD. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 26. Weight in Grams: 1007.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 2000th Edition
- Number of pages
- 514
- Condition
- New
- SKU
- V9783540666912
- ISBN
- 9783540666912
Hardback
Condition: New
€ 132.46
€ 132.46
hardcover. Num Pages: 160 pages, black & white illustrations. BIC Classification: UDH; UF; UYD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9783540682233
- ISBN
- 9783540682233
Hardback
Condition: New
€ 72.50
€ 72.50
Paperback. This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 239 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783540683711
- ISBN
- 9783540683711
Paperback
Condition: New
€ 66.95
€ 66.95
hardcover. This book presents queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks. It offers mathematical models to better understand the performance of these reservation procedures. Series: Philips Research Book Series. Num Pages: 254 pages, 51 black & white illustrations, 13 black & white tables, biography. BIC Classification: PBF; PBW; UKN; UKR; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540693161
- ISBN
- 9783540693161
Hardback
Condition: New
€ 128.51
€ 128.51
Hardback. Presenting scheduling problems for single and parallel machines and shop scheduling problems, this book covers advanced models involving due-dates, sequence dependent changeover times and batching. It also discusses multiprocessor task scheduling and problems with multi-purpose machines. Num Pages: 371 pages, 77 black & white illustrations, 32 black & white tables, biography. BIC Classification: UMB; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 770.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 5th ed. 2007
- Number of pages
- 371
- Condition
- New
- SKU
- V9783540695158
- ISBN
- 9783540695158
Hardback
Condition: New
€ 163.07
€ 163.07
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008. This book features 24 revised full papers presented together with a contamplative keynote and additional papers of two special workshop sessions. Series: Lecture Notes in Computer Science. Num Pages: 316 pages, biography. BIC Classification: UKN; UKR; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 19. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540705499
- ISBN
- 9783540705499
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 376 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540709510
- ISBN
- 9783540709510
Paperback
Condition: New
€ 67.79
€ 67.79
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. Editor(s): Berns, Karsten; Luksch, Tobias. Series: Informatik Aktuell. Num Pages: 348 pages, biography. BIC Classification: UYD; UYF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 1120.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540747635
- ISBN
- 9783540747635
Paperback
Condition: New
€ 153.18
€ 153.18
Paperback. Constitutes the proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. This book includes papers that are organized in sections on model driven engineering, testing, language extensions, implementation and modeling experience and extensions - addressing various aspects of systems design and system design languages. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 304 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540749837
- ISBN
- 9783540749837
Paperback
Condition: New
€ 67.07
€ 67.07
Performance Engineering of Computer and Telecommunications Systems
. Ed(S): Merabti, Madjid; Ball, F.; Carew, Mi...
Paperback. This volume contains papers presented at the 11th annual workshop, held in Liverpool from 5-6 September 1995. The main focus of the workshop was on applying performance/reliability modelling and measurement techniques to the design of efficient and dependable computer and communication systems. Editor(s): Merabti, Madjid; Ball, F.; Carew, Michael. Num Pages: 381 pages, 19 black & white illustrations, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 381
- Condition
- New
- SKU
- V9783540760085
- ISBN
- 9783540760085
Paperback
Condition: New
€ 128.75
€ 128.75
Paperback. This study focuses on recent research into the interaction between digital signal processing (DSP) and telecommunications. Particular emphasis is given to advanced techniques and system architectures in the fields of signal encoding and transmission for multimedia and personal communications. Editor(s): Biglieri, Professor Ezio; Luise, Marco. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 454 pages, 28 black & white illustrations, 26 black & white tables, biography. BIC Classification: TJK; UYD; UYF; UYS; UYT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 454
- Condition
- New
- SKU
- V9783540760191
- ISBN
- 9783540760191
Paperback
Condition: New
€ 129.40
€ 129.40
Paperback. Examining the human-centred approach to designing systems and technologies, this volume gives an overview of traditions, approaches, methodologies and practices. Theoretical and methodological underpinnings for the design and application of technologies are given. Editor(s): Gill, Karamjit S. Series: Human-Centred Systems. Num Pages: 480 pages, 9 black & white illustrations, biography. BIC Classification: TBDG; URY; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540760245
- ISBN
- 9783540760245
Paperback
Condition: New
€ 129.95
€ 129.95
Paperback. Human Computer Interaction '96 was held at Imperial College, London in August 1996. This volume contains the papers presented during the conference by both practitioners and researchers with backgrounds ranging from the social and computing sciences to management and telecommunications. Editor(s): Cunningham, Jim; Winder, Russel. Num Pages: 398 pages, 53 black & white illustrations, biography. BIC Classification: UYD; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540760696
- ISBN
- 9783540760696
Paperback
Condition: New
€ 68.19
€ 68.19
Paperback. This guide to system specification and design methods helps software engineers understand and develop high-integrity systems, with emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 701 pages, 7 black & white illustrations. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational. Dimension: 158 x 236 x 40. Weight in Grams: 1064.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 701
- Condition
- New
- SKU
- V9783540762263
- ISBN
- 9783540762263
Paperback
Condition: New
€ 71.18
€ 71.18
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
Paperback. Constitutes the proceedings of the 7th International IFIP-TC6 Networking Conference, NETWORKING 2008, held in Singapore, in May 2008. This book contains sections on ad hoc and sensor networks: design and optimization, MAC protocol, overlay networking, and routing. Series: Lecture Notes in Computer Science. Num Pages: 967 pages, biography. BIC Classification: TJK; UKN; UKR; UMZ; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 967
- Condition
- New
- SKU
- V9783540795483
- ISBN
- 9783540795483
Paperback
Condition: New
€ 200.74
€ 200.74