Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
25 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Tümünü Seç
1
2
3
0
DEFAULTTR
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
One or more items could not be added because you are not logged in.
25.
Handbook of Model Checking
Handbook of Model Checking
Yazar
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
Tümünü Seç
1
2
3
25 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Konu: System safety.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(25)
Androulidakis, Iosif I. author.
(2)
Al-Khateeb, Haider. editor.
(1)
Alazab, Mamoun. editor. (orcid)0000-0002-1928-3704
(1)
Alcaraz, Cristina. editor. (orcid)0000-0003-0545-3191
(1)
Androulidakis, Iosif. author.
(1)
Aumasson, Jean-Philippe. author.
(1)
Bas, Patrick. author.
(1)
Bertino, Elisa. author.
(1)
Bloem, Roderick. editor.
(1)
Cayre, François. author.
(1)
Chen, Liqun. author.
(1)
Clarke, Edmund M. editor.
(1)
Dalton, Chris. author.
(1)
Doërr, Gwenaël. author.
(1)
Dumitras, Tudor. author.
(1)
Elhoseny, Mohamed. editor.
(1)
Epiphaniou, Gregory. editor.
(1)
Furon, Teddy. author.
(1)
Gritzalis, Dimitris. editor.
(1)
Haas, Roland E. author.
(1)
Hassanien, Aboul Ella. editor.
(1)
Henzen, Luca. author.
(1)
Henzinger, Thomas A. editor.
(1)
Hosseinian-Far, Amin. editor.
(1)
Izmailov, Igor. author.
(1)
Jahankhani, Hamid. editor.
(1)
Jamal, Arshad. editor.
(1)
Kendzierskyj, Stefan. editor.
(1)
Kioupakis, Fragkiskos – Emmanouil. author.
(1)
Lehto, Martti. editor.
(1)
Madsen, Tom. author.
(1)
Mathon, Benjamin. author.
(1)
Meier, Willi. author.
(1)
Möller, Dietmar P.F. author.
(1)
Neittaanmäki, Pekka. editor.
(1)
Ovelgonne, Michael. author.
(1)
Paulet, Russell. author.
(1)
Phan, Raphael C.-W. author.
(1)
Poizner, Boris. author.
(1)
Prakash, B. Aditya. author.
(1)
Proudler, Graeme. author.
(1)
Ramachandran, Muthu. editor.
(1)
Roland, Michael. author.
(1)
Romanov, Ilia. author.
(1)
Sarwar, Dilshad. editor.
(1)
Sayed-Mouchaweh, Moamar. editor.
(1)
Smart, Nigel P. author.
(1)
Smolskiy, Sergey. author.
(1)
Song, Houbing. editor.
(1)
Stergiopoulos, George. editor.
(1)
Subrahmanian, V.S. author.
(1)
Sun, Yunchuan. editor.
(1)
Tang, MingJian. editor.
(1)
Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746
(1)
Torres, Lizeth. editor.
(1)
Veith, Helmut. editor.
(1)
Verde, Cristina. editor.
(1)
Willems, Eddy. author.
(1)
Yi, Xun. author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(25)
Dil
Dahil
Hariç
English
(25)
Basım Yılı
Dahil
Hariç
2014
(3)
2015
(3)
2016
(6)
2017
(3)
2018-2019
Konu
Dahil
Hariç
Security Science and Technology.
(20)
Computer security.
(16)
Systems and Data Security.
(16)
Communications Engineering, Networks.
(10)
Computer science.
(8)
Data encryption (Computer science).
(7)
Electrical engineering.
(7)
Computer crimes.
(5)
Engineering.
(5)
Quality Control, Reliability, Safety and Risk.
(5)
Cybercrime.
(4)
Data Encryption.
(4)
Computer Communication Networks.
(3)
Cryptology.
(3)
Forensic science.
(3)
Information Systems Applications (incl. Internet).
(3)
Privacy.
(3)
Telecommunication.
(3)
Application software.
(2)
Big data.
(2)
Computer communication systems.
(2)
Computer science -- Mathematics.
(2)
Crime Control and Security.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Data protection.
(2)
Data structures (Computer science).
(2)
Information Systems and Communication Service.
(2)
Information systems.
(2)
Mathematics of Computing.
(2)
Public safety.
(2)
Security.
(2)
Algorithm Analysis and Problem Complexity.
(1)
Algorithms.
(1)
Applications of Mathematics.
(1)
Applied mathematics.
(1)
Artificial Intelligence (incl. Robotics).
(1)
Artificial intelligence.
(1)
Automotive engineering.
(1)
Big Data/Analytics.
(1)
Business Information Systems.
(1)
Complex Networks.
(1)
Computer Appl. in Administrative Data Processing.
(1)
Computer Crime.
(1)
Computer mathematics.
(1)
Computer networks -- Security measures.
(1)
Control and Systems Theory.
(1)
Data Mining and Knowledge Discovery.
(1)
Data mining.
(1)
Discrete mathematics.
(1)
Engineering mathematics.
(1)
Geoengineering, Foundations, Hydraulics.
(1)
Health informatics.
(1)
Hydraulic engineering.
(1)
Information theory.
(1)
Logic, Symbolic and mathematical.
(1)
Management information systems.
(1)
Management of Computing and Information Systems.
(1)
Mathematical Applications in Computer Science.
(1)
Mathematical Logic and Foundations.
(1)
Mathematical Models of Cognitive Processes and Neural Networks.
(1)
Mobile and Network Security.
(1)
Neural networks (Computer science) .
(1)
Numerical and Computational Physics, Simulation.
(1)
Operating systems (Computers).
(1)
Performance and Reliability.
(1)
Physics.
(1)
Quantum Information Technology, Spintronics.
(1)
Quantum computers.
(1)
Security Services.
(1)
Signal, Image and Speech Processing.
(1)
Software Engineering/Programming and Operating Systems.
(1)
Software engineering.
(1)
Spintronics.
(1)
Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law.
(1)
Statistics.
(1)
Theory of Computation.
(1)
Vibration, Dynamical Systems, Control.
(1)
Vibration.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(25)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(25)
Kütüphane
Dahil
Hariç
TEDU library
(25)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}