TU Delft Beeldbank
Home · About · Disclaimer ·

Search results also available in MS Excel format.

Showing 1 to 20 of 631 found. Next | Sort by date

1 Hambrug in Delft
image Delft University of Technology     2012-01-16    
Keywords: Delftse Schie · Rijn Schiekanaal · Ophaalbrug · fiets- en voetgangersbrug
[JPG] [JPG] [Abstract]

1

2 Begraafplaats Zuiderhof in Hilversum
image Architecture     2012-01-15    
Author: Dudok, W.M.
Keywords: begraafplaats
[JPG] [JPG] [Abstract]

1

3 Please mind the roof!
image Delft University of Technology     2012-03-02    
Keywords: grasdak bibliotheek · sneeuw
[JPG] [JPG] [Abstract]

1

4 Winters zicht op de bevroren Delftse Schie vanaf de Abtswoudsebrug
image Delft University of Technology     2012-02-10    
Keywords: Abtswoudsebrug · Schie · Delftse Schie
[JPG] [JPG] [JPG]

1

5 Ethics and Engineering: 1. Introduction to Ethics and Engineering
lecture Technology, Policy and Management     2012-09-04    
Lecturer: Koepsell, D.R.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

6 Ethics and Engineering: 2. Ethical Theories
lecture Technology, Policy and Management     2012-09-11    
Lecturer: Koepsell, D.R.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

7 Ethics and Engineering: 3. Reason & Argumentation
lecture Technology, Policy and Management     2012-09-18    
Lecturer: Koepsell, D.R.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

8 Ethics and Engineering: 4. Ethics and Design
lecture Technology, Policy and Management     2012-09-25    
Lecturer: Van der Poel, I.R.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

9 Ethics and Engineering: 5. Technological Risk and Ethics
lecture Technology, Policy and Management     2012-10-02    
Lecturer: Koepsell, D.R.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

10 Ethics and Engineering: 6. Engineering and Responsibility
lecture Technology, Policy and Management     2012-10-09    
Lecturer: Koepsell, D.R.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

11 Ethics and Engineering: 7. Sustainability & Ethics
lecture Technology, Policy and Management     2012-10-16    
Lecturer: Taebi, B.
Keywords: engineering and responsibility · ethical theory · ethics and design · ethics and morality · ethics and engineering · sustainability and ethics · technology risk and ethics · virtue ethics · philosophy · value sensitive design
[MP4] [Abstract]

1

12 System Validation: 1. Strong Behavioral equivalences and Weak behavioral equivalences part 1
lecture Electrical Engineering, Mathematics and Computer Science     2012-09-12    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

13 System Validation: 2. Abstract Data Types part 1
lecture Electrical Engineering, Mathematics and Computer Science     2012-09-19    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

14 System Validation: 3. Weak behavioral equivalences part 2
lecture Electrical Engineering, Mathematics and Computer Science     2012-09-19    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

15 System Validation: 4. Sequential Processes
lecture Electrical Engineering, Mathematics and Computer Science     2012-09-26    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

16 System Validation: 5. Abstract Data Types part 2
lecture Electrical Engineering, Mathematics and Computer Science     2012-09-26    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

17 System Validation: 6. Coffee Machine Example
lecture Electrical Engineering, Mathematics and Computer Science     2012-10-03    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

18 System Validation: 7. Parallel Processes: Theory part 1
lecture Electrical Engineering, Mathematics and Computer Science     2012-10-03    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

19 System Validation: 8. Parallel Processes: Theory part 2
lecture Electrical Engineering, Mathematics and Computer Science     2012-10-10    
Lecturer: Groote, J.F.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

20 System Validation: 9. Modal mu-Calculus
lecture Electrical Engineering, Mathematics and Computer Science     2012-10-17    
Lecturer: Mousavi, M.
Keywords: system validation · behavioral specification · process theory · labelled transition systems · various notions of behavioral equivalence · process algebra · algebraic reasoning · model checking
[MP4] [Abstract]

1

Search results also available in MS Excel format.

Showing 1 to 20 of 631 found. Next | Sort by date