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: Software engineering.

Author

SpringerLink (Online service)

(111)

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)

Apduhan, Bernady O. editor.

(5)

Gervasi, Osvaldo. 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)

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

(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)

Artho, Cyrille. editor.

(2)

Cardoso, Jorge. editor.

(2)

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

(2)

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

(2)

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

(2)

Topçu, Okan. author.

(2)

Voß, Stefan. editor. (orcid)0000-0003-1296-4221

(2)

Zhang, Zili. editor.

(2)

van Sinderen, Marten. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abate, Alessandro. editor.

(1)

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

(1)

Abrahamsson, Pekka. editor.

(1)

Aceto, Luca. editor.

(1)

Adão, Telmo. author.

(1)

Ahrndt, Sebastian. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Almendros Jiménez, Jesús M. editor.

(1)

Amasaki, Sousuke. editor.

(1)

Antunes, Luis. editor.

(1)

Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

(1)

Babkin, Eduard. editor. (orcid)0000-0003-2597-9043

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badler, Norman I. author.

(1)

Barbosa, Jorge. editor.

(1)

Barkowsky, Thomas. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bazzan, Ana. editor.

(1)

Bektaş, Tolga. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

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

(1)

Best, Eike. editor.

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

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

(1)

Boy, Guy André. author.

(1)

Burbaitė, Renata. author.

(1)

Burte, Heather. editor.

(1)

Cabello, Enrique. editor.

(1)

Camacho, Rui. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Cassol, Vinícius J. author.

(1)

Cavalheiro, Simone. editor.

(1)

Chiba, Shigeru. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Cirne, Walfredo. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Coniglio, Stefano. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Czachórski, Tadeusz. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Denzer, Ralf. editor.

(1)

Desai, Narayan. editor.

(1)

Desfray, Philippe. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Donzé, Alexandre. editor.

(1)

Dorling, Alec. editor.

(1)

Durak, Umut. author.

(1)

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

(1)

Dutra, Inês. editor.

(1)

Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533

(1)

England, Matthew. editor.

(1)

Eugster, Patrick. editor.

(1)

Felderer, Michael. editor.

(1)

Fiadeiro, José. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

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

(1)

Fischer, Joachim. author. (orcid)0000-0003-2476-3996

(1)

Fitzgerald, John. editor. (orcid)0000-0001-7041-1807

(1)

Fränzle, Martin. editor.

(1)

Furia, Carlo A. editor.

(1)

García Frey, Alfonso. editor.

(1)

Gaudou, Benoit. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Gelenbe, Erol. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

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

(1)

Grochla, Krzysztof. editor.

(1)

Guisado-Lizar, José-Luis. editor.

(1)

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

(1)

Haas, Tobias. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hasan, Osman. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

Huhn, Michaela. editor.

(1)

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

(1)

Hölscher, Christoph. editor.

(1)

Hřebíček, Jiří. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

James, Phillip. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

Johansson, Moa. editor.

(1)

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

(1)

Julian, Vicente. editor.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Jung, Cláudio R. author.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

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

(1)

Klusch, Matthias. editor.

(1)

Klügl, Franziska. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kolesnikov, Andrey. author.

(1)

Kotsialos, Apostolos. editor.

(1)

Kunze, Matthias. author.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Harald. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Langerak, Rom. editor.

(1)

Lankhorst, Marc. author.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500

(1)

Leavens, Gary T. editor.

(1)

Lecomte, Thierry. editor.

(1)

Lee, Edward A. editor. (orcid)0000-0002-5663-0584

(1)

Legay, Axel. editor.

(1)

Lent, Ricardo. editor. (orcid)0000-0003-4884-3456

(1)

Link, Sebastian. editor.

(1)

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

(1)

Lock, Russell. editor.

(1)

Lorenz, Pascal. editor.

(1)

Ludwig, André. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Magalhães, Luís. author. (orcid)0000-0002-4426-0002

(1)

Majumdar, Rupak. editor.

(1)

Malyshkin, Victor. editor.

(1)

Mardare, Radu. editor.

(1)

Marques, Osni. editor.

(1)

Martinez-Sykora, Antonio. editor.

(1)

Mas, Antonia. editor.

(1)

McCluskey, Thomas Leo. editor.

(1)

Mercik, Jacek. editor.

(1)

Merz, Stephan. editor.

(1)

Mesquida, Antoni. editor.

(1)

Mikkonen, Tommi. editor.

(1)

Miller, Bruce. editor.

(1)

Molhanec, Martin. 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)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Musse, Soraia R. author.

(1)

Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260

(1)

Müller, Jörg P. editor.

(1)

Nagel, Kai. editor.

(1)

Namazi-Rad, Mohammad-Reza. editor.

(1)

Nardin, Luis Gustavo. editor.

(1)

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

(1)

Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016

(1)

O'Connor, Rory V. editor.

(1)

O'Regan, Gerard. author.

(1)

Osman, Nardine. editor.

(1)

Padgham, Lin. editor.

(1)

Paias, Ana. editor.

(1)

Paoletti, Nicola. editor.

(1)

Paolieri, Marco. editor.

(1)

Paskevich, Andrei. editor.

(1)

Pastor, Óscar. editor.

(1)

Peres, Emanuel. author.

(1)

Perez, Pascal. editor.

(1)

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

(1)

Pergl, Robert. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Pitner, Tomáš. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Platis, Agapios N. editor.

(1)

Pokahr, Alexander. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Prinz, Andreas. author. (orcid)0000-0002-0646-2877

(1)

Qi, Guanqiu. author.

(1)

Language

(111)

Publication Date

-

(39)

(38)

(17)

(17)

Subject

Computer Modelling.

(87)

Computer simulation.

(87)

Computer science.

(59)

Computer networks .

(45)

Artificial intelligence.

(44)

Theory of Computation.

(33)

Computer Science Logic and Foundations of Programming.

(27)

Application software.

(26)

Computer and Information Systems Applications.

(26)

Computer Communication Networks.

(25)

Computer science -- Mathematics.

(22)

Compilers (Computer programs).

(21)

Compilers and Interpreters.

(21)

Computer Engineering and Networks.

(21)

Computer engineering.

(21)

(18)

Formal Languages and Automata Theory.

(17)

Machine theory.

(17)

Mathematics of Computing.

(14)

Electronic digital computers -- Evaluation.

(11)

System Performance and Evaluation.

(11)

Electronic data processing -- Management.

(9)

(9)

Business information services.

(7)

Computer programming.

(7)

Information technology -- Management.

(7)

Programming Techniques.

(7)

Computer Application in Administrative Data Processing.

(6)

(6)

Control Structures and Microprogramming.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Human-computer interaction.

(6)

IT in Business.

(6)

Mathematical statistics.

(6)

Microprogramming .

(6)

Probability and Statistics in Computer Science.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Database management.

(5)

(4)

The Computing Profession.

(4)

Computer vision.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Bioinformatics.

(2)

Business Process Management.

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computers, Special purpose.

(2)

Image processing -- Digital techniques.

(2)

Models of Computation.

(2)

Numerical analysis.

(2)

Special Purpose and Application-Based Systems.

(2)

Arithmetic and Logic Structures.

(1)

Computer Networks.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer graphics.

(1)

Computer software.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Milieux.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Enterprise Architecture.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Human-machine systems.

(1)

Information theory.

(1)

Interaction Design.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Symbolic and Algebraic Manipulation.

(1)

Material Type

Shelf Location

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

111 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 10

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 Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Author

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods

Concise Guide to Software Engineering From Fundamentals to Application Methods

Concise Guide to Software Engineering From Fundamentals to Application Methods

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Author

Kolesnikov, Andrey. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-19102-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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

8.

Cover image for Combinatorial Testing in Cloud Computing

Combinatorial Testing in Cloud Computing

Combinatorial Testing in Cloud Computing

Author

Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

Cover image for Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Author

Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Author

Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11