Search Results for Systems Analysis.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer Communication Networks.

Author

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)

Language

(157)

Publication Date

-

(43)

(34)

(29)

(28)

(8)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

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)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

157 Results Found

Subscribe to search results

1 2 3 4 5 .. 14

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Analysis and Design of Networked Control Systems

Analysis and Design of Networked Control Systems

Analysis and Design of Networked Control Systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

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)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11