Search Results for Computer system performance.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Library: Online Library

Author

SpringerLink (Online service)

(487)

Anderson, Tom. editor.

(8)

Kim, Tai-hoon. editor.

(7)

Yang, Laurence T. editor.

(7)

Guo, Minyi. editor.

(6)

Kwiecień, Andrzej. editor.

(6)

Al-Begain, Khalid. editor.

(5)

Alexander, Michael. editor.

(5)

Gaj, Piotr. editor.

(5)

Martino, Beniamino. editor.

(5)

Nambiar, Raghunath. editor.

(5)

Poess, Meikel. editor.

(5)

Stera, Piotr. editor.

(5)

Altmann, Jörn. editor.

(4)

Dale, Chris. editor.

(4)

Danelutto, Marco. editor.

(4)

D’Ambra, Pasqua. editor.

(4)

Fiems, Dieter. editor.

(4)

Koucheryavy, Yevgeni. editor.

(4)

Müller, Matthias S. editor.

(4)

Redmill, Felix. editor.

(4)

Reussner, Ralf. editor.

(4)

Scott, Stephen L. editor.

(4)

Tang, Jinshan. editor.

(4)

Uhlig, Steve. editor.

(4)

Vassiliadis, Stamatis. editor.

(4)

Weidendorfer, Josef. editor.

(4)

Ślęzak, Dominik. editor.

(4)

Bertels, Koen. editor.

(3)

Bhateja, Vikrant. editor.

(3)

Cannataro, Mario. editor.

(3)

Chapman, Barbara M. editor.

(3)

Dongarra, Jack. editor.

(3)

Hämäläinen, Timo D. editor.

(3)

Jeannot, Emmanuel. editor.

(3)

Kordon, Fabrice. editor.

(3)

Kyte, Thomas. author.

(3)

Marin, Andrea. editor.

(3)

Pan, Yi. editor.

(3)

Rana, Omer F. editor.

(3)

Salvendy, Gavriel. editor.

(3)

Simic, Milan. editor.

(3)

Smith, Michael J. editor.

(3)

Wong, Stephan. editor.

(3)

Xing, Kai. editor.

(3)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(3)

Atiquzzaman, Mohammed. editor.

(2)

Ayala, José L. editor.

(2)

Balandin, Sergey. editor.

(2)

Balsamo, Simonetta. editor.

(2)

Belloum, Adam. editor.

(2)

Bensalem, Saddek. editor.

(2)

Berbineau, Marion. editor.

(2)

Bereković, Mladen. editor.

(2)

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

(2)

Bian, Fuling. editor.

(2)

Biersack, Ernst. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Bosilca, George. editor.

(2)

Bravetti, Mario. editor.

(2)

Bu, Jiajun. editor.

(2)

Cardoso, João M. P. editor.

(2)

Chen, Qianbin. editor.

(2)

Chen, Wai-Kai, 1936-

(2)

Chessa, Stefano. editor.

(2)

Cui, Xiaohui. editor.

(2)

Dick, Jeremy. author.

(2)

Dimopoulos, Nikitas. editor.

(2)

Diniz, Pedro C. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Dudin, Alexander. editor.

(2)

Gerndt, Michael. editor.

(2)

Guarracino, Mario. editor.

(2)

Gunther, Neil J. author.

(2)

Harju, Jarmo. editor.

(2)

Hull, Elizabeth. author.

(2)

Jin, Sangeun. editor.

(2)

Kang, Byeong-Ho. editor.

(2)

Kim, Jeong Ho. editor.

(2)

Kleinjohann, Bernd. editor.

(2)

Kleinjohann, Lisa. editor.

(2)

Knauth, Stefan. editor.

(2)

Knottenbelt, William J. editor.

(2)

Knüpfer, Andreas. editor.

(2)

Kong, Yong-Ku. editor. (orcid)0000-0003-3208-6817

(2)

Korakis, Thanasis. editor.

(2)

Lee, Changhoon. editor.

(2)

Leucker, Martin. editor.

(2)

Li, Bo. editor.

(2)

Li, Yingshu. editor.

(2)

Lin, Hai-Xiang. editor.

(2)

Lin, Hong. editor.

(2)

Liu, Honghai. editor.

(2)

Liu, Lianqing. editor. (orcid)

(2)

Ma, Yan. editor.

(2)

Mambretti, Joe. editor.

(2)

Mao, Shiwen. editor.

(2)

Meng, Weixiao. editor.

(2)

Meyer, Bertrand. editor.

(2)

Namyst, Raymond. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

O'Connor, Rory V. editor.

(2)

Ouyang, Xiaoping. editor.

(2)

Overhage, Sven. editor.

(2)

Park, Jaehyun. editor.

(2)

Park, Jong Hyuk. editor.

(2)

Polkowski, Zdzislaw. editor.

(2)

Pras, Aiko. editor.

(2)

Rammig, Franz J. editor.

(2)

Rauber, Thomas. author.

(2)

Rettberg, Achim. editor.

(2)

Roman, Jean. editor.

(2)

Rünger, Gudula. author.

(2)

Sachs, Kai. editor.

(2)

Schagaev, Igor. author.

(2)

Schoitsch, Erwin. editor.

(2)

Schulzrinne, Henning. editor.

(2)

Schätz, Bernhard. editor.

(2)

Shu, Lei. editor.

(2)

Sicard, Gilles. editor.

(2)

Simplot-Ryl, David. editor.

(2)

Skianis, Charalabos. editor.

(2)

Sokolsky, Oleg. editor.

(2)

Stafford, Judith A. editor.

(2)

Stamelos, Ioannis. editor.

(2)

Svensson, Lars. editor.

(2)

Talia, Domenico. editor.

(2)

Taylor and Francis.

(2)

Telek, Miklós. editor.

(2)

Thulasiram, Ruppa K. editor.

(2)

Tomkos, Ioannis. editor.

(2)

Traff, Jesper Larsson. editor.

(2)

Turnbull, James. author.

(2)

Vallée, Geoffroy. editor.

(2)

Vanmechelen, Kurt. editor.

(2)

Wang, Zhiyong. editor.

(2)

Wolter, Katinka. editor.

(2)

Woods, Roger. editor.

(2)

Wu, Zhaohui. editor.

(2)

Xie, Yichun. editor.

(2)

Xu, Tony Li. editor.

(2)

Yang, Geng. editor.

(2)

Yang, Huayong. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Yin, Zhouping. editor.

(2)

Yun, Myung Hwan. editor.

(2)

Zanella, Mauro C. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Zeng, Deze. editor.

(2)

Zeng, Yixin. editor.

(2)

Zhao, Liqiang. editor.

(2)

Zheng, Jun. editor.

(2)

Zou, Jun. editor.

(2)

Aalst, Wil M. editor.

(1)

Abawajy, Jemal H. editor.

(1)

Abdallah, Chaouki T., author.

(1)

Abdul Wahat, Nor Wahiza. editor.

(1)

Abe, Jair M. editor.

(1)

Abeyratne, Athula I., author.

(1)

Abhaya, Vidura Gamini. author.

(1)

Abraham, Ajith. editor.

(1)

Abrahão, Silvia. editor.

(1)

Abran, Alain. editor.

(1)

Acuña, Silvia T. editor.

(1)

Acuña, Silvia Teresita. author.

(1)

Adeli, Hojjat. editor.

(1)

Agnihotri, Samar. editor.

(1)

Agrawal, Divyakant. editor.

(1)

Aguado, Marina. editor.

(1)

Ahmad, Afaq. editor. (orcid)0000-0002-8592-1612

(1)

Ahmad, Ishfaq. editor.

(1)

Ahmed, Toufik. editor.

(1)

Ahuja, Ravindra K. editor.

(1)

Ahuja, Sachin, editor.

(1)

Aikat, Jay. author.

(1)

Ajit, Srividya. author.

(1)

Ajmone Marsan, Marco. editor.

(1)

Akar, Nail. editor.

(1)

Akyildiz, Ian F. editor.

(1)

Alawneh, Luay. author.

(1)

Aldini, Alessandro. author.

(1)

Aldo, Faisal. editor.

(1)

Alfa, Attahiru Sule. author.

(1)

Allen, Robbie. author.

(1)

Almeroth, Kevin. editor.

(1)

Aloisio, Giovanni. editor.

(1)

Amann, Michael. editor.

(1)

An, Jianpin, author.

(1)

Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252

(1)

Anandalingam, G. editor.

(1)

Anderson, Stuart. author.

(1)

Andrade, Aline Maria Santos. editor.

(1)

Andreev, Sergey. editor.

(1)

Andreev, Sergey. editor. (orcid)0000-0001-8223-3665

(1)

Andres, Clay. editor.

(1)

Anglin, Steve. editor.

(1)

Anil Kumar, V. S. editor.

(1)

Antonopoulos, Nick. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Arogeti, Shai. author.

(1)

Language

(511)

(11)

Publication Date

-

(77)

(72)

(52)

(41)

(38)

(34)

(33)

(32)

(29)

(29)

(22)

(14)

(13)

(13)

(7)

(4)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer system performance.

(425)

Computer science.

(367)

Software engineering.

(248)

Computer Communication Networks.

(203)

Information systems.

(83)

Computer network architectures.

(82)

Operating systems (Computers).

(77)

Computer software.

(57)

Telecommunication.

(56)

Computer simulation.

(51)

(51)

System Performance and Evaluation.

(50)

Artificial intelligence.

(48)

Information Systems.

(32)

Communications Engineering, Networks.

(25)

(25)

Computational intelligence.

(24)

Data protection.

(23)

Information storage and retrieval systems.

(23)

Computer industry.

(18)

Database management.

(18)

(17)

Computer hardware.

(15)

Data encryption (Computer science).

(15)

(15)

Systems engineering.

(14)

Electronic books.

(13)

Special Purpose and Application-Based Systems.

(12)

Computer security.

(11)

Computer vision.

(11)

Information theory.

(11)

Simulation and Modeling.

(11)

(11)

Computer engineering.

(10)

Information Systems Applications (incl. Internet).

(10)

Data structures (Computer science).

(9)

Electronic data processing.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Computer networks .

(8)

(8)

Multimedia systems.

(8)

(7)

TECHNOLOGY & ENGINEERING.

(7)

Application software.

(6)

Bioinformatics.

(6)

Computer and Information Systems Applications.

(6)

Control engineering.

(6)

Distribution (Probability theory).

(6)

Engineering mathematics.

(6)

Human-computer interaction.

(6)

Industrial engineering.

(6)

Memory management (Computer science).

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

(5)

Computer aided design.

(5)

Electronic circuits.

(5)

Machine learning.

(5)

Microprogramming.

(5)

Operating Systems.

(5)

Probability and Statistics in Computer Science.

(5)

Processor Architectures.

(5)

Programming Languages, Compilers, Interpreters.

(5)

(4)

Cognitive psychology.

(4)

Control and Systems Theory.

(4)

(4)

Electronic Circuits and Systems.

(4)

Engineering design.

(4)

Internet of things.

(4)

Management information systems.

(4)

Management of Computing and Information Systems.

(4)

Numeric Computing.

(4)

Operations research.

(4)

Programming Techniques.

(4)

Security Science and Technology.

(4)

Security systems.

(4)

Apprentissage automatique.

(3)

Computer Science Logic and Foundations of Programming.

(3)

Computer System Implementation.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computers and Society.

(3)

Data transmission systems.

(3)

Economic Development, Innovation and Growth.

(3)

Economic development.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Energy Economics.

(3)

Engineering economy.

(3)

Industrial and Production Engineering.

(3)

Intelligence (AI) & Semantics.

(3)

Mathematical optimization.

(3)

Performance and Reliability.

(3)

(3)

Production engineering.

(3)

Signal processing.

(3)

Signal, Speech and Image Processing.

(3)

Social sciences -- Data processing.

(3)

Software Engineering/Programming and Operating Systems.

(3)

(2)

Arithmetic and Logic Structures.

(2)

(2)

Business information services.

(2)

Compilers (Computer programs).

(2)

Compilers and Interpreters.

(2)

Computation by Abstract Devices.

(2)

Computational complexity.

(2)

Computer Applications.

(2)

Computer Engineering and Networks.

(2)

Computer Modelling.

(2)

Computer Networks.

(2)

Computer Science, general.

(2)

Computer graphics.

(2)

Control, Robotics, Automation.

(2)

Cooperating objects (Computer systems).

(2)

Cyber-Physical Systems.

(2)

Data Engineering.

(2)

Data and Information Security.

(2)

Data structures (Computer scienc.

(2)

Electronic digital computers -- Evaluation.

(2)

Engineering -- Data processing.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Formal Languages and Automata Theory.

(2)

IT in Business.

(2)

Information technology.

(2)

Logics and Meanings of Programs.

(2)

Machine theory.

(2)

Mobile & Wireless Communications.

(2)

Mobile communication systems.

(2)

Quality Control.

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

Renewable energy sources.

(2)

(2)

Sustainable development.

(2)

Wireless and Mobile Communication.

(2)

Wireless communication systems.

(2)

Algebra -- Data processing.

(1)

(1)

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial intelligence -- Data processing.

(1)

Artificial satellites in telecommunication -- Security measures.

(1)

(1)

Automated Pattern Recognition.

(1)

Avaluació de la personalitat.

(1)

Bayesian statistical decision theory

(1)

Bayesian statistical decision theory.

(1)

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

Business logistics.

(1)

COMPUTERS -- Operating Systems -- General.

(1)

COMPUTERS -- Social Aspects -- Human-Computer Interaction.

(1)

COMPUTERSCIENCEnetBASE

(1)

Chemical engineering.

(1)

Chemical process control

(1)

Chemical process control.

(1)

Circuits and Systems.

(1)

Circuits pour micro-ondes.

(1)

Civil engineering.

(1)

Coding and Information Theory.

(1)

Cognitive Science -- methods.

(1)

Cognitive science.

(1)

(1)

Complex Systems.

(1)

(1)

Computational Biology/Bioinformatics.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computational intelligence

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Engineering

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer algorithms

(1)

Computer algorithms.

(1)

Computer architecture.

(1)

Computer engineering -- Management.

(1)

Computer networks -- Management.

(1)

Computer networks -- Security measures.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer science -- Mathematics.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computers -- Law and legislation.

(1)

(1)

Computing Systems Design.

(1)

Control Structures and Microprogramming.

(1)

Control engineering systems.

(1)

(1)

(1)

(1)

(1)

Data Analysis and Big Data.

(1)

(1)

Data Structures and Information Theory.

(1)

Data transmission systems

(1)

Decision Making.

(1)

Desktop/Mobile Interface Design.

(1)

Digital communications

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

522 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 44

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 Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

Author

Montavont, Nicolas. editor. Papadopoulos, Georgios Z. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00247-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02610-3

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Author

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00359-3

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

Author

Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01790-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Author

Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00623-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Author

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94764-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Author

Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03769-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

Author

Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04780-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89960-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89722-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Lectures on Runtime Verification Introductory and Advanced Topics

Lectures on Runtime Verification Introductory and Advanced Topics

Lectures on Runtime Verification Introductory and Advanced Topics

Author

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75632-5

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 44

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11