國立虎尾科技大學 |

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	SOFSEM 2025/ edited by Rastislav Královič, Věra Kůrková.
Reminder of title:	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.
remainder title:	SOFSEM 2025
other author:	Královič, Rastislav.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xxv, 353 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Computer science -
Online resource:	https://doi.org/10.1007/978-3-031-82697-9
ISBN:	9783031826979

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 /
SOFSEM 2025theory 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 /[electronic resource] :SOFSEM 2025edited by Rastislav Královič, Věra Kůrková. - Cham :Springer Nature Switzerland :2025. - xxv, 353 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,155391611-3349 ;. - Lecture notes in computer science ;6140..

This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025. The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computer science and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.

ISBN: 9783031826979

Standard No.: 10.1007/978-3-031-82697-9doiSubjects--Topical Terms:

675907
Computer science

LC Class. No.: QA75.5

Dewey Class. No.: 004

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 /
LDR:02361nam a2200337 a 4500 001 1160810
003 DE-He213
005 20250215115500.0
006 m d
007 cr nn 008maaau
008 251029s2025 sz s 0 eng d
020 $a 9783031826979 $q (electronic bk.)
020 $a 9783031826962 $q (paper)
024 7 $a 10.1007/978-3-031-82697-9 $2 doi
035 $a 978-3-031-82697-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA75.5
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004 $2 23
090 $a QA75.5 $b .S681 2025
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a SOFSEM 2025 $h [electronic resource] : $b 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. $n Part II / $c edited by Rastislav Královič, Věra Kůrková.
246 3 $a SOFSEM 2025
260 $a Cham : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xxv, 353 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15539
520 $a This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025. The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computer science and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.
650 0 $a Computer science $3 675907
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Communication Networks. $3 669310
700 1 $a Královič, Rastislav. $3 1487786
700 1 $a Kůrková, Věra. $3 1487787
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-82697-9
950 $a Computer Science (SpringerNature-11645)