Search Results - "Lecture Notes in Computer Science Series"

1

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held As Part of the European Joint Conferences on Theory and Practice of S...

by Kupferman, Orna.
Published 2023

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

2

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice...

by Sankaranarayanan, Sriram.
Published 2023

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

3

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.

by Platzer, André.
Published 2021

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

4

Telecommunication Economics : Selected Results of the COST Action IS0605 Econ@Tel.

by Hadjiantonis, Antonis M.
Published 2012

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

5

Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications.

by Berthold, Michael R.
Published 2012

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

6

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings.

by Blanchette, Jasmin.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

7

The Once-Only Principle : The TOOP Project.

by Krimmer, Robert.
Published 2021

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

8

Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers.

by Amunts, Katrin.
Published 2021

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

9

XxAI - Beyond Explainable AI : International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers.

by Holzinger, Andreas.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

10

Electronic Voting : 7th International Joint Conference, e-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings.

by Krimmer, Robert.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

11

Algorithms for Big Data : DFG Priority Program 1736.

by Bast, Hannah.
Published 2023

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

12

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

by Silva, Alexandra.
Published 2021

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

13

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

by Silva, Alexandra.
Published 2021

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

14

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of S...

by Goubault-Larrecq, Jean.
Published 2020

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

15

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

by Johnsen, Einar Broch.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

16

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022...

by Sergey, Ilya.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

17

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of S...

by Bouyer, Patricia.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

18

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice...

by Fisman, Dana.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

19

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice...

by Fisman, Dana.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

20

Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools.

by Kołodziej, Joanna.
Published 2022

Format:
“...Lecture Notes in Computer Science Series...”
Click to View

Narrow Search