Köksal El-Ali - Bücher - alle Infos bei Yasni.de

(1 - 5 von 7

)

Search Results for Hocaoğlu, A. Köksal (Ali Köksal),

catalog.iyte.edu.tr

Delete search term Hocaoğlu, A. Köksal (Ali Köksal), +. Author: Hocaoğlu, A. Köksal (Ali Köksal), Author. Include Exclude. Books24x7, Inc. (1).

Hocaoğlu, A. Köksal (Ali Köksal), LC Linked Data Service:...

id.loc.gov

The Linked Data Service provides access to commonly found standards and vocabularies promulgated by the Library of Congress. This includes data values and the...

Automated Deduction -- CADE-23: 23rd International Conference on...

books.google.com.ua

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August...

Computer Aided Verification: 27th International Conference, CAV 2015,...

books.google.de

The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015,...

Static Analysis: 18th International Symposium, SAS Venice,...

books.google.com.ua

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September The...

Verwandte Suchanfragen zu Köksal El-Ali

Personen
Vorname "Köksal" (88)
Name "el-Ali" (122)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Köksal El-Ali

Search Results for Hocaoğlu, A. Köksal (Ali Köksal),

Hocaoğlu, A. Köksal (Ali Köksal), LC Linked Data Service:...

Automated Deduction -- CADE-23: 23rd International Conference on...

Computer Aided Verification: 27th International Conference, CAV 2015,...

Static Analysis: 18th International Symposium, SAS Venice,...