Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare
| Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
| Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
| Descrizione fisica | 1 online resource (344 p.) |
| Disciplina | 005.8 |
| Collana | NATO science for peace and security series |
| Soggetto topico |
Engineering - Data processing
Engineering - Methodology |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-4416-1613-6
1-60750-410-3 600-00-1467-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination - Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author Index |
| Record Nr. | UNINA-9910455512603321 |
| Washington, DC, : IOS Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare
| Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
| Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
| Descrizione fisica | 1 online resource (344 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
BroyM. <1949->
SitouWassiou HoareC. A. R <1934-> (Charles Antony Richard) |
| Collana | NATO science for peace and security series |
| Soggetto topico |
Engineering - Data processing
Engineering - Methodology |
| ISBN |
1-4416-1613-6
1-60750-410-3 600-00-1467-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination - Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author Index |
| Record Nr. | UNINA-9910778084603321 |
| Washington, DC, : IOS Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering methods and tools for software safety and security / / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare
| Engineering methods and tools for software safety and security / / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
| Descrizione fisica | 1 online resource (344 p.) |
| Disciplina | 005.8 |
| Collana | NATO science for peace and security series |
| Soggetto topico |
Engineering - Data processing
Engineering - Methodology |
| ISBN |
1-4416-1613-6
1-60750-410-3 600-00-1467-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination - Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author Index |
| Record Nr. | UNINA-9910822493403321 |
| Washington, DC, : IOS Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
| ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2000 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218932003316 |
| [Place of publication not identified], : IEEE Computer Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
| ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2000 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Methodology
Computer software - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872412303321 |
| [Place of publication not identified], : IEEE Computer Society, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules of thumb in engineering practice [[electronic resource] /] / Donald R. Woods
| Rules of thumb in engineering practice [[electronic resource] /] / Donald R. Woods |
| Autore | Woods Donald R |
| Pubbl/distr/stampa | Weinheim, : Wiley-VCH |
| Descrizione fisica | 1 online resource (480 p.) |
| Disciplina |
620.002
620.004 |
| Soggetto topico |
Engineering - Methodology
Civil engineering - Vocational guidance |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-92176-5
9786610921768 3-527-61111-8 3-527-61112-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Rules of Thumb in Engineering Practice; Contents; Preface; 1 Rules of Thumb; 1.1 Rules of Thumb about Process Equipment; 1.2 Rules of Thumb about the Context for a Chemical Process: Physical and Thermal Properties; 1.3 Rules of Thumb about the Context for a Chemical Process: Corrosion; 1.4 Rules of Thumb about the Context for a Chemical Process: Process Control (based on communication from T.E. Marlin, McMaster University, 2001); 1.5 Rules of Thumb about the Context for a Chemical Process: Batch versus Continuous
1.6 Rules of Thumb about the Context for a Chemical Process: Heterogenous Phase contacting1.6.1 GL Systems; 1.6.2 LL Systems; 1.6.3 GLS Systems; 1.6.4 Particulate Systems; 1.7 Rules of Thumb about the Context for a Chemical Process: Economics; 1.8 Rules of Thumb about the Thinking Process: Problem Solving and Creativity; 1.9 Rules of Thumb about the Thinking Process: Goal Setting; 1.10 Rules of Thumb about the Thinking Process: Decision Making; 1.11 Rules of Thumb about the Thinking Process: Thermal Pinch; 1.12 Rules of Thumb about the Thinking Process: "Systems" Thinking 1.13 Rules of Thumb about the Thinking Process: Design1.14 Rules of Thumb about the Thinking Process: Process Improvement; 1.15 Rules of Thumb about the Thinking Process: Trouble Shooting; 1.16 Rules of Thumb about the Thinking Process: Environment, Waste Minimization, Safety; 1.17 Rules of Thumb about the People Part of Engineering: Communication; 1.18 Rules of Thumb about the People Part of Engineering: Listening; 1.19 Rules of Thumb about the People Part of Engineering: People Skills; 1.20 Rules of Thumb about the People Part of Engineering: Team and Group Skills 1.21 Rules of Thumb about the Context in Which We Function: Performance Review1.22 Rules of Thumb about the Context in Which We Function: Leadership; 1.23 Rules of Thumb about the Context in Which We Function: Entrepreneurship (based on Valikangas, 2003 and Cooper, 1987); 1.24 Rules of Thumb about the Context in Which We Function: Entrepreneurship; 1.25 Rules of Thumb about the Context in Which We Function: e-Business; 1.26 Rules of Thumb about Mentoring and Self-management; 1.27 Summary; 2 Transportation; 2.1 Gas Moving: Pressure Service; 2.2 Gas Moving: Vacuum Service; 2.3 Liquid 2.4 Gas-Liquid (Two-phase Flow)2.5 Pumping Slurries: Liquid-Solid Systems; 2.6 Solids; 2.7 Ducts and Pipes; 3 Energy Exchange; 3.1 Drives; 3.2 Thermal Energy: Furnaces; 3.3 Thermal Energy: Fluid Heat Exchangers, Condensers and Boilers; 3.4 Thermal Energy: Fluidized Bed (Coils in Bed); 3.5 Thermal Energy: Static Mixers; 3.6 Thermal Energy: Direct Contact L-L Immiscible Liquids; 3.7 Thermal Energy: Direct Contact G-L Cooling Towers; 3.8 Thermal Energy: Direct Contact G-L Quenchers; 3.9 Thermal Energy: Direct Contact G-L Condensers 3.10 Thermal Energy: G-G Thermal Wheels and Pebble Regenerators and Regenerators |
| Record Nr. | UNINA-9910144003003321 |
Woods Donald R
|
||
| Weinheim, : Wiley-VCH | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules of thumb in engineering practice [[electronic resource] /] / Donald R. Woods
| Rules of thumb in engineering practice [[electronic resource] /] / Donald R. Woods |
| Autore | Woods Donald R |
| Pubbl/distr/stampa | Weinheim, : Wiley-VCH |
| Descrizione fisica | 1 online resource (480 p.) |
| Disciplina |
620.002
620.004 |
| Soggetto topico |
Engineering - Methodology
Civil engineering - Vocational guidance |
| ISBN |
1-280-92176-5
9786610921768 3-527-61111-8 3-527-61112-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Rules of Thumb in Engineering Practice; Contents; Preface; 1 Rules of Thumb; 1.1 Rules of Thumb about Process Equipment; 1.2 Rules of Thumb about the Context for a Chemical Process: Physical and Thermal Properties; 1.3 Rules of Thumb about the Context for a Chemical Process: Corrosion; 1.4 Rules of Thumb about the Context for a Chemical Process: Process Control (based on communication from T.E. Marlin, McMaster University, 2001); 1.5 Rules of Thumb about the Context for a Chemical Process: Batch versus Continuous
1.6 Rules of Thumb about the Context for a Chemical Process: Heterogenous Phase contacting1.6.1 GL Systems; 1.6.2 LL Systems; 1.6.3 GLS Systems; 1.6.4 Particulate Systems; 1.7 Rules of Thumb about the Context for a Chemical Process: Economics; 1.8 Rules of Thumb about the Thinking Process: Problem Solving and Creativity; 1.9 Rules of Thumb about the Thinking Process: Goal Setting; 1.10 Rules of Thumb about the Thinking Process: Decision Making; 1.11 Rules of Thumb about the Thinking Process: Thermal Pinch; 1.12 Rules of Thumb about the Thinking Process: "Systems" Thinking 1.13 Rules of Thumb about the Thinking Process: Design1.14 Rules of Thumb about the Thinking Process: Process Improvement; 1.15 Rules of Thumb about the Thinking Process: Trouble Shooting; 1.16 Rules of Thumb about the Thinking Process: Environment, Waste Minimization, Safety; 1.17 Rules of Thumb about the People Part of Engineering: Communication; 1.18 Rules of Thumb about the People Part of Engineering: Listening; 1.19 Rules of Thumb about the People Part of Engineering: People Skills; 1.20 Rules of Thumb about the People Part of Engineering: Team and Group Skills 1.21 Rules of Thumb about the Context in Which We Function: Performance Review1.22 Rules of Thumb about the Context in Which We Function: Leadership; 1.23 Rules of Thumb about the Context in Which We Function: Entrepreneurship (based on Valikangas, 2003 and Cooper, 1987); 1.24 Rules of Thumb about the Context in Which We Function: Entrepreneurship; 1.25 Rules of Thumb about the Context in Which We Function: e-Business; 1.26 Rules of Thumb about Mentoring and Self-management; 1.27 Summary; 2 Transportation; 2.1 Gas Moving: Pressure Service; 2.2 Gas Moving: Vacuum Service; 2.3 Liquid 2.4 Gas-Liquid (Two-phase Flow)2.5 Pumping Slurries: Liquid-Solid Systems; 2.6 Solids; 2.7 Ducts and Pipes; 3 Energy Exchange; 3.1 Drives; 3.2 Thermal Energy: Furnaces; 3.3 Thermal Energy: Fluid Heat Exchangers, Condensers and Boilers; 3.4 Thermal Energy: Fluidized Bed (Coils in Bed); 3.5 Thermal Energy: Static Mixers; 3.6 Thermal Energy: Direct Contact L-L Immiscible Liquids; 3.7 Thermal Energy: Direct Contact G-L Cooling Towers; 3.8 Thermal Energy: Direct Contact G-L Quenchers; 3.9 Thermal Energy: Direct Contact G-L Condensers 3.10 Thermal Energy: G-G Thermal Wheels and Pebble Regenerators and Regenerators |
| Record Nr. | UNINA-9910830871203321 |
|
Woods Donald R
|
||
| Weinheim, : Wiley-VCH | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules of thumb in engineering practice / / Donald R. Woods
| Rules of thumb in engineering practice / / Donald R. Woods |
| Autore | Woods Donald R |
| Pubbl/distr/stampa | Weinheim : , : Wiley-VCH, , [2007] |
| Descrizione fisica | 1 online resource (480 pages) |
| Soggetto topico |
Engineering - Methodology
Civil engineering - Vocational guidance |
| ISBN |
1-280-92176-5
9786610921768 3-527-61111-8 3-527-61112-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910877896403321 |
|
Woods Donald R
|
||
| Weinheim : , : Wiley-VCH, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Triz for dummies / / by Lilly Haines-Gadd
| Triz for dummies / / by Lilly Haines-Gadd |
| Autore | Haines-Gadd Lilly |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Indianapolis, IN : , : John Wiley & Sons, Incorporated, , 2016 |
| Descrizione fisica | 1 online resource (307 pages) : illustrations |
| Collana | For dummies |
| Soggetto topico |
TRIZ theory
Creative thinking Inventions Engineering - Methodology Problem solving - Methodology |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-119-10749-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910467600403321 |
|
Haines-Gadd Lilly
|
||
| Indianapolis, IN : , : John Wiley & Sons, Incorporated, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Triz for dummies / / by Lilly Haines-Gadd
| Triz for dummies / / by Lilly Haines-Gadd |
| Autore | Haines-Gadd Lilly |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Indianapolis, IN : , : John Wiley & Sons, Incorporated, , 2016 |
| Descrizione fisica | 1 online resource (307 pages) : illustrations |
| Disciplina | 658.4/03 |
| Collana | For dummies |
| Soggetto topico |
TRIZ theory
Creative thinking Inventions Engineering - Methodology Problem solving - Methodology |
| ISBN | 1-119-10749-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Getting started with TRIZ -- Opening your TRIZ toolbox -- Thinking like a genius -- Understanding, defining and solving difficult problems with TRIZ -- The part of tens. |
| Record Nr. | UNINA-9910794615003321 |
|
Haines-Gadd Lilly
|
||
| Indianapolis, IN : , : John Wiley & Sons, Incorporated, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
