Search Results for Linear systems.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

37 Results Found

1 2 3 4

000000000000DEFAULT

25.

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:

26.

Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

Author

Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521380.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Machine Learning and Mechanics Based Soft Computing Applications

Author

Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520290.1)

Electronic Access

https://doi.org/10.1007/978-981-19-6450-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520318.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2443-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520526.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Author

Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520949.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Author

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521082.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Author

Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521028.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34668-2

Format:

Availability

Online Library~1

Available:
Copies:

35.

Health Information Science 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23-24, 2023, Proceedings

Author

Li, Yan. editor. Huang, Zhisheng. editor. Sharma, Manik. editor. Chen, Lu. editor. Zhou, Rui. editor.

Preferred Shelf Number

XX(521235.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7108-4

Format:

Availability

Online Library~1

Available:
Copies:

36.

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

Author

Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521236.1)

Electronic Access

https://doi.org/10.1007/978-3-031-45368-7

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

	{displayName}	{count}
{error}