Search Results for Tools.

|

|

|

|

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

Author

SpringerLink (Online service)

(63)

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

(4)

Wu, Yunjie. editor.

(4)

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

(4)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(3)

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)

Moreno-Díaz, Roberto. editor.

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

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

(2)

Topçu, Okan. author.

(2)

Abrahamsson, Pekka. editor.

(1)

Abreu, Orlando. editor.

(1)

Aceto, Luca. editor.

(1)

Agha, Gul. editor.

(1)

Allan, Andrew. editor.

(1)

Alvear, Daniel. editor.

(1)

Amasaki, Sousuke. editor.

(1)

Artho, Cyrille. editor.

(1)

Asadi, Farzin. author. (orcid)0000-0002-5928-0807

(1)

Bac, Alexandra. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badler, Norman I. author.

(1)

Bajo, Javier. editor.

(1)

Bauer, Sebastian. editor.

(1)

Berry, Stuart. editor.

(1)

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

(1)

Best, Eike. editor.

(1)

Bortolussi, Luca. editor.

(1)

Butte, Gordon. author.

(1)

Cao, Zijun. author.

(1)

Cassol, Vinícius J. author.

(1)

Cembrano, Gabriela. editor.

(1)

Chamoin, Ludovic. editor.

(1)

Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012

(1)

Chiba, Shigeru. editor.

(1)

Cuesta, Arturo. editor.

(1)

De Luca, Alessandro. author. (orcid)0000-0002-0713-5608

(1)

Demazeau, Yves. editor.

(1)

Desfray, Philippe. editor.

(1)

Durak, Umut. author.

(1)

Díez, Pedro. editor.

(1)

Escalona, Maria José. editor. (orcid)0000-0002-6435-1497

(1)

Escobet, Teresa. editor.

(1)

Eugster, Patrick. editor.

(1)

Fahmy, Hossam Mahmoud Ahmad. author.

(1)

Felderer, Michael. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Flache, Andreas. editor.

(1)

Fränzle, Martin. editor.

(1)

Furze, James N. editor.

(1)

Geertman, Stan. editor.

(1)

Guisado-Lizar, José-Luis. editor.

(1)

Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617

(1)

Gupta, Anil K. editor.

(1)

Görke, Uwe-Jens. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Harviainen, J. Tuomas. editor.

(1)

Hemelrijk, Charlotte. editor.

(1)

Hoogduin, Lex. editor.

(1)

Hori, Muneo. editor.

(1)

Ihlenfeldt, Steffen. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Ito, Takayuki. editor.

(1)

Jager, Wander. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

Juan, Angel A. editor. (orcid)0000-0003-1392-1776

(1)

Jung, Cláudio R. author.

(1)

Jędrasiak, Karol. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Kolditz, Olaf. editor. (orcid)0000-0002-8098-4905

(1)

Kovacs, Daniel. author.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Harald. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Leavens, Gary T. editor.

(1)

Legay, Axel. editor.

(1)

Li, Dianqing. author.

(1)

Linkov, Igor. author.

(1)

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

(1)

Lowndes, Val. editor.

(1)

Maestre, José M. editor. (orcid)0000-0002-4968-6811

(1)

Majumdar, Rupak. editor.

(1)

Mardare, Radu. editor.

(1)

Mari, Jean-Luc. editor.

(1)

McClatchey, Richard H. editor.

(1)

Micheloni, Rino. editor.

(1)

Mikkonen, Tommi. editor.

(1)

Morón-Fernández, María-José. editor.

(1)

Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297

(1)

Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633

(1)

Musse, Soraia R. author.

(1)

Nawrat, Aleksander. editor.

(1)

Nayak, Purna C. author. (orcid)0000-0002-0711-5295

(1)

Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200

(1)

Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044

(1)

Ocampo-Martínez, Carlos. editor.

(1)

Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813

(1)

Ohsaki, Makoto. editor.

(1)

Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278

(1)

P. Zeigler, Bernard. author.

(1)

Paskevich, Andrei. editor.

(1)

Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623

(1)

Pettit, Chris. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Ponce-Ortega, José María. author.

(1)

Puig, Vicenç. editor.

(1)

Pérez, Ramon. editor.

(1)

Quevedo, Joseba. editor.

(1)

Ramírez-Márquez, César. author.

(1)

Reynolds, Darren M. editor.

(1)

Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578

(1)

Rupp, Markus. author.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Sarjoughian, Hessam S. author.

(1)

Schwarz, Stefan. author.

(1)

Selic, Bran. editor.

(1)

Shao, Hua. editor.

(1)

Siciliano, Bruno. author. (orcid)0000-0002-1037-0588

(1)

Sobolev, Sergey. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Sokolsky, Oleg. editor.

(1)

Srivastav, Roshan. author. (orcid)0000-0002-8175-8969

(1)

Stambler, Ilia. editor.

(1)

Stillwell, John. editor.

(1)

Swing, Kelly. editor.

(1)

Südholt, Mario. editor.

(1)

Taranetz, Martin. author.

(1)

Thorne, Sarah. author.

(1)

Trovati, Marcello. editor.

(1)

Turner, Phil. editor.

(1)

Valero-Cuevas, Francisco J. author.

(1)

Van Houdt, Benny. editor.

(1)

Verbrugge, Rineke. editor.

(1)

Villani, Luigi. author. (orcid)0000-0002-4431-6846

(1)

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

(1)

Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184

(1)

Wang, Ji. editor.

(1)

Wang, Wenqing. editor.

(1)

Wang, Yu. author.

(1)

Wies, Thomas. editor.

(1)

Wood, Matthew D. author.

(1)

Yilmaz, Levent. author.

(1)

Yoshimura, Shinobu. editor.

(1)

Zhan, Naijun. editor.

(1)

Zhang, Zili. editor.

(1)

Zhavoronkov, Alex. editor.

(1)

Ziarek, Lukasz. editor.

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

de Roo, Gert. editor.

(1)

van der Aalst, Wil. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(63)

Publication Date

-

(23)

(20)

(12)

(6)

(2)

Subject

Computer simulation.

(63)

Software engineering.

(27)

Computer science.

(19)

Artificial intelligence.

(14)

Computer networks .

(13)

Computer Communication Networks.

(12)

Theory of Computation.

(11)

Computer Science Logic and Foundations of Programming.

(9)

Compilers (Computer programs).

(7)

Compilers and Interpreters.

(7)

Computer science -- Mathematics.

(7)

Control Structures and Microprogramming.

(6)

Microprogramming .

(6)

Computer graphics.

(5)

Control engineering.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

(4)

Electronic digital computers -- Evaluation.

(4)

(4)

System Performance and Evaluation.

(4)

(3)

Application software.

(3)

(3)

Bioinformatics.

(3)

Computer and Information Systems Applications.

(3)

Computer programming.

(3)

Computer vision.

(3)

Control, Robotics, Automation.

(3)

Electronic data processing -- Management.

(3)

Formal Languages and Automata Theory.

(3)

(3)

Machine theory.

(3)

Programming Techniques.

(3)

Applications of Mathematics.

(2)

Communications Engineering, Networks.

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer System Implementation.

(2)

Computer systems.

(2)

Computers, Special purpose.

(2)

Control and Systems Theory.

(2)

Energy Policy, Economics and Management.

(2)

Energy and state.

(2)

(2)

Environmental management.

(2)

Geotechnical Engineering and Applied Earth Sciences.

(2)

Geotechnical engineering.

(2)

Human-computer interaction.

(2)

(2)

Mathematical optimization.

(2)

(2)

Mechanics, Applied.

(2)

(2)

(2)

Numerical analysis.

(2)

Operations Research and Decision Theory.

(2)

Operations research.

(2)

(2)

(2)

Special Purpose and Application-Based Systems.

(2)

Sustainability.

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

(2)

Algebraic geometry.

(1)

Algebraic topology.

(1)

Behavioral Neuroscience.

(1)

Biochemical engineering.

(1)

Bioclimatology.

(1)

Biological Imaging.

(1)

Biomathematics.

(1)

Bioprocess Engineering.

(1)

Building Construction and Design.

(1)

Buildings -- Design and construction.

(1)

Business information services.

(1)

Chemical Process Engineering.

(1)

Chemical engineering.

(1)

Chemistry, Organic.

(1)

Civil engineering.

(1)

Climate Change Ecology.

(1)

Climate Sciences.

(1)

(1)

Cogeneration of electric power and heat.

(1)

Computational Science and Engineering.

(1)

Computational neuroscience.

(1)

Computer Engineering and Networks.

(1)

Computer architecture.

(1)

Computer engineering.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Conservation biology.

(1)

Control theory.

(1)

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering Mechanics.

(1)

Engineering Thermodynamics, Heat and Mass Transfer.

(1)

Engineering geology.

(1)

Engineering mathematics.

(1)

Environmental Physics.

(1)

Environmental health.

(1)

Environmental sciences.

(1)

Evolution (Biology).

(1)

Evolutionary Biology.

(1)

(1)

(1)

Geoengineering.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

(1)

Health Informatics.

(1)

Heat engineering.

(1)

(1)

Human behavior.

(1)

Human-machine systems.

(1)

IT in Business.

(1)

Image processing.

(1)

Imaging systems in biology.

(1)

Interaction Design.

(1)

Machine learning.

(1)

Machines, Tools, Processes.

(1)

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Biology.

(1)

Mathematics -- Data processing.

(1)

Mathematics of Computing.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Models of Computation.

(1)

Neuroengineering.

(1)

Neurotechnology (Bioengineering).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Organic Chemistry.

(1)

(1)

Processor Architectures.

(1)

(1)

Robotic Engineering.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

Sociology, Urban.

(1)

Solid Mechanics.

(1)

(1)

(1)

Systems Theory, Control.

(1)

Thermodynamics.

(1)

Urban Sociology.

(1)

Urban economics.

(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

63 Results Found

Subscribe to search results

1 2 3 4 5 6

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 Foundations of Robotics

Foundations of Robotics

Foundations of Robotics

Author

Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Control Systems Benchmarks

Control Systems Benchmarks

Control Systems Benchmarks

Author

Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Author

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56862-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Optimization of Chemical Processes A Sustainable Perspective

Optimization of Chemical Processes A Sustainable Perspective

Optimization of Chemical Processes A Sustainable Perspective

Author

Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Artificial Intelligence for Healthy Longevity

Artificial Intelligence for Healthy Longevity

Artificial Intelligence for Healthy Longevity

Author

Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Author

Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

Cover image for Advances in Social Simulation 2015

Advances in Social Simulation 2015

Advances in Social Simulation 2015

Author

Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Guide to Distributed Simulation with HLA

Guide to Distributed Simulation with HLA

Guide to Distributed Simulation with HLA

Author

Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Mathematical Advances Towards Sustainable Environmental Systems

Mathematical Advances Towards Sustainable Environmental Systems

Mathematical Advances Towards Sustainable Environmental Systems

Author

Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

Author

Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52914-0

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11