Simulation meets formal verification David L. Dill Stanford University Serdar Tasiran U.C. Berkeley.
Serdar Katipoğlu - Kahramanmaraş Sütçüimam University
Transcript of Serdar Katipoğlu - Kahramanmaraş Sütçüimam University
Serdar Katipoğlu
3
Dünyadaki akademik kullanıcılar
•
•
•
•
•
•
•
•
•
•
7
8
Adhesives, Coatings, Sealants & Inks
Aerospace & Radar Technology
Biochemistry, Biology & Biotechnology
Ceramics & Ceramic Engineering
Chemistry & Chemical Engineering
Civil Engineering & Construction Materials
Earth Sciences
Electrical & Power Engineering
Electronics & Semiconductors
Environment & Environmental Engineering
Food Science
General Engineering & Project Administration
Mechanics & Mechanical Engineering
Metals & Metallurgy
Oil & Gas Engineering
Pharmaceuticals, Cosmetics & Toiletries
Plastics & Rubber
Safety & Industrial Hygiene
Sustainable Energy & Development
Textiles
AICHE/CCPS - Chemical Process Safety
ASM International Materials Collection
ASME Boiler and Pressure Vessel Code
DIPPR 801
Computer Hardware Engineering
Engineering Management & Leadership
Fire Protection Engineering & Emergency
Response
Industrial Engineering & Operations Management
Manufacturing Engineering
Marine Engineering & Naval Architecture
Mining Engineering & Extractive Metallurgy
Nanotechnology
Optics & Photonics
Process Design, Control & Automation
Software Engineering
Transportation Engineering
Welding Engineering & Materials Joining
Composites (new)
Nondestructive Testing & Evaluation (new)
Ana Koleksiyon (20 konu başlığı) Yeni eklenen (15 konu başlığı)
Premium
9
• •
•
•
•
•
•
İçerik Tools
10
11
12
13
Unit Converter
14
Note that though the virtual keyboard does not display, your smartphone's keyboard can perform the same functions. Keys for the math operators ^, -, (), and * are available on most smartphones. Using the letter keys on your device will automatically enter the operators deg, degC, degF, and degR, as well as the prefixes d, c, m, n, mu, p, T, G, M, k, h, and da into the New Unit numerator/denominator or Input Unit fields.
15
16
citation
17
18
19
20
21
Demir ile kurşun elementini işleme alıyoruz (mouse ile çekin)
22
23
Data Search
Sayfalar canlanıyor!
24
25
Sayfalar canlanıyor!
26
Sayfalar canlanıyor!
Değerler canlanıyor!
28
Zenginleşen içerik:
engineering cases
Mühendislik çalışmaları (Türkiye’den bir örnek 2012)
OCLC MARC Kayıtları
Abone olan Kütüphanelere
Knovel’daki e-kitapların
MARC Kayıtları
OCLC’den ücretsiz sağlanmaktadır.
30
Akademik Başarı Örneği: İTÜ ve ODTÜ
Knovel üniversite öğrencileri yarışması
RANK SCHOOL PLAYERS
1 Oklahoma State University at Stillwater 670
2 Istanbul Technical University 427
3 State University of New York at Buffalo (SUNY) 352
4 Middle East Technical University (METU) 306
5 University of Alberta 240
6 Nanyang Technological University 196
7 British Columbia Institute of Technology (BCIT) 138
8 Case Western Reserve University 124
9 CETYS Universidad Campus Mexicali 119
10 Yuan Ze University 118
Knovel University Challenge 2013
İTÜ ve ODTÜ
İTÜ Erdal Kondakçı
ODTÜ Semih Batuhan