Search Results for Infinite.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

117 Results Found

1 .. 6 7 8 9 10

000000000000DEFAULT

85.

Cover image for Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Author

Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521142.1)

Electronic Access

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

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.

Cover image for Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Author

Bordihn, Henning. editor. Tran, Nicholas. editor. Vaszil, György. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521000.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34326-1

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

Author

Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521118.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42250-8

Format:

Availability

Online Library~1

Available:
Copies:

89.

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:

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.

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:

92.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519222.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47672-7

Format:

Availability

Online Library~1

Available:
Copies:

93.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519225.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

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:

95.

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:

96.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 6 7 8 9 10

	{displayName}	{count}
{error}