U.N. Peled's Documents

U.N. Peled's Documents

Threshold Graphs and Related Topics, Volume 56 (Annals of Discrete Mathematics)

Threshold Graphs and Related Topics, Volume 56 (Annals of Discrete Mathematics)
Read more
Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)

Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)
Read more
Threshold Graphs and Related Topics

Threshold Graphs and Related Topics
Read more
NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry

NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry
Read more
Molecular basis of health and disease

Molecular basis of health and disease
Read more
Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics

Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics
Read more
Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)

Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)
Read more
Computer Aided Verification, 11 conf., CAV '99

Computer Aided Verification, 11 conf., CAV '99
Read more
The New Israel: Peacemaking and Liberalization

The New Israel: Peacemaking and Liberalization
Read more
The New Israel: Peacemaking and Liberalization

The New Israel: Peacemaking and Liberalization
Read more
Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)

Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)
Read more
Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)

Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)
Read more
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Read more
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Ethnic Challenges to the Modern Nation-state

Ethnic Challenges to the Modern Nation-state
Read more
Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002
Read more
Model Checking

Model Checking
Read more
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Read more
Model checking

Model checking
Read more
Model checking

Model checking
Read more