JuLib | Books & more - {"Theoretical computer science ;"}

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Ask a Librarian

Books & more: Hits 1 - 20 of 239

sort by

Select all titles on this page

Select result number 1

E-Book

Coping with Selfishness in Congestion Games [E-Book] : Analysis and Design via LP Duality /

Bilò, Vittorio
2023

“...Monographs in Theoretical Computer Science. An EATCS Series...”

Full text

Favorites

Saved in:

QR Code

Select result number 2

E-Book

Languages and Compilers for Parallel Computing [E-Book] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /

Chapman, Barbara
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 3

E-Book

Internet of Things - ICIOT 2021 [E-Book] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedi...

Tekinerdogan, Bedir
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 4

E-Book

Frontiers of Algorithmics [E-Book] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021, Proceedings /

Chen, Jing
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 5

E-Book

Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /

Roggenbach, Markus
2022

“...Texts in Theoretical Computer Science. An EATCS Series...”

Full text

Favorites

Saved in:

QR Code

Select result number 6

E-Book

Network and Parallel Computing [E-Book] : 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings /

Cérin, Christophe
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 7

E-Book

Verification, Model Checking, and Abstract Interpretation [E-Book] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings /

Finkbeiner, Bernd
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 8

E-Book

Algorithms and Architectures for Parallel Processing [E-Book] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II /

Castiglione, Aniello
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 9

E-Book

Algorithms and Architectures for Parallel Processing [E-Book] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III /

Castiglione, Aniello
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 10

E-Book

WALCOM: Algorithms and Computation [E-Book] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings /

Mutzel, Petra
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 11

E-Book

Parallel and Distributed Computing, Applications and Technologies [E-Book] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings /

Arabnia, Hamid R.
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 12

E-Book

Algorithms and Discrete Applied Mathematics [E-Book] : 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022, Proceedings /

Balachandran, Niranjan
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 13

E-Book

Algorithms and Architectures for Parallel Processing [E-Book] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I /

Castiglione, Aniello
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 14

E-Book

Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings /

Artemov, Sergei
2022

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 15

E-Book

Algorithms and Data Structures [E-Book] : 17th International Symposium, WADS 2021, Virtual Event, August 9-11, 2021, Proceedings /

Lubiw, Anna
2021

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 16

E-Book

Model Checking Software [E-Book] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /

Laarman, Alfons
2021

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 17

E-Book

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA...

Margaria, Tiziana
2021

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 18

E-Book

Algorithmic Aspects in Information and Management [E-Book] : 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings /

Du, Hongwei
2021

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 19

E-Book

Computer Algebra in Scientific Computing [E-Book] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings /

Boulier, François
2021

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select result number 20

E-Book

Advances in Computational Intelligence [E-Book] : 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16-18, 2021, Proceedings, Part I...

Català, Andreu
2021

“...Theoretical Computer Science and General Issues ;...”

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
5
6
7
8
9
10
11
Next
[12]

Narrow Search Results

Electronic Edition 217 Print Edition 22

Book 239

Conference Publication 156 Handbook, Textbook 2

From:

To:

ZB 237 INM-6 1 JSC 1

Apduhan, Bernady O. 11 Blečić, Ivan 11 Dongarra, Jack J. 11 Garau, Chiara 11 Gervasi, Osvaldo 11 Krzhizhanovskaya, Valeria V. 11 more ... Misra, Sanjay 11 Murgante, Beniamino 11 Rocha, Ana Maria Alves Coutinho 11 Taniar, David 11 Tarantino, Eufemia 11 Torre, Carmelo Maria 11 Kranzlmüller, Dieter 6 Paszynski, Maciej 6 Sloot, Peter M. A. 6 Farkaš, Igor 5 Lees, Michael H. 5 Masulli, Paolo 5 Otte, Sebastian 5 Sloot, Peter M.A. 5 Wermter, Stefan 5 Ayu, Media Anugerah 4 Baeten, Josephus Cornelius Maria 4 Hidayanto, Achmad Nizar 4 Lee, Minho 4 Ltaief, Hatem 4 Mantoro, Teddy 4 Wong, Kok Wai 4 Bjørner, Dines. 3 Brissos, Sérgio 3 see all ... less ...

Artificial intelligence. 77 Computers. 68 Computer science-Mathematics. 55 Software engineering. 50 Computer organization. 40 Application software. 38 more ... Architecture, Computer. 32 Computer communication systems. 32 Data structures (Computer science). 32 Algorithms. 31 Computer science 28 Optical data processing. 27 Computer logic. 18 Computer science. 17 Information theory 16 Mathematical logic. 16 Computer programming. 15 Special purpose computers. 15 Computer networks . 14 Education-Data processing. 13 Information theory. 13 Logic design 12 Microprogramming . 12 Logic design. 11 Artificial intelligence 10 Machine learning. 10 Natural language processing (Computer science). 10 Numerical analysis. 10 Software engineering 10 Computer engineering. 9 see all ... less ...

DCA - Informatics - theoretical 7 D - Computer sciences 4 DMAD - Parallel programming 3 DYB - Neural networks and computing 3 MDF - Formal languages, coding theory 3 DGA - Computer types, plants and organization 2 more ... DGAG - High Performance Computing, Grid Computing 2 MDE - Decidability, calculability, enumerability 2 MDG - Automata theory 2 MWE - Decision theory, game theory 2 DGAE - Computer performance 1 DGC - Parallel and vector computers 1 DMF - Software engineering 1 DSA - Computer graphics, image/photo editing 1 DYA - Artificial intelligence 1 DYAA - Learning theory, adaptive systems 1 DZE - Data privacy, data security 1 MEAC - Diophantine equations, diophantine approximations 1 MGF - Computational geometry, fractals 1 MNA - Numerical mathematics - general 1 MWD - Applied graph theory, network analysis 1 see all ... less ...

English 197

Forschungszentrum Jülich
Central Library (ZB)