Search Results for Computer system performance.

|

|

|

|

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:

+

Library: Online Library

Author

SpringerLink (Online service)

(455)

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)

Uhlig, Steve. editor.

(4)

Vassiliadis, Stamatis. editor.

(4)

Weidendorfer, Josef. editor.

(4)

Ślęzak, Dominik. editor.

(4)

Bertels, Koen. 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)

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)

Bian, Fuling. editor.

(2)

Biersack, Ernst. editor.

(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)

Kang, Byeong-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)

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)

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, Jong Hyuk. 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)

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)

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)

Abe, Jair M. editor.

(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, Ishfaq. editor.

(1)

Ahmed, Toufik. editor.

(1)

Ahuja, Ravindra K. 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)

Allén, Sture, contributor.

(1)

Almeroth, Kevin. editor.

(1)

Aloisio, Giovanni. editor.

(1)

Amann, Michael. editor.

(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)

Assis Silva, Flávio Morais. editor.

(1)

Ata, Shingo. editor.

(1)

Athanas, Peter. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Atkinson, Colin. editor.

(1)

Avigad, Jeremy. editor.

(1)

Avritzer, Alberto. editor.

(1)

Avrutin, Viktor. editor.

(1)

Azemard, Nadine. editor.

(1)

Azzopardi, George. editor.

(1)

Azémard, Nadine. editor.

(1)

Baalsrud Hauge, Jannicke. editor.

(1)

Badia, Rosa M. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Bag, Sandip. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Bailey, David H.

(1)

Baker, Mark. editor.

(1)

Language

(466)

(11)

Publication Date

-

(77)

(72)

(52)

(41)

(39)

(34)

(33)

(32)

(29)

(29)

(19)

(12)

(3)

(2)

(2)

(1)

(1)

(1)

Subject

Computer system performance.

(425)

Computer science.

(364)

Software engineering.

(242)

Computer Communication Networks.

(198)

Information systems.

(83)

Computer network architectures.

(82)

Operating systems (Computers).

(77)

Computer software.

(57)

(51)

Computer simulation.

(49)

System Performance and Evaluation.

(49)

Telecommunication.

(43)

Artificial intelligence.

(40)

Information Systems.

(32)

(25)

Information storage and retrieval systems.

(23)

Data protection.

(21)

Computer industry.

(18)

Database management.

(18)

(17)

Computer hardware.

(15)

Data encryption (Computer science).

(15)

(15)

Systems engineering.

(13)

Communications Engineering, Networks.

(12)

Special Purpose and Application-Based Systems.

(12)

Computer security.

(11)

Computer vision.

(11)

Information theory.

(11)

Simulation and Modeling.

(11)

(11)

Information Systems Applications (incl. Internet).

(10)

Data structures (Computer science).

(9)

Electronic data processing.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Computational intelligence.

(8)

Computer engineering.

(8)

Multimedia systems.

(8)

(7)

Distribution (Probability theory).

(6)

(6)

Memory management (Computer science).

(6)

Bioinformatics.

(5)

Computer aided design.

(5)

Engineering mathematics.

(5)

Microprogramming.

(5)

Operating Systems.

(5)

Probability and Statistics in Computer Science.

(5)

Processor Architectures.

(5)

Programming Languages, Compilers, Interpreters.

(5)

(4)

Industrial engineering.

(4)

Management information systems.

(4)

Management of Computing and Information Systems.

(4)

Numeric Computing.

(4)

Programming Techniques.

(4)

(3)

Computer System Implementation.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computers and Society.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Energy Economics.

(3)

Engineering design.

(3)

Engineering economy.

(3)

Mathematical optimization.

(3)

Operations research.

(3)

Performance and Reliability.

(3)

Social sciences -- Data processing.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Arithmetic and Logic Structures.

(2)

(2)

Computation by Abstract Devices.

(2)

Computational complexity.

(2)

Computer Applications.

(2)

Computer Science, general.

(2)

Computer graphics.

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

Data Engineering.

(2)

Data structures (Computer scienc.

(2)

Data transmission systems.

(2)

Electronic books.

(2)

Electronic circuits.

(2)

Engineering -- Data processing.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Information technology.

(2)

Logics and Meanings of Programs.

(2)

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

(2)

Signal processing.

(2)

Signal, Speech and Image Processing.

(2)

Algebra -- Data processing.

(1)

(1)

Application software.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Automatische Sprachanalyse.

(1)

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

Business logistics.

(1)

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

(1)

COMPUTERSCIENCEnetBASE

(1)

Chemical engineering.

(1)

Circuits and Systems.

(1)

Civil engineering.

(1)

Coding and Information Theory.

(1)

Cognitive Science -- methods.

(1)

Cognitive science.

(1)

(1)

(1)

Computational Biology/Bioinformatics.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational linguistics -- Congresses.

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Engineering

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer and Information Systems Applications.

(1)

Computer architecture.

(1)

Computer engineering -- Management.

(1)

Computer networks -- Management.

(1)

Computer networks -- Security measures.

(1)

Computer networks .

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer science -- Mathematics.

(1)

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

(1)

Computers -- Law and legislation.

(1)

Computing Systems Design.

(1)

Control Structures and Microprogramming.

(1)

Control engineering systems.

(1)

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Analysis and Big Data.

(1)

(1)

Data Structures and Information Theory.

(1)

Decision Making.

(1)

Desktop/Mobile Interface Design.

(1)

Digital computer simulation -- Handbooks, manuals, etc.

(1)

Discourse analysis -- Data processing -- Congresses.

(1)

Drugs -- Standards -- United States.

(1)

Education, Higher.

(1)

(1)

Electric engineering.

(1)

Electric filters.

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electrical engineering -- Computer-aided design.

(1)

Electronic Circuits and Systems.

(1)

Electronic commerce.

(1)

Electronic digital computers -- Evaluation.

(1)

Electronic digital computers.

(1)

Energy Technology.

(1)

Engineering models -- Handbooks, manuals, etc.

(1)

Engineering, general.

(1)

Environmental Social Sciences.

(1)

Environmental sciences -- Social aspects.

(1)

Ergonomics -- methods.

(1)

Ergonomics in Design.

(1)

Ergonomics in Product Design.

(1)

Geographic information systems.

(1)

Higher Education.

(1)

Human Factors in Aviation Systems.

(1)

Human Factors in Driving.

(1)

Human engineering -- Congresses.

(1)

Human engineering -- Handbooks, manuals, etc.

(1)

Human engineering.

(1)

Human mechanics -- Computer simulation -- Handbooks, manuals, etc.

(1)

Human-machine systems -- Handbooks, manuals, etc.

(1)

(1)

Hydrology -- Data processing.

(1)

INFORMATIONSCIENCEnetBASE

(1)

(1)

Image processing.

(1)

Industrial and Production Engineering.

(1)

Industrial hygiene.

(1)

Industrial safety.

(1)

Integrated water development.

(1)

Korpus ‹Linguistik›.

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(1)

Lenses -- Design and construction -- Handbooks, manuals, etc.

(1)

Linguistics -- Methodology -- Congresses.

(1)

(1)

Manipulators (Mechanism) -- Automatic control.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical physics.

(1)

Mathematics -- Data processing.

(1)

Measurement Science and Instrumentation.

(1)

(1)

Measuring instruments.

(1)

Mechanics, Applied.

(1)

Memory Structures.

(1)

(1)

Material Type

Shelf Location

Electronic 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

477 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 40

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.

37.

Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Author

Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Author

Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91632-3

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

Author

Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Author

Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

Author

Lazovik, Alexander. editor. Schulte, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

Author

Huang, Mengxing. editor. Zhang, Yan. editor. Jing, Weipeng. editor. Mehmood, Amjad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Author

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Author

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74313-4

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66625-9

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Author

Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93641-3

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Author

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 40

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11