Search Results for Computer Modelling.

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: 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

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 Structural Decision Diagrams in Digital Test Theory and Applications

Structural Decision Diagrams in Digital Test Theory and Applications

Structural Decision Diagrams in Digital Test Theory and Applications

Author

Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-44734-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Author

Blum, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60103-3

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 Foundations for Functional Modeling of Technical Artefacts

Foundations for Functional Modeling of Technical Artefacts

Foundations for Functional Modeling of Technical Artefacts

Author

Lind, Morten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Author

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54069-5

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Author

Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11