Search Results for Mathematical logic.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

40 Results Found

1 2 3 4

000000000000DEFAULT

Cover image for Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Author

Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34146-6

Format:

Availability

Online Library~1

Available:
Copies:

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32079-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, 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-030-17601-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Author

Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-59533-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18744-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Author

Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32441-4

Format:

Availability

Online Library~1

Available:
Copies:

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12988-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Author

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13435-8

Format:

Availability

Online Library~1

Available:
Copies:

11.