Search Results for Operating Systems.

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:

+

Subject: Artificial intelligence.

Author

SpringerLink (Online service)

(56)

Brueckner, Sven A. editor.

(3)

Romanovsky, Alexander. editor.

(3)

Butler, Michael. editor.

(2)

Jin, Hai. editor.

(2)

Margaria, Tiziana. editor.

(2)

Marzo Serugendo, Giovanna. editor.

(2)

Steffen, Bernhard. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Aarts, Emile. editor.

(1)

Aitenbichler, Erwin. editor.

(1)

Antonelli, Laura. editor.

(1)

Artikis, Alexander. editor.

(1)

Asada, Minoru. editor.

(1)

Austin, Todd. editor.

(1)

B. Heras, Dora. editor.

(1)

Bacchus, Fahiem. editor.

(1)

Bao, Siqi. editor. (orcid)0000-0003-3885-125X

(1)

Basu, Anirban. editor.

(1)

Beccuti, Marco. editor.

(1)

Bedrouni, Abdellah. author.

(1)

Beraldi, Roberto. editor.

(1)

Berger, Jean. author.

(1)

Bi, Yuanguo. editor.

(1)

Biere, Armin. editor.

(1)

Bocaniala, Cosmin Danut. editor.

(1)

Bombieri, Nicola. editor.

(1)

Bose, Pradip. editor.

(1)

Boukhtouta, A. author.

(1)

Buchmann, Alejandro. editor.

(1)

Cai, Ying. editor.

(1)

Cardellini, Valeria. editor.

(1)

Casalicchio, Emiliano. editor.

(1)

Chen, Gang. editor.

(1)

Chen, Quan. editor.

(1)

Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261

(1)

Chutimaskul, Wichian. editor.

(1)

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999

(1)

Deng, Qingxu. editor.

(1)

Dey, Anind K. editor.

(1)

Diaconescu, Ada. author.

(1)

Diniz, Pedro. editor. (orcid)0000-0003-3131-9367

(1)

Dony, Christophe. editor.

(1)

Falco, Joe. editor.

(1)

Ferscha, Alois. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fisher, Marcus S. author.

(1)

Friedman, Roy. editor.

(1)

Fujita, Masahiro. editor.

(1)

Garcia Sanchez, José Daniel. editor.

(1)

Gaudiot, Jean-Luc. editor.

(1)

Gee, James C. editor. (orcid)0000-0002-2258-0187

(1)

Gellersen, Hans. editor.

(1)

Getov, Vladimir. editor.

(1)

Giannelli, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

Gkoulalas-Divanis, Aris. author.

(1)

Gomes, Carla P. editor.

(1)

Gong, Xiaoli. editor.

(1)

Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696

(1)

Gusikhin, Oleg. editor.

(1)

Hales, David. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hassas, Salima. editor.

(1)

Hochberger, Christian. editor.

(1)

Hoos, Holger H. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Itsykson, Vladimir. editor.

(1)

Izumi, Taisuke. editor.

(1)

Jain, Lakhmi. editor.

(1)

Jeannot, Emmanuel. editor.

(1)

Jelasity, Márk. editor.

(1)

Jones, Cliff B. editor.

(1)

Jones, Cliff. editor.

(1)

Kaiser, M. Shamim. editor.

(1)

Karageorgos, Anthony. editor.

(1)

Kasahara, Hironori. editor.

(1)

Kleine Büning, Hans. editor.

(1)

Knudsen, Jørgen Lindskov. editor.

(1)

Koch, Andreas. editor.

(1)

Koubaa, Anis. editor.

(1)

Kowalczyk, Ryszard. editor.

(1)

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652

(1)

Kultsova, Marina. editor. (orcid)0000-0002-2584-431X

(1)

Kuznetsov, Petr. editor.

(1)

Lalanda, Philippe. author.

(1)

Larios Rosillo, Victor. editor.

(1)

Lemos, Rogério. editor.

(1)

Li, Jin. editor.

(1)

Li, Minglu. editor.

(1)

Li, Tao. editor.

(1)

Ma, Jianhua. editor.

(1)

MacIntyre, John. editor.

(1)

Madani, Kurosh. editor.

(1)

Magedanz, Thomas. editor.

(1)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(1)

Mamei, Marco. editor.

(1)

Mangan, Michael. editor. (orcid)0000-0002-0293-8874

(1)

Manumachu, Ravi Reddy. editor.

(1)

Marques-Silva, João. editor.

(1)

Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912

(1)

McCann, Julie A. author.

(1)

McMinn, Phil. editor. (orcid)0000-0001-9137-7433

(1)

Mencagli, Gabriele. editor.

(1)

Meyer, Bertrand. editor.

(1)

Mishra, Anurag. editor.

(1)

Mitchell, David G. editor.

(1)

Mittu, Ranjeev. author.

(1)

Mura, Anna. editor.

(1)

Mühlhäuser, Max. editor.

(1)

Müller, Hausi A. editor.

(1)

Nagpal, Radhika. editor.

(1)

Nelson, Brent. editor.

(1)

Nguyen, Ngoc Thanh. editor.

(1)

Nijmeijer, Henk. editor.

(1)

Palade, Vasile. editor.

(1)

Papasratorn, Borworn. editor.

(1)

Pimenidis, Elias. editor.

(1)

Pitt, Jeremy. editor.

(1)

Porkaew, Kriengkrai. editor.

(1)

Pravadelli, Graziano. editor.

(1)

Prescott, Tony J. editor. (orcid)0000-0003-4927-5390

(1)

Priami, Corrado. editor.

(1)

Quaglia, Paola. editor.

(1)

Rammig, Franz J. editor.

(1)

Ramos, Félix F. editor.

(1)

Rathore, Vijay Singh. editor.

(1)

Reis, Ricardo. editor.

(1)

Rettberg, Achim. editor.

(1)

Ricci, Laura. editor.

(1)

Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758

(1)

Ruyter, Boris. editor.

(1)

Sakallah, Karem A. editor.

(1)

Salis, Antonio. editor.

(1)

Scedrov, Andre. editor.

(1)

Schiele, Bernt. editor.

(1)

Schifanella, Claudio. editor.

(1)

Scott, Stephen L. editor.

(1)

Shaw, Mary. editor.

(1)

Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499

(1)

Sher, Gene I. author.

(1)

Snir, Marc. editor.

(1)

Stathis, Kostas. editor.

(1)

Steglich, Stephan. editor.

(1)

Stenström, Per. editor. (orcid)0000-0002-7441-8245

(1)

Sun, Yu. editor.

(1)

Tang, Xiaoxin. editor.

(1)

Tripathi, Anand. editor.

(1)

Tsai, Jeffrey J.-P. editor.

(1)

Tscheligi, Manfred. editor.

(1)

Tyagi, Vipin. editor.

(1)

Unger, Herwig. editor.

(1)

Vaidya, Jaideep. editor.

(1)

Valero, Mateo. editor.

(1)

Vanijja, Vajirasak. editor.

(1)

Vasilakos, Athanasius V. editor.

(1)

Venkatasubramanian, Nalini. editor.

(1)

Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544

(1)

Verykios, Vassilios S. author.

(1)

Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026

(1)

Vouros, George. editor.

(1)

Wagner, Roland. editor.

(1)

Walsh, Toby. editor.

(1)

Wang, Yi. editor.

(1)

Wichert, Reiner. editor.

(1)

Wolf, Felix. editor.

(1)

Woodcock, Jim. editor.

(1)

Woods, Roger. editor.

(1)

Wu, Junjie. editor.

(1)

Wu, Weigang. editor. (orcid)0000-0002-4714-7021

(1)

Xia, Jinchun. editor.

(1)

Xie, Juanying. editor.

(1)

Yamins, Daniel. editor.

(1)

Yang, Laurence T. editor.

(1)

Yew, Pen-Chung. editor.

(1)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(1)

Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016

(1)

Zakharov, Victor. editor.

(1)

Zambonelli, Franco. editor.

(1)

Zanella, Mauro C. editor.

(1)

Zhai, Jidong. editor.

(1)

Zhang, Feng. editor. (orcid)0000-0003-1983-7321

(1)

Zhao, Xishun. editor.

(1)

Zheng, Weiming. editor.

(1)

van Hoeve, Willem-Jan. editor.

(1)

van den Herik, Jaap. editor.

(1)

Language

(56)

Publication Date

-

(12)

(9)

(6)

(6)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

Subject

Operating systems (Computers).

(49)

Computer science.

(35)

Software engineering.

(28)

Computer Communication Networks.

(20)

(12)

Information systems.

(11)

Computer software.

(9)

Computer network architectures.

(7)

Information storage and retrieval systems.

(7)

Electronic data processing.

(6)

Logic, Symbolic and mathematical.

(5)

Computer organization.

(4)

Artificial Intelligence (incl. Robotics).

(3)

Computational intelligence.

(3)

Computer hardware.

(3)

Computer simulation.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Computer security.

(2)

Computer system performance.

(2)

(2)

Control engineering.

(2)

Optical data processing.

(2)

Application software.

(1)

Architecture, Computer.

(1)

(1)

Bioinformatics.

(1)

Communications Engineering, Networks.

(1)

Computational Biology/Bioinformatics.

(1)

Computational complexity.

(1)

Computer communication systems.

(1)

Computer science—Mathematics.

(1)

Computer system failures.

(1)

Computer vision.

(1)

Control and Systems Theory.

(1)

Control, Robotics, Automation.

(1)

Data Analysis and Big Data.

(1)

(1)

Data protection.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Information Systems.

(1)

Information and Communication Technologies (ICT).

(1)

Information technology.

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Optical pattern recognition.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Techniques.

(1)

Quantitative research.

(1)

(1)

Simulation and Modeling.

(1)

Special purpose computers.

(1)

System Performance and Evaluation.

(1)

Technology -- Sociological aspects.

(1)

Telecommunication.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

56 Results Found

Subscribe to search results

1 2 3 4 5

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.

13.

Cover image for Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

Author

Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

Author

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Transactions on Computational Collective Intelligence XXVIII

Transactions on Computational Collective Intelligence XXVIII

Transactions on Computational Collective Intelligence XXVIII

Author

Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Author

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57932-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Author

Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7656-5

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

Author

van Hoeve, Willem-Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

Author

Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1026-3

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Author

Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Author

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03232-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11