Search Results for Computer Simulation.

318 Results Found

1 2 3 4 5 .. 27

000000000000DEFAULT

25.

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

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:

26.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Author

Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Author

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00244-2

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Author

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02852-7

Format:

Availability

Online Library~1

Available:
Copies:

29.

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Author

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

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

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:

31.

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

Author

Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Author

de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

Author

Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 27

	{displayName}	{count}
{error}