Search Results - "Lecture Notes in Computer Science"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 91
- Software Engineering 91
- Computer science 62
- Computer networking & communications 60
- Computer programming / software development 46
- Algorithms & data structures 42
- Mathematical theory of computation 38
- Information technology: general issues 36
- Systems analysis & design 34
- Network hardware 32
- Expert systems / knowledge-based systems 24
- Information retrieval 24
- User interface design & usability 22
- Computer modelling & simulation 20
- Programming & scripting languages: general 20
- Image processing 19
- Computer networks 16
- Computer vision 15
- Information technology industries 13
- Software engineering 13
- Energy industries & utilities 10
- Operating systems 10
- Computer Engineering and Networks 9
- Computer engineering 9
- Theory of Computation 9
- Application software 8
- Coding theory & cryptology 8
- Coins, banknotes, medals, seals (numismatics) 8
- Computer Communication Networks 8
- Computer and Information Systems Applications 8
-
21
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published 2023“…Lecture Notes in Computer Science,…”
Link to Metadata
Electronic eBook -
22
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published 2023“…Lecture Notes in Computer Science,…”
Link to Metadata
Electronic eBook -
23
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published 2023“…Lecture Notes in Computer Science,…”
Link to Metadata
Electronic eBook -
24
Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings /
Published 2023“…Lecture Notes in Computer Science,…”
Link to Metadata
Electronic eBook -
25
Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings /
Published 2023“…Lecture Notes in Computer Science,…”
Link to Metadata
Electronic eBook -
26
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...
Published 2023“…Lecture Notes in Computer Science,…”
Link to Metadata
Electronic eBook -
27
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /
Published 2020“…Lecture Notes in Computational Science and Engineering,…”
Link to Metadata
Electronic eBook -
28
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020“…Lecture Notes in Computational Science and Engineering,…”
Link to Metadata
Electronic eBook -
29
Finite Difference Computing with Exponential Decay Models
Published 2016“…Lecture Notes in Computational Science and Engineering,…”
Link to Metadata
Electronic eBook -
30
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Published 2016“…Lecture Notes in Computational Science and Engineering,…”
Link to Metadata
Electronic eBook -
31
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
32
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 Sof...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
33
Ethics and Responsible Research and Innovation in Practice The ETHNA System Project
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
34
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 o...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
35
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
36
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 o...
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
38
3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
40
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023“…Lecture Notes in Computer Science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter