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
637 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
..
50
51
52
53
54
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.
637.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Yazar
Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format:
Electronic Resources
Tümünü Seç
1
..
50
51
52
53
54
637 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: Artificial intelligence.
Included
Konu: Software engineering.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(637)
Kurosu, Masaaki. editor.
(13)
Apduhan, Bernady O. editor.
(8)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(8)
Meersman, Robert. editor.
(8)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(8)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(8)
Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886
(8)
Stankova, Elena. editor. (orcid)0000-0003-2625-452X
(8)
Stephanidis, Constantine. editor.
(8)
Taniar, David. editor. (orcid)0000-0002-8862-3960
(8)
Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
(8)
Cheng, Long. editor. (orcid)0000-0001-7565-8788
(7)
Debruyne, Christophe. editor.
(7)
Leung, Andrew Chi Sing. editor.
(7)
Margaria, Tiziana. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(7)
Ozawa, Seiichi. editor.
(7)
Steffen, Bernhard. editor.
(7)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(6)
Rijmen, Vincent. editor.
(6)
Antona, Margherita. editor.
(5)
Kowalczyk, Ryszard. editor.
(5)
Ryu, Yeonseung. editor. (orcid)0000-0002-8431-073X
(5)
Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771
(5)
Valencia-García, Rafael. editor.
(5)
Ardagna, Claudio Agostino. editor.
(4)
Boldyreva, Alexandra. editor.
(4)
Bollen, Peter. editor.
(4)
Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930
(4)
Ciuciu, Ioana. editor.
(4)
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070
(4)
Demazeau, Yves. editor.
(4)
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
(4)
Goertzel, Ben. editor.
(4)
Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187
(4)
Korytkowski, Marcin. editor.
(4)
Panetto, Hervé. editor.
(4)
Roman, Dumitru. editor.
(4)
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
(4)
Rutkowski, Leszek. editor.
(4)
Scherer, Rafał. editor.
(4)
Tadeusiewicz, Ryszard. editor.
(4)
Weichhart, Georg. editor.
(4)
Winckler, Marco. editor.
(4)
Zurada, Jacek M. editor.
(4)
van den Herik, Jaap. editor.
(4)
von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
(4)
Alcaraz-Mármol, Gema. editor.
(3)
Ali, Moonis. editor.
(3)
Bajo, Javier. editor.
(3)
Bellatreche, Ladjel. editor.
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Blomqvist, Eva. editor.
(3)
Borruso, Giuseppe. editor. (orcid)0000-0002-0933-5208
(3)
Bravo, José. editor.
(3)
Bucaram-Leverone, Martha. editor.
(3)
Cuzzocrea, Alfredo. editor. (orcid)0000-0002-7104-6415
(3)
Damaševičius, Robertas. editor.
(3)
Duan, Zhenhua. editor.
(3)
Duffy, Vincent G. editor.
(3)
Ferrari, Vittorio. editor.
(3)
Filipe, Joaquim. editor.
(3)
Hebert, Martial. editor.
(3)
Ishai, Yuval. editor.
(3)
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
(3)
Lee, Roger. editor.
(3)
Li, Kang. editor.
(3)
Liu, Shaoying. editor.
(3)
Marcus, Aaron. editor.
(3)
Mejia, Jezreel. editor.
(3)
Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985
(3)
Nagoya, Fumiko. editor.
(3)
Nielsen, Jesper Buus. editor.
(3)
Palanque, Philippe. editor.
(3)
Pedrycz, Witold. editor.
(3)
Rocha, Álvaro. editor.
(3)
Schneider, Steve. editor. (orcid)0000-0001-8365-6993
(3)
Sillitti, Alberto. editor.
(3)
Sim, Kevin. editor. (orcid)0000-0001-6555-7721
(3)
Sminchisescu, Cristian. editor.
(3)
Succi, Giancarlo. editor.
(3)
Tian, Cong. editor.
(3)
Vera-Lucio, Néstor. editor.
(3)
Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544
(3)
Voß, Stefan. editor.
(3)
Wang, Wentao. editor.
(3)
Weiss, Yair. editor.
(3)
Yang, Zhile. editor.
(3)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(3)
Abascal, Julio. editor.
(2)
Abdelwahed, El Hassan. editor.
(2)
Abdulrazak, Bessam. editor.
(2)
Aloulou, Hamdi. editor.
(2)
An, Bo. editor. (orcid)0000-0002-7064-7438
(2)
Aramvith, Supavadee. editor.
(2)
Barbosa, Simone. editor.
(2)
Batyrshin, Ildar. editor.
(2)
Bazzan, Ana. editor. (orcid)0000-0002-2803-9607
(2)
Begum, Shahina. editor. (orcid)0000-0002-1212-7637
(2)
Benferhat, Salem. editor.
(2)
Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
(2)
Berger, Christian. editor.
(2)
Blanc-Talon, Jacques. editor.
(2)
Bonsangue, Marcello. editor.
(2)
Bouras, Abdelaziz. editor.
(2)
Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X
(2)
Calvo-Manzano, Jose. editor.
(2)
Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961
(2)
Catania, Barbara. editor.
(2)
Chalidabhongse, Thanarat H. editor.
(2)
Chen, Shifeng. editor. (orcid)0000-0003-0677-7358
(2)
Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
(2)
Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339
(2)
Ciancarini, Paolo. editor.
(2)
Colom, Miguel. editor.
(2)
Cudré-Mauroux, Philippe. editor.
(2)
Cuppens, Frédéric. editor.
(2)
Dastani, Mehdi. editor.
(2)
Dediu, Adrian-Horia. editor.
(2)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Del Cioppo-Morstadt, Javier. editor.
(2)
Denzer, Ralf. editor.
(2)
Dillig, Isil. editor.
(2)
Dillon, Tharam. editor.
(2)
Domer, Bernd. editor.
(2)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(2)
Du, Dajun. editor.
(2)
El-Alfy, El-Sayed M. editor.
(2)
Elgammal, Ahmed. editor. (orcid)0000-0003-2761-4822
(2)
Felsberg, Michael. editor.
(2)
Fensel, Anna. editor.
(2)
Fernandez, Miriam. editor. (orcid)0000-0001-5939-4321
(2)
Ferri, Fernando. editor.
(2)
Fetter, Mirko. editor.
(2)
Fortino, Giancarlo. editor.
(2)
Frisoli, Antonio. editor.
(2)
Fujita, Hamido. editor.
(2)
Gaaloul, Walid. editor.
(2)
Gabbouj, Moncef. editor.
(2)
Gangemi, Aldo. editor.
(2)
Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
(2)
Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X
(2)
Governatori, Guido. editor.
(2)
Gross, Tom. editor.
(2)
Hammoudi, Slimane. editor.
(2)
Hartig, Olaf. editor.
(2)
Heflin, Jeff. editor.
(2)
Helfert, Markus. editor.
(2)
Heyden, Anders. editor.
(2)
Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472
(2)
Ho, Yo-Sung. editor.
(2)
Hoekstra, Rinke. editor.
(2)
Hyvönen, Eero. editor.
(2)
Höfner, Peter. editor.
(2)
Hřebíček, Jiří. editor.
(2)
Johnsen, Einar Broch. editor.
(2)
Kadera, Petr. editor.
(2)
Kahl, Wolfram. editor.
(2)
Kapur, Deepak. editor.
(2)
Karczewski, Konrad. editor.
(2)
Kerautret, Bertrand. editor.
(2)
Konomi, Shin’ichi. editor.
(2)
Krüger, Norbert. editor.
(2)
Lambrix, Patrick. editor.
(2)
Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941
(2)
Lange, Christoph. editor. (orcid)0000-0001-9879-3827
(2)
Lecomte, Thierry. editor.
(2)
Lecue, Freddy. editor.
(2)
Lee, Gyu M. editor. (orcid)0000-0001-5466-6244
(2)
Legay, Axel. editor.
(2)
Lent, Ricardo. editor.
(2)
Levy, David. editor.
(2)
Li, Jin. editor.
(2)
Li, Xiaodong. editor. (orcid)0000-0003-0346-1526
(2)
Li, Yuanqing. editor.
(2)
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
(2)
Lintas, Alessandra. editor.
(2)
Liu, Chengfei. editor.
(2)
Liu, Derong. editor.
(2)
López-Santana, Eduyn Ramiro. editor. (orcid)0000-0001-7670-7756
(2)
Lödding, Hermann. editor. (orcid)0000-0003-4392-3633
(2)
Maciaszek, Leszek A. editor.
(2)
Maciaszek, Leszek. editor.
(2)
Madeyski, Lech. editor.
(2)
Manolopoulos, Yannis. editor.
(2)
Martín-Vide, Carlos. editor.
(2)
Martínez-Villaseñor, María de Lourdes. editor.
(2)
Maynard, Diana. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
(2)
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
(2)
Mařík, Vladimír. editor.
(2)
McIver, Annabelle. editor.
(2)
Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765
(2)
Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434
(2)
Messina, Angelo. editor.
(2)
Mishra, Alok. editor.
(2)
Moeslund, Thomas B. editor.
(2)
Mokhtari, Mounir. editor.
(2)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(637)
Dil
Dahil
Hariç
English
(637)
Basım Yılı
Dahil
Hariç
2014
(48)
2015
(57)
2016
(45)
2017
(150)
2018-2019
Konu
Dahil
Hariç
Computer science.
(347)
Information Systems Applications (incl. Internet).
(192)
Computer Communication Networks.
(184)
Special Purpose and Application-Based Systems.
(163)
Artificial Intelligence (incl. Robotics).
(150)
Software Engineering/Programming and Operating Systems.
(131)
Mathematical Logic and Formal Languages.
(120)
Algorithm Analysis and Problem Complexity.
(108)
Logics and Meanings of Programs.
(107)
User Interfaces and Human Computer Interaction.
(107)
Image Processing and Computer Vision.
(96)
Programming Languages, Compilers, Interpreters.
(93)
Computer vision.
(91)
Computer logic.
(74)
Computers.
(72)
Mathematical logic.
(70)
Computer Systems Organization and Communication Networks.
(67)
Computer software.
(62)
Data Mining and Knowledge Discovery.
(62)
Data mining.
(62)
Application software.
(59)
Computer simulation.
(59)
Simulation and Modeling.
(59)
Logic design.
(58)
Computer communication systems.
(56)
Computer security.
(54)
Systems and Data Security.
(54)
Information Systems and Communication Service.
(52)
Programming Techniques.
(47)
Algorithms.
(46)
Computer network architectures.
(45)
Programming languages (Electronic computers).
(45)
Theory of Computation.
(44)
User interfaces (Computer systems).
(42)
Information systems.
(40)
System Performance and Evaluation.
(40)
Information theory.
(35)
Information storage and retrieval.
(33)
Computers and Education.
(30)
Computer Appl. in Administrative Data Processing.
(29)
Computer organization.
(29)
Computer programming.
(26)
Database management.
(26)
Data encryption (Computer science).
(24)
The Computing Profession.
(24)
Computer Applications.
(23)
Computers and Society.
(23)
Discrete Mathematics in Computer Science.
(23)
Computer system performance.
(22)
Cryptology.
(22)
Optical data processing.
(22)
Computer science -- Mathematics.
(21)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(20)
Engineering.
(20)
Computation by Abstract Devices.
(19)
Information Storage and Retrieval.
(19)
Information storage and retrieval systems.
(19)
Computer system failures.
(18)
Mathematics of Computing.
(18)
Computer industry.
(17)
Computing Milieux.
(17)
Management of Computing and Information Systems.
(17)
Probability and Statistics in Computer Science.
(17)
Computational intelligence.
(16)
Computer Appl. in Social and Behavioral Sciences.
(16)
Education.
(16)
Special purpose computers.
(16)
Operating systems (Computers).
(15)
Optical pattern recognition.
(15)
Pattern Recognition.
(15)
Coding and Information Theory.
(14)
Coding theory.
(14)
Management information systems.
(14)
Operating Systems.
(14)
Natural Language Processing (NLP).
(13)
Natural language processing (Computer science).
(13)
Computers and civilization.
(12)
Social sciences -- Data processing.
(12)
Computer System Implementation.
(11)
Education -- Data processing.
(11)
Computer hardware.
(10)
Computer science—Mathematics.
(10)
Computational Intelligence.
(9)
Computer graphics.
(9)
Logic in AI.
(9)
Data Structures and Information Theory.
(8)
IT in Business.
(8)
Information technology.
(8)
Numeric Computing.
(8)
e-Commerce/e-business.
(8)
Data structures (Computer scienc.
(7)
Health Informatics.
(7)
Media Design.
(7)
Medical records -- Data processing.
(7)
Models and Principles.
(7)
Multimedia systems.
(7)
Bioinformatics.
(6)
Computational Biology/Bioinformatics.
(6)
Computer-Aided Engineering (CAD, CAE) and Design.
(6)
Control Structures and Microprogramming.
(6)
Data protection.
(6)
Data structures (Computer science).
(6)
Mathematical statistics.
(6)
Pattern recognition.
(6)
Security.
(6)
Computational complexity.
(5)
Computer aided design.
(5)
Electronic data processing.
(5)
Math Applications in Computer Science.
(5)
Architecture, Computer.
(4)
Arithmetic and Logic Structures.
(4)
Automation.
(4)
Business -- Data processing.
(4)
Computer Engineering.
(4)
Control, Robotics, Mechatronics.
(4)
Data Structures.
(4)
Education—Data processing.
(4)
Information Systems.
(4)
Input/Output and Data Communications.
(4)
Microprogramming .
(4)
Processor Architectures.
(4)
Robotics and Automation.
(4)
Robotics.
(4)
Symbolic and Algebraic Manipulation.
(4)
The Computer Industry.
(4)
Computational linguistics.
(3)
E-commerce.
(3)
Legal Aspects of Computing.
(3)
Numerical analysis.
(3)
Big data.
(2)
Complexity, Computational.
(2)
Complexity.
(2)
Data Encryption.
(2)
Data transmission systems.
(2)
Energy Systems.
(2)
Health informatics.
(2)
Image processing.
(2)
Industrial and Production Engineering.
(2)
Industrial engineering.
(2)
Input-output equipment (Computers).
(2)
Language Translation and Linguistics.
(2)
Law and legislation.
(2)
Memory Structures.
(2)
Memory management (Computer scie.
(2)
Microprogramming.
(2)
Multimedia Information Systems.
(2)
Personal Computing.
(2)
Algebra -- Data processing.
(1)
Algebra.
(1)
Arithmetic and logic units, Computer.
(1)
Biometrics.
(1)
Business IT Infrastructure.
(1)
Business Information Systems.
(1)
Chinese language.
(1)
Chinese.
(1)
Communications Engineering, Networks.
(1)
Computational Mathematics and Numerical Analysis.
(1)
Computer Science, general.
(1)
Computer mathematics.
(1)
Computer-aided engineering.
(1)
Computers -- Law and legislation.
(1)
Computing Methodologies.
(1)
Data Structures, Cryptology and Information Theory.
(1)
Document Preparation and Text Processing.
(1)
Educational Technology.
(1)
Electrical engineering.
(1)
Enterprise Architecture.
(1)
Knowledge management.
(1)
Mathematical Logic and Foundations.
(1)
Microprocessors.
(1)
Mobile computing.
(1)
Order, Lattices, Ordered Algebraic Structures.
(1)
Ordered algebraic structures.
(1)
Performance and Reliability.
(1)
Personal computers.
(1)
Production engineering.
(1)
Project management.
(1)
Security Services.
(1)
Text processing (Computer science).
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(637)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(637)
Kütüphane
Dahil
Hariç
TEDU library
(637)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}