Search Results for Computer Modelling.

|

|

|

|

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

Author

SpringerLink (Online service)

(95)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Paszynski, Maciej. editor.

(7)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Kowalczyk, Ryszard. editor.

(4)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Shi, Yuhui. editor.

(3)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(3)

Artho, Cyrille. editor.

(2)

Bello, Fernando. editor.

(2)

Filipe, Joaquim. editor.

(2)

Kajimoto, Hiroyuki. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Mercik, Jacek. editor.

(2)

Ren, Jinchang. editor.

(2)

Visell, Yon. editor.

(2)

Zhang, Zili. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Aceto, Luca. editor.

(1)

Agha, Gul. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Antunes, Luis. editor.

(1)

Axenie, Cristian. author. (orcid)0000-0001-6184-0546

(1)

Bac, Alexandra. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bandini, Stefania. editor.

(1)

Barbosa, Jorge. editor.

(1)

Bargiela, Andrzej. editor.

(1)

Bartocci, Ezio. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Bauer, Roman. author. (orcid)0000-0002-7268-9359

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394

(1)

Best, Eike. editor.

(1)

Bilò, Vittorio. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blum, Christian. author.

(1)

Boldo, Sylvie. editor.

(1)

Bortolussi, Luca. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Camacho, Rui. editor.

(1)

Cavalheiro, Simone. editor.

(1)

Chen, Rongjun. editor.

(1)

Chen, Wenguang. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Cook, Matthew. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Donzé, Alexandre. editor.

(1)

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

(1)

Durak, Umut. author.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Dutra, Inês. editor.

(1)

El Yacoubi, Samira. editor.

(1)

England, Matthew. editor.

(1)

Feret, Jérôme. editor.

(1)

Festa, Paola. editor.

(1)

Fiadeiro, José. editor.

(1)

Fiems, Dieter. editor.

(1)

Flammini, Michele. editor.

(1)

Formenti, Enrico. editor.

(1)

Fränzle, Martin. editor.

(1)

Furia, Carlo A. editor.

(1)

Gairing, Martin. editor.

(1)

Gao, Zhi. editor.

(1)

Gaudou, Benoit. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Gortsev, Alexander. editor.

(1)

Han, Qilong. editor.

(1)

Hasan, Osman. editor.

(1)

Hodicky, Jan. editor.

(1)

Huang, Kaizhu. editor.

(1)

Humphrey, Laura. editor. (orcid)0000-0002-3148-9035

(1)

Hussain, Amir. editor.

(1)

Hussain, Amir. editor. (orcid)0000-0002-8080-082X

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jabrzemski, Rafal. author.

(1)

James, Phillip. editor.

(1)

Jenihhin, Maksim. author.

(1)

Jiang, Bo. editor.

(1)

Jin, Yaochu. editor.

(1)

Jing, Weipeng. editor.

(1)

Johansson, Moa. editor.

(1)

Jutman, Artur. author.

(1)

Kagan, Evgeny. author.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Koeppl, Heinz. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kunze, Matthias. author.

(1)

Kunčak, Viktor. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

Lakshmivarahan, Sivaramakrishnan. author.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Langerak, Rom. editor.

(1)

Lankhorst, Marc. author.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leva, M. Chiara. editor.

(1)

Lewis, John M. author.

(1)

Li, Chenglong. editor.

(1)

Li, Li. editor.

(1)

Li, Xiaodong. editor.

(1)

Liao, Iman Yi. editor.

(1)

Lind, Morten. author.

(1)

Lio, Pietro. editor. (orcid)0000-0002-0540-5053

(1)

Liu, Xiaoyong. editor.

(1)

Longo, Luca. editor.

(1)

Lu, Zeguang. editor.

(1)

López Corona, Oliver. author.

(1)

Ma, Ping. editor.

(1)

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

(1)

Mahmud, Mufti. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manzoni, Luca. editor.

(1)

Mardare, Radu. editor.

(1)

Mari, Jean-Luc. editor.

(1)

Marques, Osni. editor.

(1)

Maul, Thomas. editor.

(1)

Merz, Stephan. editor.

(1)

Middendorf, Martin. editor.

(1)

Miller, Bruce. editor.

(1)

Moller, Faron. author.

(1)

Nardin, Luis Gustavo. editor.

(1)

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

(1)

Neary, Turlough. editor.

(1)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(1)

Niu, Ben. editor.

(1)

Oğuztüzün, Halit. author.

(1)

Paoletti, Nicola. editor.

(1)

Paolieri, Marco. editor.

(1)

Paskevich, Andrei. editor.

(1)

Platis, Agapios N. editor.

(1)

Porreca, Antonio E. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Rabe, Florian. editor.

(1)

Raik, Jaan. author.

(1)

Reinecke, Philipp. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Leila. editor.

(1)

Roggenbach, Markus. editor.

(1)

Rupino da Cunha, Paulo. editor.

(1)

Rybalov, Alexander. author.

(1)

Saeki, Motoshi. editor.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Savani, Rahul. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Sergeyev, Yaroslav D. editor.

(1)

Shi, Nija. editor.

(1)

Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643

(1)

Sokolsky, Oleg. editor.

(1)

Song, Il-Yeol. editor.

(1)

Steffen, Bernhard. editor.

(1)

Struth, Georg. author.

(1)

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

(1)

Tan, Kay Chen. editor.

(1)

Tanaka, Katsumi. editor.

(1)

Tang, Ke. editor.

(1)

Teschke, Olaf. editor.

(1)

Thomas, Adrian. author.

(1)

Titolo, Laura. editor. (orcid)0000-0001-7820-7640

(1)

Tompa, Frank. editor.

(1)

Topçu, Okan. author.

(1)

Torbert, Shane. author.

(1)

Ubar, Raimund. author.

(1)

Van Houdt, Benny. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Wang, Ji. editor.

(1)

Wang, Shuqiang. editor.

(1)

Weske, Mathias. author.

(1)

West, Jeffrey. author. (orcid)0000-0001-9579-4664

(1)

Wies, Thomas. editor.

(1)

Wąs, Jarosław. editor.

(1)

Yager, Ronald. author.

(1)

Yakupov, Rafael. editor.

(1)

Yamamoto, Shuichiro. editor.

(1)

Yang, Erfu. editor.

(1)

Yilmaz, Levent. author.

(1)

Yin, Guisheng. editor.

(1)

Language

(95)

Publication Date

-

(38)

(27)

(15)

(13)

(1)

(1)

Subject

Computer Modelling.

(76)

Computer simulation.

(76)

Software engineering.

(59)

Theory of Computation.

(50)

Artificial intelligence.

(41)

Computer Science Logic and Foundations of Programming.

(34)

Computer networks .

(33)

Computer science -- Mathematics.

(30)

Computer Engineering and Networks.

(17)

Computer engineering.

(17)

(16)

Computer Communication Networks.

(16)

Formal Languages and Automata Theory.

(16)

Machine theory.

(16)

Compilers (Computer programs).

(15)

Compilers and Interpreters.

(15)

Mathematics of Computing.

(14)

Models of Computation.

(14)

Mathematical statistics.

(13)

Probability and Statistics in Computer Science.

(13)

Electronic digital computers -- Evaluation.

(11)

System Performance and Evaluation.

(11)

Application software.

(8)

Computer and Information Systems Applications.

(8)

Computational intelligence.

(6)

Control Structures and Microprogramming.

(6)

Microprogramming .

(6)

Numerical analysis.

(6)

(5)

Data Mining and Knowledge Discovery.

(5)

(5)

Bioinformatics.

(4)

Computer programming.

(4)

Computers and Society.

(4)

Computers and civilization.

(4)

(4)

Programming Techniques.

(4)

The Computing Profession.

(4)

Computational and Systems Biology.

(3)

Computer vision.

(3)

Computers, Special purpose.

(3)

Discrete Mathematics in Computer Science.

(3)

Electronic data processing -- Management.

(3)

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Special Purpose and Application-Based Systems.

(3)

Business information services.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer graphics.

(2)

Database management.

(2)

Discrete mathematics.

(2)

Electronic commerce.

(2)

Human-computer interaction.

(2)

IT in Business.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Machine learning.

(2)

Operations research.

(2)

Social sciences -- Data processing.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

e-Commerce and e-Business.

(2)

Algebraic logic.

(1)

Algebraic topology.

(1)

Arithmetic and Logic Structures.

(1)

Atmospheric science.

(1)

Business Process Management.

(1)

Computational complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Design and Analysis of Algorithms.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

(1)

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Image processing -- Digital techniques.

(1)

Industrial design.

(1)

(1)

Logics and Meanings of Programs.

(1)

Management science.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Formal Languages.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Operations Research and Decision Theory.

(1)

Operations Research, Management Science.

(1)

Philosophy of Technology.

(1)

(1)

Probability Theory.

(1)

Processor Architectures.

(1)

Symbolic and Algebraic Manipulation.

(1)

Technology -- Philosophy.

(1)

Theory and Algorithms for Application Domains.

(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

95 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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.

25.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63772-8

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63775-9

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63749-0

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63759-9

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63778-0

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Author

Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Transactions on Computational Collective Intelligence XXVII

Transactions on Computational Collective Intelligence XXVII

Transactions on Computational Collective Intelligence XXVII

Author

Mercik, Jacek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Author

Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Author

Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Author

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11