Search Results for Springer

1.

Springer Handbook of Robotics

Author

Siciliano, Bruno. editor. Khatib, Oussama. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-30301-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

Author

Steland, Ansgar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337250.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37201-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Financial Modeling A Backward Stochastic Differential Equations Perspective

Author

Crépey, Stéphane. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334364.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37113-4

Format:

Availability

Online Library~1

Available:
Copies:

4.

Diskrete Mathematik: Geordnete Mengen

Author

Ganter, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337269.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37500-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik

Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19443-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Studienarbeiten schreiben Seminar-, Bachelor-, Master- und Diplomarbeiten in den Wirtschaftswissenschaften

Author

Disterer, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21142-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19278-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

Author

Steland, Ansgar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02667-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Medienrecht

Author

Paschke, Marian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-49088-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Digitaltechnik — Eine praxisnahe Einführung

Author

Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77729-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Medienpsychologie

Author

Batinic, Bernad. editor. Appel, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-46899-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Optimierungsmethoden Eine Einführung

Author

Jungnickel, Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76790-9

Format:

Availability

Online Library~1

Available:
Copies:

13.

Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72553-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72554-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

Diskrete Mathematik Eine Entdeckungsreise

Author

Matoušek, Jiří. author. Nešetřil, Jaroslav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-30324-4

Format:

Availability

Online Library~1

Available:
Copies:

16.

Diskrete Strukturen Band 1: Kombinatorik, Graphentheorie, Algebra

Author

Steger, Angelika. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-46664-2

Format:

Availability

Online Library~1

Available:
Copies:

17.

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

Author

Steland, Ansgar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74206-7

Format:

Availability

Online Library~1

Available:
Copies:

18.

Wissenschaftliches Rechnen mit MATLAB

Author

Quarteroni, Alfio. author. Saleri, Fausto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29307-8

Format:

Availability

Online Library~1

Available:
Copies:

19.

Informatik für Ingenieure und Naturwissenschaftler Eine anschauliche Einführung in das Programmieren mit C und Java

Author

Rießinger, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29475-9

Format:

Availability

Online Library~1

Available:
Copies:

20.

Grundfragen der Medienwirtschaft

Author

Schumann, Matthias. author. Hess, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-30590-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Einführung in die Programmierung Grundlagen, Java, UML

Author

Braun, Robert. author. Esswein, Werner. author. Greiffenberg, Steffen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32856-4

Format:

Availability

Online Library~1

Available:
Copies:

22.

Methoden der Bioinformatik Eine Einführung

Author

Hütt, Marc-Thorsten. author. Dehnert, Manuel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32954-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Technische Informatik 2 Grundlagen der Computertechnik

Author

Schiffmann, Wolfram. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138816

Format:

Availability

Online Library~1

Available:
Copies:

24.

Einführung in die Analysis dynamischer Systeme

Author

Denker, Manfred. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137966

Format:

Availability

Online Library~1

Available:
Copies:

25.

Forecast Error Correction using Dynamic Data Assimilation

Author

Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Neuromathematik und Assoziativmaschinen

Author

Bentz, Hans-Joachim. author. Dierks, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337305.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37938-3

Format:

Availability

Online Library~1

Available:
Copies:

27.

Kombinatorische Optimierung Theorie und Algorithmen

Author

Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25401-7

Format:

Availability

Online Library~1

Available:
Copies:

28.

Dot-Dash to Dot.Com How Modern Telecommunications Evolved from the Telegraph to the Internet

Author

Wheen, Andrew. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6760-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Informationsverarbeitung in Versicherungsunternehmen

Author

Aschenbrenner, Michael. editor. Dicke, Ralph. editor. Karnarski, Bertel. editor. Schweiggert, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04321-5

Format:

Availability

Online Library~1

Available:
Copies:

30.

Wissenschaftliches Rechnen

Author

Strang, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78495-1

Format:

Availability

Online Library~1

Available:
Copies:

31.

Probability Models

Author

Haigh, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331195.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5343-6

Format:

Availability

Online Library~1

Available:
Copies:

32.

Semantic Web and Web Science

Author

Li, Juanzi. editor. Qi, Guilin. editor. Zhao, Dongyan. editor. Nejdl, Wolfgang. editor. Zheng, Hai-Tao. editor.

Preferred Shelf Number

ONLINE(332145.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6880-6

Format:

Availability

Online Library~1

Available:
Copies:

33.

The 3rd International Workshop on Intelligent Data Analysis and Management

Author

Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.

Preferred Shelf Number

ONLINE(336358.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-7293-9

Format:

Availability

Online Library~1

Available:
Copies:

34.

Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010

Author

Bruter, Claude. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24497-1

Format:

Availability

Online Library~1

Available:
Copies:

35.

Statistics for High-Dimensional Data Methods, Theory and Applications

Author

Bühlmann, Peter. author. van de Geer, Sara. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20192-9

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009

Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009

Author

Georgoulis, Emmanuil H. editor. Iske, Armin. editor. Levesley, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16876-5

Format:

Availability

Online Library~1

Available:
Copies:

37.

Applied Probability

Author

Lange, Kenneth. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7165-4

Format:

Availability

Online Library~1

Available:
Copies:

38.

Mathematica®: A Problem-Centered Approach

Author

Hazrat, Roozbeh. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-251-3

Format:

Availability

Online Library~1

Available:
Copies:

39.

An Intermediate Course in Probability

Author

Gut, Allan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0162-0

Format:

Availability

Online Library~1

Available:
Copies:

40.

The q-theory of Finite Semigroups

Author

Rhodes, John. author. Steinberg, Benjamin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104443

Format:

Availability

Online Library~1

Available:
Copies:

41.

Introduction to Nonparametric Estimation

Author

Tsybakov, Alexandre B. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b13794

Format:

Availability

Online Library~1

Available:
Copies:

42.

A First Course in Bayesian Statistical Methods

Author

Hoff, Peter D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-92407-6

Format:

Availability

Online Library~1

Available:
Copies:

43.

Principles and Theory for Data Mining and Machine Learning

Author

Clarke, Bertrand. author. Fokoue, Ernest. author. Zhang, Hao Helen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-98135-2

Format:

Availability

Online Library~1

Available:
Copies:

44.

Information Criteria and Statistical Modeling

Author

Konishi, Sadanori. author. Kitagawa, Genshiro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-71887-3

Format:

Availability

Online Library~1

Available:
Copies:

45.

Modern Multivariate Statistical Techniques Regression, Classification, and Manifold Learning

Author

Izenman, Alan J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-78189-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Linear Models and Generalizations Least Squares and Alternatives

Author

Rao, C. Radhakrishna. author. Shalabh. author. Toutenburg, Helge. author. Heumann, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74227-2

Format:

Availability

Online Library~1

Available:
Copies:

47.

Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists

Author

Saunders, Sam C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-48538-6

Format:

Availability

Online Library~1

Available:
Copies:

48.

Bayesian Core: A Practical Approach to Computational Bayesian Statistics

Author

Marin, Jean-Michel. author. Robert, Christian P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-38983-7

Format:

Availability

Online Library~1

Available:
Copies:

49.

Matrix Algebra Theory, Computations, and Applications in Statistics

Author

Gentle, James E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-70873-7

Format:

Availability

Online Library~1

Available:
Copies:

50.

Measure Theory and Probability Theory

Author

Athreya, Krishna B. author. Lahiri, Soumendra N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-35434-7

Format:

Availability

Online Library~1

Available:
Copies:

51.

Finite Mixture and Markov Switching Models

Author

Frühwirth-Schnatter, Sylvia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-35768-3

Format:

Availability

Online Library~1

Available:
Copies:

52.

Finite Model Theory

Author

Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-28788-4

Format:

Availability

Online Library~1

Available:
Copies:

53.

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

Author

Lau, Dietlinde. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-36023-9

Format:

Availability

Online Library~1

Available:
Copies:

54.

Nonparametric Functional Data Analysis Theory and Practice

Author

Ferraty, Frédéric. author. Vieu, Philippe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-36620-2

Format:

Availability

Online Library~1

Available:
Copies:

55.

Kompakt-Lexikon Wirtschaftsinformatik 1.500 Begriffe nachschlagen, verstehen, anwenden.

Author

Springer Fachmedien Wiesbaden. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338125.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-03029-2

Format:

Availability

Online Library~1

Available:
Copies:

56.

Intelligent Engineering Optimisation with the Bees Algorithm

Author

Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-64936-3

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Author

Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28859-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Explorations in Art and Technology

Author

Candy, Linda. author. Edmonds, Ernest. author. Poltronieri, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-7367-0

Format:

Availability

Online Library~1

Available:
Copies:

59.

Rhythm, Play and Interaction Design

Author

Costello, Brigid M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Context-Aware Communication and Computing: Applications for Smart Environment

Author

Temdee, Punnarumol. author. Prasad, Ramjee. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Museum Experience Design Crowds, Ecosystems and Novel Technologies

Author

Vermeeren, Arnold. editor. Calvi, Licia. editor. Sabiescu, Amalia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58550-5

Format:

Availability

Online Library~1

Available:
Copies:

62.

Personal Multimedia Preservation Remembering or Forgetting Images and Video

Author

Mezaris, Vasileios. editor. Niederée, Claudia. editor. Logie, Robert H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73465-1

Format:

Availability

Online Library~1

Available:
Copies:

63.

Advances in Robot Kinematics 2016

Author

Lenarčič, Jadran. editor. Merlet, Jean-Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56802-7

Format:

Availability

Online Library~1

Available:
Copies:

64.

Augmented Reality Art From an Emerging Technology to a Novel Creative Medium

Author

Geroimenko, Vladimir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69932-5

Format:

Availability

Online Library~1

Available:
Copies:

65.

The Monte Carlo Simulation Method for System Reliability and Risk Analysis

Author

Zio, Enrico. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331017.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4588-2

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

Author

Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331669.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5076-4

Format:

Availability

Online Library~1

Available:
Copies:

67.

Inverse Problems and Large-Scale Computations

Author

Beilina, Larisa. editor. Shestopalov, Yury V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332788.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00660-4

Format:

Availability

Online Library~1

Available:
Copies:

68.

Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback Applications to Assistive Robotics

Author

Prats, Mario. author. Pobil, Ángel P. del. author. Sanz, Pedro J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333685.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33241-8

Format:

Availability

Online Library~1

Available:
Copies:

69.

Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday

Author

Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331109.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4971-2

Format:

Availability

Online Library~1

Available:
Copies:

70.

Visual Heritage in the Digital Age

Author

Ch'ng, Eugene. editor. Gaffney, Vincent. editor. Chapman, Henry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331214.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5535-5

Format:

Availability

Online Library~1

Available:
Copies:

71.

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

Author

Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333751.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33789-5

Format:

Availability

Online Library~1

Available:
Copies:

72.

Music and Human-Computer Interaction

Author

Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330896.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2990-5

Format:

Availability

Online Library~1

Available:
Copies:

73.

Electronic Visualisation in Arts and Culture

Author

Bowen, Jonathan P. editor. Keene, Suzanne. editor. Ng, Kia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331203.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5406-8

Format:

Availability

Online Library~1

Available:
Copies:

74.

Nonlinear Optimization Applications Using the GAMS Technology

Author

Andrei, Neculai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332120.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6797-7

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cell Formation in Industrial Engineering Theory, Algorithms and Experiments

Author

Goldengorin, Boris. author. Krushinsky, Dmitry. author. Pardalos, Panos M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332379.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-8002-0

Format:

Availability

Online Library~1

Available:
Copies:

76.

Mixed Finite Element Methods and Applications

Author

Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334224.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36519-5

Format:

Availability

Online Library~1

Available:
Copies:

77.

Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications

Author

Scholz, Daniel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1951-8

Format:

Availability

Online Library~1

Available:
Copies:

78.

Pyomo – Optimization Modeling in Python

Author

Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3226-5

Format:

Availability

Online Library~1

Available:
Copies:

79.

Applications of Mathematics and Informatics in Military Science

Author

Daras, Nicholas J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4109-0

Format:

Availability

Online Library~1

Available:
Copies:

80.

Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms

Author

Deuflhard, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23899-4

Format:

Availability

Online Library~1

Available:
Copies:

81.

Spectral Methods Algorithms, Analysis and Applications

Author

Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71041-7

Format:

Availability

Online Library~1

Available:
Copies:

82.

A Perspective on Stereophonic Acoustic Echo Cancellation

Author

Benesty, Jacob. author. Paleologu, Constantin. author. Gänsler, Tomas. author. Ciochină, Silviu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22574-1

Format:

Availability

Online Library~1

Available:
Copies:

83.

Approximation and Computation In Honor of Gradimir V. Milovanović

Author

Gautschi, Walter. editor. Mastroianni, Giuseppe. editor. Rassias, Themistocles M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6594-3

Format:

Availability

Online Library~1

Available:
Copies:

84.

Dependability of Networked Computer-based Systems

Author

Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-318-3

Format:

Availability

Online Library~1

Available:
Copies:

85.

Reinventing Ourselves: Contemporary Concepts of Identity in Virtual Worlds

Author

Peachey, Anna. editor. Childs, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-361-9

Format:

Availability

Online Library~1

Available:
Copies:

86.

Sleep and Anesthesia Neural Correlates in Theory and Experiment

Author

Hutt, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-0173-5

Format:

Availability

Online Library~1

Available:
Copies:

87.

Virtual Manufacturing

Author

Khan, Wasim Ahmed. author. Raouf, Abdul. author. Cheng, Kai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-186-8

Format:

Availability

Online Library~1

Available:
Copies:

88.

The Virtual Future

Author

Bainbridge, William Sims. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-904-8

Format:

Availability

Online Library~1

Available:
Copies:

89.

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

Author

Triantaphyllou, Evangelos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1630-3

Format:

Availability

Online Library~1

Available:
Copies:

90.

Complex Intelligent Systems and Their Applications

Author

Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1636-5

Format:

Availability

Online Library~1

Available:
Copies:

91.

CyberForensics Understanding Information Security Investigations

Author

Bayuk, Jennifer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-60761-772-3

Format:

Availability

Online Library~1

Available:
Copies:

92.

Speech Processing in Modern Communication Challenges and Perspectives

Author

Cohen, Israel. editor. Benesty, Jacob. editor. Gannot, Sharon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11130-3

Format:

Availability

Online Library~1

Available:
Copies:

93.

Advances in Modeling Agricultural Systems

Author

Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75181-8

Format:

Availability

Online Library~1

Available:
Copies:

94.

Introduction to the Graphical Theory of Angular Momentum Case Studies

Author

Balcar, Ewald. author. Lovesey, Stephen W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03118-2

Format:

Availability

Online Library~1

Available:
Copies:

95.

Noise Reduction in Speech Processing

Author

Cohen, Israel. author. Huang, Yiteng. author. Chen, Jingdong. author. Benesty, Jacob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00296-0

Format:

Availability

Online Library~1

Available:
Copies:

96.

The Sense of Touch and its Rendering Progress in Haptics Research

Author

Bicchi, Antonio. editor. Buss, Martin. editor. Ernst, Marc O. editor. Peer, Angelika. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79035-8

Format:

Availability

Online Library~1

Available:
Copies:

97.

ERP Systems and Organisational Change A Socio-technical Insight

Author

Grabot, Bernard. editor. Mayère, Anne. editor. Bazet, Isabelle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-183-1

Format:

Availability

Online Library~1

Available:
Copies:

98.

New Approaches to Circle Packing in a Square With Program Codes

Author

Szabó, P. G. author. Markót, M. Cs. author. Csendes, T. author. Specht, E. author. Casado, L. G. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-45676-8

Format:

Availability

Online Library~1

Available:
Copies:

99.

Optimization Theory and Methods Nonlinear Programming

Author

Sun, Wenyu. author. Yuan, Ya-Xiang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106451

Format:

Availability

Online Library~1

Available:
Copies:

100.

Field-Based Coordination for Pervasive Multiagent Systems

Author

Mamei, Marco. author. Zambonelli, Franco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27969-5

Format:

Availability

Online Library~1

Available:
Copies:

101.

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology

Author

Lee, Raymond S. T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-30984-5

Format:

Availability

Online Library~1

Available:
Copies:

102.

Domain Decomposition Methods — Algorithms and Theory

Author

Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137868

Format:

Availability

Online Library~1

Available:
Copies:

103.

Multi-point Interaction with Real and Virtual Objects

Author

Barbagli, Federico. editor. Prattichizzo, Domenico. editor. Salisbury, Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136620

Format:

Availability

Online Library~1

Available:
Copies:

104.

System-level Test and Validation of Hardware/Software Systems

Author

Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-145-8

Format:

Availability

Online Library~1

Available:
Copies:

105.

Musical Haptics

Author

Papetti, Stefano. editor. Saitis, Charalampos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58316-7

Format:

Availability

Online Library~1

Available:
Copies:

106.

Modeling, Simulation, and Optimization

Author

Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers

Author

Campelo, Hugo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72703-5

Format:

Availability

Online Library~1

Available:
Copies:

108.

Multi-finger Haptic Interaction

Author

Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331173.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5204-0

Format:

Availability

Online Library~1

Available:
Copies:

109.

Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding

Author

Wiertlewski, Michaël. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331074.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4841-8

Format:

Availability

Online Library~1

Available:
Copies:

110.

Statistical Methods for Spoken Dialogue Management

Author

Thomson, Blaise. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331098.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4923-1

Format:

Availability

Online Library~1

Available:
Copies:

111.

New Geometric Data Structures for Collision Detection and Haptics

Author

Weller, René. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332832.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01020-5

Format:

Availability

Online Library~1

Available:
Copies:

112.

Community Structure of Complex Networks

Author

Shen, Hua-Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333494.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31821-4

Format:

Availability

Online Library~1

Available:
Copies:

113.

Product of Random Stochastic Matrices and Distributed Averaging

Author

Touri, Behrouz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28003-0

Format:

Availability

Online Library~1

Available:
Copies:

114.

Performance Metrics for Haptic Interfaces

Author

Samur, Evren. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4225-6

Format:

Availability

Online Library~1

Available:
Copies:

115.

Advances in K-means Clustering A Data Mining Thinking

Author

Wu, Junjie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29807-3

Format:

Availability

Online Library~1

Available:
Copies:

116.

The Relevance of the Time Domain to Neural Network Models

Author

Rao, A. Ravishankar. editor. Cecchi, Guillermo A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-0724-9

Format:

Availability

Online Library~1

Available:
Copies:

117.

An Introduction to Modern Mathematical Computing With Mathematica®

Author

Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4253-0

Format:

Availability

Online Library~1

Available:
Copies:

118.

Immersive Multimodal Interactive Presence

Author

Peer, Angelika. editor. Giachritsis, Christos D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2754-3

Format:

Availability

Online Library~1

Available:
Copies:

119.

The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics

Author

Campion, Gianni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-576-7

Format:

Availability

Online Library~1

Available:
Copies:

120.

Perception-Action Cycle Models, Architectures, and Hardware

Author

Cutsuridis, Vassilis. editor. Hussain, Amir. editor. Taylor, John G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1452-1

Format:

Availability

Online Library~1

Available:
Copies:

121.

Haptics Technologies Bringing Touch to Multimedia

Author

El Saddik, Abdulmotaleb. author. Orozco, Mauricio. author. Eid, Mohamad. author. Cha, Jongeun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22658-8

Format:

Availability

Online Library~1

Available:
Copies:

122.

An Introduction to Modern Mathematical Computing With Maple™

Author

Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-0122-3

Format:

Availability

Online Library~1

Available:
Copies:

123.

Invariants of Behavior Constancy and Variability in Neural Systems

Author

Negrello, Mario. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-8804-1

Format:

Availability

Online Library~1

Available:
Copies:

124.

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

Author

Böttcher, Guido. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-935-2

Format:

Availability

Online Library~1

Available:
Copies:

125.

Modeling of Curves and Surfaces with MATLAB®

Author

Rovenski, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-71278-9

Format:

Availability

Online Library~1

Available:
Copies:

126.

Algorithms and Programming Problems and Solutions

Author

Shen, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1748-5

Format:

Availability

Online Library~1

Available:
Copies:

127.

Optimization—Theory and Practice

Author

Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-78977-4

Format:

Availability

Online Library~1

Available:
Copies:

128.

The Mathematics of Medical Imaging A Beginner’s Guide

Author

Feeman, Timothy G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-92712-1

Format:

Availability

Online Library~1

Available:
Copies:

129.

Mathématiques et Technologie

Author

Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-69213-5

Format:

Availability

Online Library~1

Available:
Copies:

130.

Basic Probability Theory with Applications

Author

Lefebvre, Mario. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-74995-2

Format:

Availability

Online Library~1

Available:
Copies:

131.

Mathematics and Technology

Author

Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-69216-6

Format:

Availability

Online Library~1

Available:
Copies:

132.

Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005

Author

Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-71307-4

Format:

Availability

Online Library~1

Available:
Copies:

133.

Intelligent Document Retrieval Exploiting Markup Structure

Author

Kruschwitz, Udo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3768-6

Format:

Availability

Online Library~1

Available:
Copies:

134.

Verteilte Systeme Grundlagen und Basistechnologien

Author

Schill, Alexander. author. Springer, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25796-4

Format:

Availability

Online Library~1

Available:
Copies:

135.

Verteilte Systeme Grundlagen und Basistechnologien

Author

Schill, Alexander. author. Springer, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68471-8

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II

Author

Huang, Letian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-6403-0

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings

Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings

Author

Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-03364-2

Format:

Availability

Online Library~1

Available:
Copies:

138.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

Author

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1195-9

Format:

Availability

Online Library~1

Available:
Copies:

139.

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Author

Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2621-2

Format:

Availability

Online Library~1

Available:
Copies:

140.

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

Author

Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Humanizing AI with Personality

Author

Karimova, Gulnara Z. author. (orcid)0000-0003-1808-8373 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82327-5

Format:

Availability

Online Library~1

Available:
Copies:

143.

Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers

Author

Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1490-5

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

Author

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

A Concise Introduction to Software Engineering With Open Source and GenAI

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Author

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Mathematical Tools for Telemedicine

Author

Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Author

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4445-2

Format:

Availability

Online Library~1

Available:
Copies:

149.

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Author

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4448-3

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Author

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Author

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R

Author

Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-08677-8

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90900-9

Format:

Availability

Online Library~1

Available:
Copies:

155.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90643-5

Format:

Availability

Online Library~1

Available:
Copies:

156.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

Author

Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-88226-5

Format:

Availability

Online Library~1

Available:
Copies:

159.

Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web

Author

Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-70132-4

Format:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

Author

Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Artificial Intelligence and Machine Learning in Sports Science

Author

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90065-5

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

Author

Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Author

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Biological Computing

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-3870-3

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Author

Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

Author

Suriyan, Kannadhasan. editor. (orcid)0000-0001-6443-9993 Sivakumar, Prasanna Devi. editor. Anand, Paavai Gopalan. editor. Palani, Durgadevi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86644-9

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Proceedings of 23rd International Conference on Informatics in Economy (IE 2024) Recent Results in Education, Research, and Applications

Proceedings of 23rd International Conference on Informatics in Economy (IE 2024) Recent Results in Education, Research, and Applications

Author

Ciurea, Cristian. editor. (orcid)0000-0002-7327-0007 Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. (orcid)0000-0001-8395-7040 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0161-5

Format:

Availability

Online Library~1

Available:
Copies:

173.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Principle of Petri Nets

Author

Yuan, Chongyi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7336-7

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings

Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings

Author

Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

An Introduction to Theory of Computation An Algorithmic Approach

Author

Ogihara, Mitsunori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Author

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4207-6

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Author

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Author

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Theory of Computation Automata, Formal Languages, Computation and Complexity

Author

Chowdhary, K.R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6234-7

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-87054-5

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95497-9

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Restarting Automata Extensions and Generalizations

Author

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Author

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

Author

Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II

Author

Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2885-8

Format:

Availability

Online Library~1

Available:
Copies:

190.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

Author

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III

Author

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Author

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Author

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

Author

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Author

Ahmadi, Seyed-Ahmad. editor. (orcid)0000-0002-7082-0739 Kazi, Anees. editor. (orcid)0000-0003-4528-1670 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Author

Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2718-9

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Author

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2845-2

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75783-9

Format:

Availability

Online Library~1

Available:
Copies:

199.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

A First Introduction to Quantum Computing and Information

Author

Zygelman, Bernard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Author

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75387-9

Format:

Availability

Online Library~1

Available:
Copies:

204.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

207.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75778-5

Format:

Availability

Online Library~1

Available:
Copies:

208.

Cover image for Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

Author

Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77367-9

Format:

Availability

Online Library~1

Available:
Copies:

210.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

Author

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1093-8

Format:

Availability

Online Library~1

Available:
Copies:

211.

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

Author

He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2292-4

Format:

Availability

Online Library~1

Available:
Copies:

212.

Multi-valued Logic for Decision-Making Under Uncertainty

Author

Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74762-5

Format:

Availability

Online Library~1

Available:
Copies:

213.

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

Author

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82697-9

Format:

Availability

Online Library~1

Available:
Copies:

214.

Maximal Planar Graph Theory and the Four-Color Conjecture

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4745-3

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedings

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedings

Author

Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-7071-0

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Author

Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Author

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Author

Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

Author

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Design, Learning, and Innovation 9th EAI International Conference, DLI 2024, Virtual Event, November 7-8, 2024, Proceedings

Author

Brooks, Eva. editor. (orcid)0000-0001-7338-1279 Edstrand, Emma. editor. (orcid)0000-0002-5325-435X Møller, Anders Kalsgaard. editor. (orcid)0000-0003-4581-4094 Bjørner, Thomas. editor. (orcid)0000-0001-9071-7168 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Informatics and Digitalization for Sustainable Development and Well-Being

Author

Salman, Asma. editor. (orcid)0000-0002-5623-3087 Nawaz Tunio, Muhammad. editor. (orcid)0000-0003-1376-5371 Abdul Razzaq, Muthanna G. editor. (orcid)0009-0007-4831-1907 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85933-5

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Author

Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85908-3

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Author

Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-93631-9

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Author

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Author

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97635-3

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

Author

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II

Author

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95976-9

Format:

Availability

Online Library~1

Available:
Copies:

240.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Author

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Applied Antifragility in Natural Systems From Principles to Applications

Author

Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90391-5

Format:

Availability

Online Library~1

Available:
Copies:

242.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

Author

Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Author

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

Author

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Author

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68538-5

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85638-9

Format:

Availability

Online Library~1

Available:
Copies:

253.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Author

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings

Author

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Author

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Author

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Maths For Computing A Beginner's Guide

Author

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69234-5

Format:

Availability

Online Library~1

Available:
Copies:

260.

Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice

Author

Minato, Shin-ichi. editor. Uno, Takeaki. editor. Yasuda, Norihito. editor. Horiyama, Takashi. editor. Kawarabayashi, Ken-ichi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0668-9

Format:

Availability

Online Library~1

Available:
Copies:

261.

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

Author

Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2882-7

Format:

Availability

Online Library~1

Available:
Copies:

262.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Author

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Author

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-7956-0

Format:

Availability

Online Library~1

Available:
Copies:

265.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

Author

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77844-5

Format:

Availability

Online Library~1

Available:
Copies:

266.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

Author

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1090-7

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Author

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0602-3

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

Author

Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II

Author

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

Author

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82024-3

Format:

Availability

Online Library~1

Available:
Copies:

271.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8943-6

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75390-9

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75107-3

Format:

Availability

Online Library~1

Available:
Copies:

276.

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Author

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Cover image for Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part II

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part II

Author

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part I

Author

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part IV

Author

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Cover image for Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings

Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings

Author

Benmusa, Tammam A. T. editor. Elbuni, Mohamed Samir. editor. Saleh, Ibrahim M. editor. Ashur, Ahmed S. editor. Drawil, Nabil M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Cover image for Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

Author

Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Computational Thinking First Algorithms, Then Code

Author

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II

Artificial Intelligence Applications and Innovations 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part II

Author

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Macintyre, John. editor. (orcid)0000-0001-8514-9127 Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Author

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7798-3

Format:

Availability

Online Library~1

Available:
Copies:

290.

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Author

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7801-0

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I

Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70816-9

Format:

Availability

Online Library~1

Available:
Copies:

293.

Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV

Author

De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Author

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0617-7

Format:

Availability

Online Library~1

Available:
Copies:

297.

Digital Signal Processing Illustration Using Python

Author

Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6752-0

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Author

Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Author

Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.