Search Results for Information science

|

|

|

|

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:

+

Konu: Computer simulation.

Author

SpringerLink (Online service)

(127)

Ma, Shiwei. editor.

(6)

Apduhan, Bernady O. editor.

(5)

Bian, Fuling. editor.

(5)

Fei, Minrui. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Li, Kang. editor.

(5)

Li, Xin. editor.

(5)

Mikulski, Jerzy. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(5)

Stankova, Elena. editor.

(5)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(5)

Torre, Carmelo M. editor.

(5)

Wang, Shangguang. editor.

(5)

Xiao, Tianyuan. editor.

(5)

Zhang, Lin. editor.

(5)

Mohamed Ali, Mohamed Sultan. editor.

(4)

Pan, Linqiang. editor.

(4)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(4)

Song, Xiao. editor. (orcid)0000-0003-4279-426X

(4)

Wu, Yunjie. editor.

(4)

Zhang, Lin. editor. (orcid)0000-0003-1989-6102

(4)

Bai, Xiang. editor.

(3)

Bajo, Javier. editor.

(3)

Braz, José. editor.

(3)

Cheng, Ming-Ming. editor.

(3)

Filipe, Joaquim. editor.

(3)

Gottscheber, Achim. editor.

(3)

Han, Qilong. editor.

(3)

Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355

(3)

Hu, Qinghua. editor.

(3)

Jing, Weipeng. editor.

(3)

Julián, Vicente. editor.

(3)

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

(3)

Lu, Zeguang. editor.

(3)

Meng, Deyu. editor.

(3)

Obdržálek, David. editor.

(3)

Sun, Guanglu. editor. (orcid)0000-0003-2589-1164

(3)

Sun, Xin. editor.

(3)

Tan, Gary. editor.

(3)

Tanaka, Satoshi. editor.

(3)

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

(3)

Xie, Yichun. editor.

(3)

Yang, Jinfeng. editor.

(3)

van Sinderen, Marten. editor.

(3)

Araújo, Hélder J. editor.

(2)

Artho, Cyrille. editor.

(2)

Cao, Jian. editor.

(2)

Cardoso, Jorge. editor.

(2)

Che, Wanxiang. editor.

(2)

Cordeiro, José. editor.

(2)

Cui, Shumei. editor.

(2)

Cui, Xiaohui. editor.

(2)

Du, Dajun. editor.

(2)

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227

(2)

Fred, Ana. editor.

(2)

Gamboa, Hugo. editor.

(2)

Geng, Jing. editor.

(2)

Gong, Maoguo. editor.

(2)

Hammoudi, Slimane. editor.

(2)

Hasegawa, Kyoko. editor.

(2)

Hoffa-Dąbrowska, Patrycja. editor.

(2)

Huang, De-Shuang. editor.

(2)

Huang, Xiong. editor.

(2)

Irwin, George W. editor.

(2)

Ishak, Mohamad Hafis Izran. editor.

(2)

Jia, Li. editor.

(2)

Kang, Byeong-Ho. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kozyrev, Dmitry V. editor.

(2)

Lamprecht, Anna-Lena. editor.

(2)

Leva, M. Chiara. editor.

(2)

Li, Liang. editor.

(2)

Lin, Junyu. editor.

(2)

Lin, Song. editor.

(2)

Liu, Baoxiang. editor.

(2)

Ma, Maode. editor.

(2)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(2)

Mahmud, Mohd Saiful Azimi. editor.

(2)

Margaria, Tiziana. editor.

(2)

Mathieu, Philippe. editor.

(2)

Md. Yunus, Mohd Amri. editor.

(2)

Mohd Basri, Mohd Ariffanan. editor.

(2)

Mohd Subha, Nurul Adilla. editor.

(2)

Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629

(2)

Niu, Qun. editor.

(2)

Novais, Paulo. editor. (orcid)0000-0002-3549-0754

(2)

Peng, Shaoliang. editor.

(2)

Pereira, João Madeiras. editor.

(2)

Ranchordas, Alpesh. editor.

(2)

Rice, Mason. editor.

(2)

Sahlan, Shafishuhaza. editor.

(2)

Samouylov, Konstantin E. editor.

(2)

Shenoi, Sujeet. editor.

(2)

Sobolev, Sergey. editor.

(2)

Song, Hongtao. editor.

(2)

Song, Tao. editor. (orcid)0000-0002-0130-3340

(2)

Song, Xianhua. editor. (orcid)0000-0002-0111-8559

(2)

Sunar, Noorhazirah. editor.

(2)

Sánchez-Pi, Nayat. editor.

(2)

Teo, Yong Meng. editor.

(2)

Turner, Stephen John. editor.

(2)

Unland, Rainer. editor.

(2)

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847

(2)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(2)

Wahap, Ahmad Ridhwan. editor.

(2)

Wahid, Herman. editor.

(2)

Wang, Hongzhi. editor.

(2)

Xue, Yusheng. editor.

(2)

Yang, Yuhang. editor.

(2)

Yang, Zhile. editor.

(2)

Yuan, Hanning. editor.

(2)

Zeng, Yixin. editor.

(2)

Zhang, Gexiang. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Ślęzak, Dominik. editor.

(2)

Abawajy, Jemal. editor.

(1)

Abdelwahed, El Hassan. editor.

(1)

Adeli, Hojjat. editor.

(1)

Ahmad, Anita. editor. (orcid)0000-0002-8109-2490

(1)

Araújo, Helder. editor.

(1)

Arslan, Tughrul. editor.

(1)

Azambuja-Silveira, Ricardo. editor.

(1)

Battle, Steve. editor.

(1)

Bauer, Sebastian. author.

(1)

Baum, Marcus. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Beyer, Christof. author.

(1)

Blasch, Erik. editor.

(1)

Bowditch, Lorelle. editor.

(1)

Brenner, Gunther. editor.

(1)

Buyamin, Salinda. editor. (orcid)0000-0002-6620-6621

(1)

Cabello, Enrique. editor.

(1)

Cai, Wentong. editor.

(1)

Cai, Zhihua. editor.

(1)

Cao, Bing-Yuan. editor.

(1)

Cao, Zhiru. editor.

(1)

Carrozzino, Marcello. editor.

(1)

Castiglione, Aniello. editor.

(1)

Castro, Antonio J.M. editor.

(1)

Cañas, Alberto. editor.

(1)

Chan, Jonathan H. editor.

(1)

Chen, Wenguang. editor.

(1)

Chen, Zhi. editor. (orcid)0000-0002-9307-4871

(1)

Chi, Sung Do. editor.

(1)

Cho, Sung-Bae. editor.

(1)

Chung, Kyo-il. editor.

(1)

Cioffi-Revilla, Claudio. author.

(1)

Corchado, Juan M. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Del Val, Elena. editor.

(1)

Desfray, Philippe. editor.

(1)

Dorling, Alec. editor.

(1)

Draganova, Chrisina. editor.

(1)

Du, Jiayi. editor.

(1)

Duguleană, Mihai. editor.

(1)

Duque Méndez, Nestor D. editor.

(1)

Escalona, María José. editor.

(1)

Esposito, Anna. editor.

(1)

Fei, Zixiang. editor.

(1)

Fernández, Alberto. editor.

(1)

Fischer, Thomas. author.

(1)

Fishwick, Paul A.

(1)

Fuentes-Fernández, Rubén. editor.

(1)

Gams, Matjaž. editor.

(1)

García, Jesús. editor. (orcid)0000-0003-1768-2688

(1)

Giroux, Sylvain. editor.

(1)

Giroux, Sylvain. editor. (orcid)0000-0003-0602-5957

(1)

Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943

(1)

Golfarelli, Matteo. editor.

(1)

Gortsev, Alexander. editor.

(1)

Grabowski, Jens. editor.

(1)

Gu, Juping. editor.

(1)

Guan, Yanpeng. editor.

(1)

Hagiya, Masami. editor.

(1)

Hallenborg, Kasper. editor.

(1)

Han, Qinglong. editor.

(1)

Hanschke, Thomas. editor.

(1)

Hartmann, Stefan. editor.

(1)

He, Cheng. editor.

(1)

Headleand, Christopher J. editor.

(1)

Henderson, Shane G.

(1)

Heutte, Laurent. editor.

(1)

Holmgren, Johan. editor.

(1)

Hu, Fuyuan. editor.

(1)

Hu, Yukun. editor. (orcid)0000-0002-7480-4250

(1)

Huang, Kaiqi. editor.

(1)

Itsykson, Vladimir. editor.

(1)

Jain, Lakhmi C. editor.

(1)

Jang, Eunseon. author.

(1)

Jean, Stéphane. editor.

(1)

Jia, Xinchun. editor.

(1)

Jo, Kang-Hyun. editor.

(1)

Jorge, Joaquim. editor.

(1)

Kang, Zhuo. editor.

(1)

Kim, Tag- Gon. editor.

(1)

Kim, Yun-Bae. editor.

(1)

Kirpichnikov, Alexander. editor.

(1)

Language

(129)

Publication Date

-

(33)

(26)

(9)

(9)

(8)

(6)

(6)

(6)

(5)

(5)

(5)

(4)

(4)

(1)

(1)

(1)

Subject

Computer Modelling.

(70)

Artificial intelligence.

(48)

Computer science.

(46)

Computer Communication Networks.

(32)

(25)

Application software.

(24)

Computer networks .

(24)

Software engineering.

(23)

Computer and Information Systems Applications.

(20)

Data Mining and Knowledge Discovery.

(19)

Computer vision.

(18)

Computer software.

(16)

Information storage and retrieval systems.

(16)

Computer science -- Mathematics.

(15)

Special Purpose and Application-Based Systems.

(15)

Computers, Special purpose.

(13)

System Performance and Evaluation.

(12)

(11)

Optical pattern recognition.

(11)

Computer graphics.

(10)

Bioinformatics.

(9)

(9)

Electronic digital computers -- Evaluation.

(9)

Mathematics of Computing.

(9)

Simulation and Modeling.

(9)

Computer system performance.

(7)

Information Storage and Retrieval.

(7)

Electronic data processing -- Management.

(6)

(6)

Machine learning.

(6)

(5)

Compilers (Computer programs).

(5)

Compilers and Interpreters.

(5)

Computers and Society.

(5)

Computers and civilization.

(5)

Information systems.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

Computational intelligence.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer Science Logic and Foundations of Programming.

(4)

Database management.

(4)

Image processing -- Digital techniques.

(4)

Physical geography.

(4)

Computer Application in Social and Behavioral Sciences.

(3)

Computer Hardware.

(3)

Computer network architectures.

(3)

Computer programming.

(3)

(3)

Information Systems Applications (incl. Internet).

(3)

Mathematical Applications in Computer Science.

(3)

Models of Computation.

(3)

Numerical analysis.

(3)

Optical data processing.

(3)

Programming Techniques.

(3)

Social sciences -- Data processing.

(3)

Theory of Computation.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Architecture, Computer.

(2)

Automated Pattern Recognition.

(2)

Biomedical engineering.

(2)

Business information services.

(2)

Computational and Systems Biology.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer System Implementation.

(2)

Computer engineering.

(2)

Computer systems.

(2)

Computers and Education.

(2)

Computing Methodologies.

(2)

Data Analysis and Big Data.

(2)

Data and Information Security.

(2)

Data protection.

(2)

Education -- Data processing.

(2)

Electronic data processing.

(2)

IT in Business.

(2)

Information Systems.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

Management of Computing and Information Systems.

(2)

Multimedia Information Systems.

(2)

Multimedia systems.

(2)

Pattern recognition systems.

(2)

(2)

Probability Theory.

(2)

Quantitative research.

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

Traffic engineering.

(2)

Transportation Technology and Traffic Engineering.

(2)

Transportation engineering.

(2)

User interfaces (Computer systems).

(2)

Artificial Intelligence (incl. Robotics).

(1)

(1)

(1)

Biological systems.

(1)

Biometrics (Biology).

(1)

Chemistry -- Data processing.

(1)

Cognitive psychology.

(1)

Complex Systems.

(1)

Computational Biology/Bioinformatics.

(1)

Computational Chemistry.

(1)

Computational Science and Engineering.

(1)

Computer Applications.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer aided design.

(1)

Computer communication systems.

(1)

Computer science—Mathematics.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- Law and legislation.

(1)

Computersimulaties.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Data encryption (Computer science).

(1)

Education—Data processing.

(1)

Electronic commerce.

(1)

(1)

Energy systems.

(1)

Engineering mathematics.

(1)

(1)

Environmental chemistry.

(1)

Formal Languages and Automata Theory.

(1)

Geographical Information Systems/Cartography.

(1)

Geographical information systems.

(1)

(1)

(1)

Geophysics/Geodesy.

(1)

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

Information technology -- Law and legislation.

(1)

Legal Aspects of Computing.

(1)

Machine theory.

(1)

Management -- Simulation methods.

(1)

(1)

Mathematical optimization.

(1)

Mathematical statistics -- Data processing.

(1)

Mathematics -- Data processing.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Models and Principles.

(1)

Multiagent systems.

(1)

Operating systems (Computers).

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Pattern Recognition.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming languages (Electronic computers).

(1)

Renewable energy resources.

(1)

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

Statistics and Computing.

(1)

Stochastic systems.

(1)

(1)

(1)

User Interfaces and Human Computer Interaction.

(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

129 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 11

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 Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Author

Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Author

Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

Author

Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Author

Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3969-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

Author

Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6364-0

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

Author

Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Author

Cao, Jian. editor. Liu, Jianxun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3996-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

Author

Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6370-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

Author

Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers

Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers

Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers

Author

Mikulski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Author

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 .. 11

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11