Systems analysis & design
Results 301 - 320 of 531
Systems analysis & design
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
€ 49.40
€ 49.40
Hardback. Deals with the issue of timing in systems design and analysis. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 306 pages, biography. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 306
- Condition
- New
- SKU
- V9783540434474
- ISBN
- 9783540434474
Hardback
Condition: New
€ 69.67
€ 69.67
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
€ 69.87
€ 69.87
paperback. Series: Lecture Notes in Computer Science. Num Pages: 323 pages, biography. BIC Classification: UYD; UYF. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 234 x 156 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 2003rd Edition
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540407270
- ISBN
- 9783540407270
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). 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: 800.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540343042
- ISBN
- 9783540343042
Paperback
Condition: New
€ 66.08
€ 66.08
Paperback. Constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. This book features the papers that are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 288 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 15. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 12
- Number of pages
- 288
- Condition
- New
- SKU
- V9783540341451
- ISBN
- 9783540341451
Paperback
Condition: New
€ 66.65
€ 66.65
Book. Einblick: das erste Standardwerk zur Beschaffung direkter Guter. Sie macht einen grossen Teil des wertmassigen Beschaffungsvolumens aus, ist die grossere Herausforderung und bietet hohere Einsparpotenziale. Ausblick auf Strategien, Prozesse, Systeme und Trends.." Editor(s): Brenner, Walter; Wenger, Roland. Num Pages: Etwa 380 S. BIC Classification: KJMV3; KJMV5; UB; UF; UYD. Category: (G) General (US: Trade). .
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540340171
- ISBN
- 9783540340171
Paperback
Condition: New
€ 102.20
€ 102.20
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
€ 70.11
€ 70.11
Paperback. Editor(s): Levi, Paul; Schanz, Michael; Lafrenz, Reinhard; Avrutin, Viktor. Num Pages: 342 pages, black & white illustrations, bibliography. BIC Classification: TJFM1; UB; UDH; UYD; UYF; UYQ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 481.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540302919
- ISBN
- 9783540302919
Paperback
Condition: New
€ 136.21
€ 136.21
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 426 pages, biography. BIC Classification: UK; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783540291053
- ISBN
- 9783540291053
Paperback
Condition: New
€ 69.42
€ 69.42
Paperback. Series: Lecture Notes in Control and Information Sciences. Num Pages: 270 pages, 126 black & white illustrations, 13 black & white tables, biography. BIC Classification: TGPQ; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 410.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 270
- Condition
- New
- SKU
- V9783540257301
- ISBN
- 9783540257301
Paperback
Condition: New
€ 124.69
€ 124.69
ZB 2005 - Formal Specification and Development in Z and B
. Ed(S): Treharne, Helen; King, Steve; Henson...
Paperback. Editor(s): Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve. Series: Lecture Notes in Computer Science. Num Pages: 512 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 1580.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783540255598
- ISBN
- 9783540255598
Paperback
Condition: New
€ 128.88
€ 128.88
Book. Series: Xpert.Press. Num Pages: XXIV, 445 S. 84 Abb. BIC Classification: THR; UB; UL; UM; UYD. Category: (G) General (US: Trade). Dimension: 234 x 155 x 30. Weight in Grams: 794.
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540243397
- ISBN
- 9783540243397
Paperback
Condition: New
€ 56.00
€ 56.00
hardcover. Translator(s): Robinson, D. Series: X. Media Publishing. Num Pages: 101 pages, 8 colour tables, biography. BIC Classification: KCCD; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 10. Weight in Grams: 339.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer Germany
- Edition
- 2005th Edition
- Number of pages
- 101
- Condition
- New
- SKU
- V9783540235606
- ISBN
- 9783540235606
Hardback
Condition: New
€ 63.19
€ 63.19
Book. Series: Xpert.Press. Num Pages: 232 pages, XII, 232 S. 30 Abb. BIC Classification: UK; UT; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 526.
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540234050
- ISBN
- 9783540234050
Hardback
Condition: New
€ 69.71
€ 69.71
Hardback. Presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using "horizontal" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 440 pages, 112 black & white illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 31. Weight in Grams: 754.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540233428
- ISBN
- 9783540233428
Hardback
Condition: New
€ 66.28
€ 66.28
Abstract State Machines 2004. Advances in Theory and Practice
. Ed(S): Zimmermann, Wolf; Thalheim, B.
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
€ 66.41
€ 66.41
Hardback. Covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 768 pages, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 34. Weight in Grams: 1358.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006
- Number of pages
- 768
- Condition
- New
- SKU
- V9783540211518
- ISBN
- 9783540211518
Hardback
Condition: New
€ 128.04
€ 128.04
Hardback. Covers the basic principles and techniques of specifying systems and languages. This work deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity, Petri nets, live sequence charts, statecharts, and temporal logics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 780 pages, 151 black & white illustrations, 27 black & white tables, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 42. Weight in Grams: 1298.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783540211501
- ISBN
- 9783540211501
Hardback
Condition: New
€ 70.10
€ 70.10
Book. Num Pages: Etwa 450 S. 70 Abb. BIC Classification: UB; UL; UM; UYD; UYM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 490.
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540209409
- ISBN
- 9783540209409
Hardback
Condition: New
€ 69.75
€ 69.75