Search Results for Infinite.

117 Results Found

1 .. 6 7 8 9 10

000000000000DEFAULT

85.

Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Author

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Preferred Shelf Number

XX(520404.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1639-9

Format:

Availability

Online Library~1

Available:
Copies:

86.

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Author

Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521217.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45286-4

Format:

Availability

Online Library~1

Available:
Copies:

87.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Author

Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519007.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Author

van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519137.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48561-3

Format:

Availability

Online Library~1

Available:
Copies:

91.

Dostoevsky and the epileptic mode of being

Author

Fung, Paul, author.

Preferred Shelf Number

PG3328.Z6 F86 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

92.

Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519031.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Author

Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519049.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Author

Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519060.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Author

Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519119.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 6 7 8 9 10

	{displayName}	{count}
{error}