Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Dynamic logic
Dynamic logic
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algoritmi Lo spirito dell’informatica
Algoritmi Lo spirito dell’informatica
Author 
Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0580-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithmik Die Kunst des Rechnens
Algorithmik Die Kunst des Rechnens
Author 
Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-37437-X
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithmic Bioprocesses
Algorithmic Bioprocesses
Author 
Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88869-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
Author 
Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11880240
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3532-2
Format: 
Availability 
Online Library~1
Available:
Copies: