Search Results for Science, general.

|

|

|

|

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

Author

SpringerLink (Online service)

(31)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Moreno-Díaz, Roberto. editor.

(2)

Pichler, Franz. editor.

(2)

Quesada-Arencibia, Alexis. editor.

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Aguado, Marina. editor.

(1)

Anderson, Neal G. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Bandini, Stefania. editor.

(1)

Bello, Fernando. editor.

(1)

Berbineau, Marion. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bhanja, Sanjukta. editor.

(1)

Biagioni, Edoardo S. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Bonnin, Jean-Marie. editor.

(1)

Ceroni Díaz, Jose A. editor.

(1)

Cheng, Siyao. editor.

(1)

Cherkaoui, Soumaya. editor.

(1)

Cirne, Walfredo. editor.

(1)

Cotin, Stéphane. editor.

(1)

Dam, Koen H. editor.

(1)

Desai, Narayan. editor.

(1)

Deville, Yannick. editor. (orcid)0000-0002-8769-2446

(1)

Dillig, Isil. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duffy, Vincent G. editor.

(1)

Floater, Michael. editor.

(1)

Gallardo, María del Mar. editor.

(1)

Gannot, Sharon. editor. (orcid)0000-0002-2885-170X

(1)

Geshi, Masaaki. editor.

(1)

Ghannoum, Hassan. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

González-Ramírez, Rosa G. editor.

(1)

Grandinetti, Lucio. editor.

(1)

Hammond, Simon D. editor.

(1)

Horvath, Andras. editor. (orcid)0000-0002-8210-545X

(1)

Huisman, Marieke. editor.

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Jarvis, Stephen A. editor.

(1)

Jonsson, Magnus. editor.

(1)

Kari, Jarkko. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kutrib, Martin. editor.

(1)

Legay, Axel. editor.

(1)

Lippert, Thomas. editor.

(1)

Lirkov, Ivan. editor.

(1)

Liu, Shaoying. editor.

(1)

Lukszo, Zofia. editor.

(1)

Lyche, Tom. editor.

(1)

Malcher, Andreas. editor.

(1)

Margenov, Svetozar. editor.

(1)

Mason, Russell. editor. (orcid)0000-0002-6030-9603

(1)

Mazure, Marie-Laurence. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Mehmood, Rashid. editor.

(1)

Merino, Pedro. editor.

(1)

Montero, Javier. editor.

(1)

Morken, Knut. editor.

(1)

Nagoya, Fumiko. editor.

(1)

Nikolic, Igor. editor.

(1)

Petkov, Nicolai. editor.

(1)

Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075

(1)

Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234

(1)

Rico-Garcia, Cristina. editor.

(1)

Ruan, Da. editor.

(1)

Salaün, Gwen. editor.

(1)

Schulte, Frederik. editor.

(1)

Schumaker, Larry L. editor.

(1)

Sirakoulis, Georgios. editor.

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Tasiran, Serdar. editor.

(1)

Tian, Cong. editor.

(1)

Vinel, Alexey. editor.

(1)

Vitoriano, Begoña. editor.

(1)

Voß, Stefan. editor.

(1)

Ward, Dominic. editor. (orcid)0000-0002-7819-0145

(1)

Was, Jaroslaw. editor.

(1)

Waśniewski, Jerzy. editor.

(1)

Wright, Steven A. editor.

(1)

Zheng, Yao. editor.

(1)

van der Aalst, Wil. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(31)

Publication Date

-

(9)

(9)

(8)

(5)

Subject

Software engineering.

(15)

Artificial intelligence.

(10)

Computer science.

(10)

Computer software.

(7)

(6)

(5)

Computer Communication Networks.

(5)

Computer system failures.

(5)

(5)

Simulation and Modeling.

(5)

Computer Science, general.

(3)

Computer logic.

(3)

Electronic data processing.

(3)

Programming languages (Electronic computers).

(3)

Application software.

(2)

Computational complexity.

(2)

Computer Applications.

(2)

Computer communication systems.

(2)

Computer graphics.

(2)

Computer organization.

(2)

(2)

Economics/Management Science, general.

(2)

Optical data processing.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Chemoinformatics.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Intelligence.

(1)

Computer hardware.

(1)

Computer programming.

(1)

Computer science—Mathematics.

(1)

Computer security.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data structures (Computer science).

(1)

Electric engineering.

(1)

Energy Technology.

(1)

(1)

Health informatics.

(1)

Mathematical logic.

(1)

Numerical analysis.

(1)

Operating systems (Computers).

(1)

Operation Research/Decision Theory.

(1)

Operations research.

(1)

Optical pattern recognition.

(1)

(1)

(1)

Social Sciences, general.

(1)

Social sciences.

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

System Performance and Evaluation.

(1)

User Interfaces and Human Computer Interaction.

(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

31 Results Found

Subscribe to search results

1 2 3

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 Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Author

Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Author

Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

Author

Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Author

Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

Author

González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

Author

Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10214-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Author

Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Morken, Knut. editor. Schumaker, Larry L. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54382-1

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Author

Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43722-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11