Showing
1 - 7
results of
7
for search '
Ait Ameur, Yamine
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Ait Ameur, Yamine
Showing
1 - 7
results of
7
for search '
Ait Ameur, Yamine
'
, query time: 0.02s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings edited by Yamine Ait-Ameur, Shengchao Qin.
Published 2019
Other Authors:
“…
Ait-Ameur, Yamine
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Theoretical aspects of software engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings Yamine Aït-Ameur, Florin Crăciun (eds.).
Published 2022
Other Authors:
“…
Aït-Ameur, Yamine
…”
Click for online access
eBook
Save to List
Saved in:
Select result number 3
3
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings edited by Yamine Ait Ameur, Klaus-Dieter Schewe.
Published 2014
Other Authors:
“…
Ait Ameur, Yamine
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors.
Published 2021
Other Authors:
“…
Aït-Ameur, Yamine
…”
Click for online access
eBook
Save to List
Saved in:
Select result number 5
5
Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos.
Published 2014
Other Authors:
“…
Ait Ameur, Yamine
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6,... edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
Published 2014
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings edited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur.
Published 2016
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Computers
Software engineering
Computer simulation
Application software
Artificial intelligence
Computer logic
Database management
Information storage and retrieval
Mathematical logic
Computer communication systems
Computer organization
Computer science
Computer software
Development
Formal methods (Computer science)
General
Logic
Management information systems
Mathematical foundations
Mathematics
Software Development & Engineering
Software Engineering