Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> Rym Salem
"Rym Salem" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 3 of 3 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Unfold/Fold Inductive Proof: An Extension of a Folding Technique
Rym Salem
;
Khaled Bsaïes
Multiple Approaches to Intelligent Systems: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings
Ibrahim Imam
;
Yves Kodratoff
;
Ayman El-Dessouki
;
Moonis Ali
1999
Springer Berlin Heidelberg
Threshold and Bounded-Delay Voting in Critical Control Systems
Paul Caspi
;
Rym Salem
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
Mathai Joseph
2000
Springer Berlin Heidelberg
Forma Design of Distributed Control Systems with Lustre
Paul Caspi
;
Christine Mazuet
;
Rym Salem
;
Daniel Weber
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP' 99, Toulouse, France, September 27-29, 1999, Proceedings
Massimo Felici
;
Karama Kanoun
;
Alberto Pasquini
1999
Springer Berlin Heidelberg
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 3 of 3 entries
«
‹
1
›
»