Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Financial Cryptography and Data Security FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
Financial Cryptography and Data Security FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
Author 
Zohar, Aviv. editor. Eyal, Ittay. editor. Teague, Vanessa. editor. (orcid)0000-0003-2648-2565 Clark, Jeremy. editor. Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Singularities in Elliptic Boundary Value Problems and Elasticity and Their Connection with Failure Initiation
Singularities in Elliptic Boundary Value Problems and Elasticity and Their Connection with Failure Initiation
Author 
Yosibash, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1508-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Metacognition in Science Education Trends in Current Research
Metacognition in Science Education Trends in Current Research
Author 
Zohar, Anat. editor. Dori, Yehudit Judy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2132-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Time for Verification Essays in Memory of Amir Pnueli
Time for Verification Essays in Memory of Amir Pnueli
Author 
Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13754-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Climate Change — Environment and History of the Near East
Climate Change — Environment and History of the Near East
Author 
Issar, Arie S. author. Zohar, Mattanyah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies: