Search Results for Systems Analysis.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Computer Communication Networks.

Yazar

SpringerLink (Online service)

(157)

Chen, Xilin. editor.

(12)

Ji, Rongrong. editor. (orcid)0000-0003-4739-8936

(12)

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

(12)

Ma, Zhanyu. editor.

(12)

Wang, Hanzi. editor.

(12)

Wang, Liang. editor. (orcid)0000-0001-5224-8647

(12)

Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

(12)

Zheng, Weishi. editor. (orcid)0000-0001-8327-0003

(12)

Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X

(10)

Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758

(10)

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012

(10)

Wand, Michael. editor. (orcid)0000-0003-0966-7824

(10)

Hung, Jason C. editor.

(8)

Yen, Neil. editor.

(8)

Cao, Longbing. editor. (orcid)0000-0003-1524-9063

(5)

Kumar, Vipin. editor. (orcid)0000-0002-9040-2665

(5)

Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759

(5)

Wang, Can. editor. (orcid)0000-0002-2890-0057

(5)

Wu, Xintao. editor. (orcid)0000-0002-2823-3063

(5)

Wu, Yanqiu. editor.

(5)

Wu, Zhangkai. editor.

(5)

Yao, Yu. editor.

(5)

Borzemski, Leszek. editor.

(4)

Chang, Jia-Wei. editor.

(4)

Chang, Jia-Wei. editor. (orcid)0000-0002-9321-6278

(4)

Grzech, Adam. editor.

(4)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(4)

Wilimowska, Zofia. editor.

(4)

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874

(3)

Finkbeiner, Bernd. editor.

(3)

Fujita, Hamido. editor. (orcid)0000-0001-5256-210X

(3)

Gaol, Ford Lumban. editor. (orcid)0000-0002-5116-5708

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492

(3)

Kovács, Laura. editor.

(3)

Mandal, Jyotsna Kumar. editor.

(3)

Matsuo, Tokuro. editor. (orcid)0009-0000-3551-8799

(3)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(3)

Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313

(3)

Satapathy, Suresh Chandra. editor.

(3)

Wojtkiewicz, Krystian. editor. (orcid)0000-0002-7851-4330

(3)

Świątek, Jerzy. editor.

(3)

Ali, Moonis. editor.

(2)

Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210

(2)

Bellatreche, Ladjel. editor.

(2)

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637

(2)

Bouguettaya, Athman. editor.

(2)

Cellary, Wojciech. editor.

(2)

Chen, Lei. editor.

(2)

Chen, Lu. editor.

(2)

Choraś, Michał. editor. (orcid)0000-0003-1405-9911

(2)

Coelho, João P. editor.

(2)

Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680

(2)

Dzerzhinskiy, Fedor. editor.

(2)

Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903

(2)

Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460

(2)

Gao, Yunjun. editor.

(2)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(2)

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

(2)

Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329

(2)

Hart, Emma. editor.

(2)

Ichalkaranje, Nikhil. editor.

(2)

Jain, Lakhmi C. editor.

(2)

Jensen, Christian S. editor.

(2)

Jia, Weijia. editor.

(2)

Klimenko, Andrey. editor.

(2)

Klimenko, Stanislav V. editor.

(2)

Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347

(2)

Leino, K. Rustan M. editor.

(2)

Li, Qing. editor.

(2)

Lian, Xiang. editor.

(2)

Lima, José. editor. (orcid)0000-0001-7902-1207

(2)

Mendes, Armando. editor.

(2)

Meng, Lei. editor.

(2)

Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X

(2)

Mokbel, Mohamed F. editor.

(2)

Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884

(2)

Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X

(2)

Ordonez, Carlos. editor.

(2)

Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391

(2)

Patnaik, Srikanta. editor.

(2)

Pawlicki, Marek. editor. (orcid)0000-0001-5881-6406

(2)

Pereira, Ana I. editor. (orcid)0000-0003-3803-2043

(2)

Shahabi, Cyrus. editor.

(2)

Tabia, Karim. editor.

(2)

Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817

(2)

Wang, Hua. editor.

(2)

Wang, Jianmin. editor.

(2)

Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771

(2)

Yang, Xiaochun. editor.

(2)

Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665

(2)

Zhang, Yanchun. editor.

(2)

Zhou, Rui. editor.

(2)

Abd Malek, Mohd Fareq. editor.

(1)

Abd. Aziz, Mohamad Zoinol Abidin. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abie, Habtamu. editor. (orcid)0000-0003-0866-5050

(1)

Ahmed, Mobyen Uddin. editor.

(1)

Ahmed, Mohammed. author.

(1)

Al-Nahhal, Ibrahim. author.

(1)

Al-Shaer, Ehab. author.

(1)

Al-kfairy, Mousa. editor. (orcid)0000-0003-3180-3861

(1)

Aldwairi, Monther. editor. (orcid)0000-0003-1150-2404

(1)

Alfandi, Omar. editor. (orcid)0000-0002-9581-401X

(1)

Alrabaee, Saed. editor. (orcid)0000-0001-8842-493X

(1)

Ambroze, Marcel A. author.

(1)

Amouzegar, Mahyar A. editor.

(1)

An, Bo. editor.

(1)

Andreev, Sergey. editor.

(1)

Ang, Swee-Peng. editor.

(1)

Ao, Sio-Iong. editor.

(1)

Ao, Sio-long. editor.

(1)

Arya, Yogendra. editor. (orcid)0000-0003-4661-1950

(1)

Athanasopoulos, Elias. editor.

(1)

Aydin, Kemal. editor.

(1)

Baier, Christel. editor.

(1)

Balandin, Sergey. editor.

(1)

Bao, Zhifeng. editor.

(1)

Barker, Ken. editor.

(1)

Bay, John. editor.

(1)

Begum, Shahina. editor.

(1)

Bhattacharyya, Dhruba K. author.

(1)

Bhuyan, Monowar H. author.

(1)

Blanas, Spyros. editor.

(1)

Blanc, Gregory. editor. (orcid)0000-0001-8150-6617

(1)

Blumenstein, Michael. editor.

(1)

Bodden, Eric. editor.

(1)

Bordawekar, Rajesh. editor.

(1)

Borovica-Gajic, Renata. editor. (orcid)0000-0003-3503-4123

(1)

Bouajjani, Ahmed. editor.

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

Caballero, Juan. editor.

(1)

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961

(1)

Cambiaso, Enrico. editor.

(1)

Cao, Jinde. author.

(1)

Castiglione, Aniello. editor.

(1)

Celebi, M. Emre. editor. (orcid)0000-0002-2721-6317

(1)

Chaki, Nabendu. editor.

(1)

Challal, Yacine. editor.

(1)

Chao, Han-Chieh. editor.

(1)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(1)

Chen, Mingzhe. author.

(1)

Cheng, Xiang. author.

(1)

Choudhury, Farhana. editor.

(1)

Cortesi, Agostino. editor.

(1)

Crampton, Andrew. editor. (orcid)0000-0002-4635-9102

(1)

Crnkovic, Ivica. editor.

(1)

Cui, Shuguang. author.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens-Boulahia, Nora. editor. (orcid)0000-0001-8792-0413

(1)

Dacier, Marc. editor.

(1)

Delgado-Segura, Sergi. editor. (orcid)0000-0001-7783-7288

(1)

Di Martino, Beniamino. editor.

(1)

Dobre, Octavia A. author.

(1)

Eder, Johann. editor.

(1)

Esparza, Javier. editor.

(1)

Faisal, Alice. author.

(1)

Fang, Fei. editor.

(1)

Farshim, Pooya. editor.

(1)

Fischer, Wieland. editor.

(1)

Flanagan, Cormac. editor.

(1)

Fronzetti Colladon, Andrea. editor.

(1)

Fteimi, Nora. editor.

(1)

Fuehres, Hauke. editor.

(1)

Gabillon, Alban. editor.

(1)

Galinina, Olga. editor.

(1)

Galić, Zdravko. author.

(1)

Gamper, Johann. editor. (orcid)0000-0002-2162-4918

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Gavoille, Cyril. editor.

(1)

Ge, Yong. editor.

(1)

Gelman, Len. editor.

(1)

Gherabi, Noredine. editor.

(1)

Gierlichs, Benedikt. editor.

(1)

Gloor, Peter A. editor.

(1)

Grumberg, Orna. editor.

(1)

Guo, Song. editor.

(1)

Guttmann, Christian. editor.

(1)

Ha, Dac-Binh. editor. (orcid)0000-0002-1242-5159

(1)

Halbwachs, Nicolas. editor.

(1)

Haldorai, Anandakumar. editor.

(1)

Hermanns, Holger. editor.

(1)

Hill, Richard. editor. (orcid)0000-0003-0105-7730

(1)

Hinchey, Mike. editor.

(1)

Ho, Daniel W. C. author.

(1)

Hoepman, Jaap-Henk. editor.

(1)

Homma, Naofumi. editor.

(1)

Hosseinian-Far, Amin. editor.

(1)

Huth, Michael. editor.

(1)

Ilcinkas, David. editor.

(1)

Islamov, Islam. author.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Janicke, Helge. editor.

(1)

Jibril, Mubarak. author.

(1)

Jin, Zhi. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Jones, Kevin. editor.

(1)

Tümünü genişlet

Dil

(157)

Yayın Yılı

-

(43)

(34)

(29)

(28)

(8)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer networks .

(145)

Artificial intelligence.

(67)

Application software.

(57)

Computer and Information Systems Applications.

(57)

Software engineering.

(35)

Telecommunication.

(34)

Communications Engineering, Networks.

(32)

Computer science.

(25)

Computer System Implementation.

(20)

Computer systems.

(20)

(20)

Data and Information Security.

(19)

Data protection.

(19)

Computer vision.

(18)

(17)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(16)

Computing Milieux.

(16)

Image processing -- Digital techniques.

(16)

Computational intelligence.

(15)

Computer science -- Mathematics.

(14)

Data Mining and Knowledge Discovery.

(14)

(14)

Machine learning.

(14)

Database management.

(12)

Computer Engineering and Networks.

(11)

Computer engineering.

(11)

(11)

(11)

Data encryption (Computer science).

(11)

Information storage and retrieval systems.

(11)

Theory of Computation.

(11)

Computer Modelling.

(10)

Computer simulation.

(10)

Information Storage and Retrieval.

(10)

Signal processing.

(10)

Computers, Special purpose.

(9)

Information theory.

(9)

Mathematics of Computing.

(9)

Signal, Speech and Image Processing.

(9)

Special Purpose and Application-Based Systems.

(9)

Electronic Circuits and Systems.

(8)

Electronic circuits.

(8)

Electronic data processing -- Management.

(8)

(8)

Internet of things.

(8)

Multimedia Information Systems.

(8)

Multimedia systems.

(8)

(7)

Computers and Education.

(6)

Control Structures and Microprogramming.

(6)

Education -- Data processing.

(6)

Microprogramming .

(6)

Business Information Systems.

(5)

Business information services.

(5)

Computer Science Logic and Foundations of Programming.

(5)

Computer software.

(5)

Data Structures and Information Theory.

(5)

Data structures (Computer science).

(5)

Design and Analysis of Algorithms.

(5)

Electronic digital computers -- Evaluation.

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

System Performance and Evaluation.

(5)

Coding and Information Theory.

(4)

(4)

Computer Application in Social and Behavioral Sciences.

(4)

Computers and Society.

(4)

Computers and civilization.

(4)

Mobile communication systems.

(4)

Social sciences -- Data processing.

(4)

Wireless and Mobile Communication.

(4)

Wireless communication systems.

(4)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer networks -- Security measures.

(3)

Information systems.

(3)

Mobile and Network Security.

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Computer Application in Administrative Data Processing.

(2)

Computer Hardware.

(2)

Computer network architectures.

(2)

Computers -- Law and legislation.

(2)

Control and Systems Theory.

(2)

Control engineering.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Electric power production.

(2)

Electrical Power Engineering.

(2)

Electrical and Electronic Engineering.

(2)

Electrical engineering.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

(2)

(2)

Geographic information systems.

(2)

Geographical Information System.

(2)

(2)

Hardware Performance and Reliability.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Information technology -- Law and legislation.

(2)

Information technology -- Management.

(2)

Legal Aspects of Computing.

(2)

Mathematical Applications in Computer Science.

(2)

Microelectromechanical systems.

(2)

Microsystems and MEMS.

(2)

Microtechnology.

(2)

Microwaves, RF Engineering and Optical Communications.

(2)

Models of Computation.

(2)

Operating systems (Computers).

(2)

Production engineering.

(2)

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Artificial intelligence -- Data processing.

(1)

Automated Pattern Recognition.

(1)

(1)

Computer architecture.

(1)

Computer security.

(1)

Computer system performance.

(1)

(1)

Control theory.

(1)

Control, Robotics, Automation.

(1)

Data Analysis and Big Data.

(1)

(1)

Data Storage Representation.

(1)

Data transmission systems.

(1)

Database Management System.

(1)

Digital and Analog Signal Processing.

(1)

Economic sociology.

(1)

Electronic commerce.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

(1)

Health Informatics.

(1)

Industrial organization.

(1)

Information retrieval.

(1)

(1)

Logic programming.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical models.

(1)

Mathematical statistics.

(1)

Mechanical Power Engineering.

(1)

Medical informatics.

(1)

(1)

Pattern recognition systems.

(1)

Probability and Statistics in Computer Science.

(1)

Quantitative research.

(1)

Regional and Spatial Economics.

(1)

Regional economics.

(1)

Spatial economics.

(1)

(1)

Systems Theory, Control.

(1)

Systems theory.

(1)

(1)

e-Commerce and e-Business.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

157 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 14

000000000000DEFAULT_TR

Yazdır

Liste seç

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.

1.

Analysis and Design of Networked Control Systems için kapak resmi

Analysis and Design of Networked Control Systems

Analysis and Design of Networked Control Systems

Yazar

You, Keyou. author. Xiao, Nan. author. Xie, Lihua. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6615-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90653-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90643-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90660-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57246-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57249-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57256-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach için kapak resmi

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

Yazar

Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92624-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers için kapak resmi

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

Yazar

Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-56111-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings için kapak resmi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-33951-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Yazar

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28756-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19835-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11