Search Results for Languages.

|

|

|

|

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)

(63)

Dastani, Mehdi. editor.

(3)

Leite, João. editor.

(3)

Cordeiro, José. editor.

(2)

Czarnecki, Krzysztof. editor.

(2)

Dennunzio, Alberto. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Hammoudi, Slimane. editor.

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Manzoni, Luca. editor.

(2)

Porreca, Antonio E. editor.

(2)

Selic, Bran. editor.

(2)

Torroni, Paolo. editor.

(2)

van Sinderen, Marten. editor.

(2)

van der Aalst, Wil. editor.

(2)

Abate, Alessandro. editor.

(1)

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

(1)

Abrahao, Silvia. editor.

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Aichernig, Bernhard K. editor.

(1)

Atkinson, Colin. editor.

(1)

Ayala, José L. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badger, Julia M. editor.

(1)

Barais, Olivier. editor.

(1)

Best, Eike. editor.

(1)

Bettin, Jorn. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boulet, Pierre. editor.

(1)

Breu, Ruth. editor.

(1)

Briand, Lionel. editor.

(1)

Bruel, Jean-Michel. editor.

(1)

Cabello, Enrique. editor.

(1)

Cardoso, Jorge. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Chiba, Shigeru. editor.

(1)

Clark, Tony. editor.

(1)

Clarke, Peter. editor.

(1)

Cohen, Sholom. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cook, Matthew. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Desfray, Philippe. editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Dissaux, Pierre. editor.

(1)

El Fallah Segrouchni, Amal. editor.

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Erwig, Martin. editor.

(1)

Eugster, Patrick. editor.

(1)

Filali-Amine, Mamoun. editor.

(1)

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

(1)

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

(1)

Fishwick, Paul A.

(1)

Formenti, Enrico. editor.

(1)

Fowler, John. editor.

(1)

France, Robert B. editor.

(1)

Friedrich, Gerhard. editor.

(1)

Fränzle, Martin. editor.

(1)

Furia, Carlo A. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Giese, Holger. editor.

(1)

Gray, Jeff. editor.

(1)

Harel, David. editor.

(1)

Hasan, Osman. editor.

(1)

Hedin, Görel. editor.

(1)

Helmert, Malte. editor.

(1)

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

(1)

Hömberg, Dietmar. editor.

(1)

Hübner, Jomi. editor.

(1)

Iannone, Giovanni, author.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Insfran, Emilio. editor.

(1)

James, Phillip. editor.

(1)

Jardim Nunes, Nuno. editor.

(1)

Johansson, Moa. editor.

(1)

Julian, Vicente. editor.

(1)

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

(1)

Kapur, Deepak. editor.

(1)

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

(1)

Kazmeier, Jürgen. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kühn, Harald. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Langerak, Rom. editor.

(1)

Leavens, Gary T. editor.

(1)

Legay, Axel. editor.

(1)

Lemos, Rogério. editor.

(1)

Ludwig, André. editor.

(1)

Machado, Ricardo J. editor.

(1)

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

(1)

Maciel, Rita Suzana P. editor.

(1)

Mardare, Radu. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Merz, Stephan. editor.

(1)

Michel, Pierre. editor.

(1)

Migliaccio, Alessandro, author.

(1)

Miller, Bruce. editor.

(1)

Moreira, Ana. editor.

(1)

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

(1)

Müller, Hausi A. editor.

(1)

Neary, Turlough. editor.

(1)

Nierstrasz, Oscar. editor.

(1)

Ober, Ileana. editor.

(1)

Opdyke, Bill. editor.

(1)

Osman, Nardine. editor.

(1)

Paige, Richard F. editor.

(1)

Pearce, David. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Prasad, Sanjiva. editor.

(1)

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

(1)

Rabe, Florian. editor.

(1)

Radetzki, Martin. editor.

(1)

Ramos, Isidro. editor.

(1)

Reggio, Gianna. editor.

(1)

Reinhartz-Berger, Iris. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Leila. editor.

(1)

Rodrigues da Silva, Alberto. editor.

(1)

Roggenbach, Markus. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Rovatsos, Michael. editor.

(1)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(1)

Rubin, Julia. editor.

(1)

Salaün, Gwen. editor.

(1)

Schmidt, Douglas C. editor.

(1)

Schulte, Wolfram. editor.

(1)

Schätz, Bernhard. editor.

(1)

Seidl, Martina. editor.

(1)

Shang, Delong. editor.

(1)

Shao, Guodong. editor.

(1)

Shaw, Mary. editor.

(1)

Sinderen, Marten. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Sokolsky, Oleg. editor.

(1)

Sturm, Arnon. editor.

(1)

Südholt, Mario. editor.

(1)

Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748

(1)

Tasiran, Serdar. editor.

(1)

Teschke, Olaf. editor.

(1)

Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786

(1)

Thimm, Matthias. editor.

(1)

Tillmann, Nikolai. editor.

(1)

Timm, Ingo J. editor.

(1)

Tolk, Andreas, editor.

(1)

Tolk, Andreas. editor.

(1)

Tompa, Frank. editor.

(1)

Toval Alvarez, Ambrosio. editor.

(1)

Tröltzsch, Fredi. editor.

(1)

Uhl, Axel. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Veanes, Margus. editor.

(1)

Vernadat, François. editor.

(1)

Viganò, Luca. editor.

(1)

Vinju, Jurgen. editor.

(1)

Vouros, George. editor.

(1)

Völter, Markus. editor.

(1)

Wang, Ji. editor.

(1)

Weil, Frank. editor.

(1)

Whittle, Jon. editor.

(1)

Willemse, Tim. editor. (orcid)0000-0003-3049-7962

(1)

Williams, Clay. editor.

(1)

Wotawa, Franz. editor.

(1)

Wyk, Eric. editor.

(1)

Yakovlev, Alex. editor.

(1)

Yücesan, Enver. editor.

(1)

Zhan, Naijun. editor.

(1)

Ziarek, Lukasz. editor.

(1)

de Moura, Leonardo. editor.

(1)

Ölveczky, Peter Csaba. author.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Ören, Tuncer I., editor.

(1)

Language

(66)

Publication Date

-

(16)

(13)

(10)

(7)

(4)

(4)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(52)

Computer science.

(43)

Computer Modelling.

(27)

Formal Languages and Automata Theory.

(20)

Machine theory.

(20)

Artificial intelligence.

(19)

Computer Science Logic and Foundations of Programming.

(14)

Simulation and Modeling.

(13)

Compilers (Computer programs).

(11)

Compilers and Interpreters.

(11)

Programming languages (Electronic computers).

(11)

(10)

Information Systems.

(9)

Programming Languages, Compilers, Interpreters.

(8)

Mathematical Logic and Formal Languages.

(7)

Artificial Intelligence (incl. Robotics).

(6)

(6)

Computer Communication Networks.

(5)

Computer system performance.

(5)

(5)

Application software.

(4)

Computer and Information Systems Applications.

(4)

Computer networks .

(4)

Computer science -- Mathematics.

(4)

(4)

Probability and Statistics in Computer Science.

(4)

Programming Techniques.

(4)

System Performance and Evaluation.

(4)

Theory of Computation.

(4)

Computer logic.

(3)

Computer organization.

(3)

Electronic data processing -- Management.

(3)

(3)

Information systems.

(3)

Logics and Meanings of Programs.

(3)

Management of Computing and Information Systems.

(3)

Mathematical logic.

(3)

Mathematical statistics.

(3)

Systems engineering.

(3)

Computer programming.

(2)

Computer system failures.

(2)

Electronic books.

(2)

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical models.

(2)

Simulation par ordinateur.

(2)

TECHNOLOGY & ENGINEERING.

(2)

User Interfaces and Human Computer Interaction.

(2)

(2)

Algorithm Analysis and Problem Complexity.

(1)

BUSINESS & ECONOMICS -- Labor.

(1)

Bioinformatics.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computer Engineering and Networks.

(1)

Computer Simulation

(1)

Computer aided design.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

Computer simulation

(1)

Computer software.

(1)

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

(1)

Computer-aided engineering.

(1)

Data transmission systems.

(1)

Database management.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electronic data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

Information Systems Applications (incl. Internet).

(1)

Ingénierie des systèmes.

(1)

Management information systems.

(1)

Management science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical models

(1)

Mathematical optimization.

(1)

Mathematics -- Vocational guidance

(1)

Mathematics -- Vocational guidance.

(1)

Medical records -- Data processing.

(1)

Models, Theoretical

(1)

Modèles mathématiques.

(1)

Monoclonal antibodies.

(1)

(1)

Neural networks (Computer science)

(1)

Numeric Computing.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

(1)

POLITICAL SCIENCE -- Labor & Industrial Relations.

(1)

Register-Transfer-Level Implementation.

(1)

Réseaux neuronaux (Informatique)

(1)

Software Engineering/Programming and Operating Systems.

(1)

(1)

Systems Architecture.

(1)

Systems engineering

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

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

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

37.

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:

38.

Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

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:

40.

Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Author

Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Author

Friedrich, Gerhard. editor. Helmert, Malte. editor. Wotawa, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Author

Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Author

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Author

Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Author

Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Author

Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Author

Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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