Details

Subject(s)

• Computers [Browse]
• Computer science [Browse]
• Artificial intelligence [Browse]

Has subseries

• Agricultural Implications of the Fukushima Nuclear Accident
• Challenges and Opportunities in the Digital Era
• Architecture of Computing Systems – ARCS 2018
• Knowledge Science, Engineering and Management
• Quantitative Evaluation of Systems
• Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
• Product-Focused Software Process Improvement
• Internet Science
• New Opportunities for Software Reuse
• Graph Drawing and Network Visualization
• System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
• Information Retrieval Technology
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX
• Language and Automata Theory and Applications
• Perspectives of System Informatics
• Public-Key Cryptography – PKC 2018
• MultiMedia Modeling
• Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data
• Machine Learning for Medical Image Reconstruction
• Learning and Collaboration Technologies. Learning and Teaching
• Natural Language Processing and Chinese Computing
• Sailing Routes in the World of Computation
• Learning and Collaboration Technologies. Design, Development and Technological Innovation
• Transactions on Computational Collective Intelligence XXX
• Information and Communications Security
• New Frontiers in Mining Complex Patterns
• Social Informatics
• Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
• Security and Cryptography for Networks
• Artificial Intelligence in Education
• Foundations of Intelligent Systems
• Logical Foundations of Computer Science
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
• Intelligent Computer Mathematics
• Similarity Search and Applications
• Security Standardisation Research
• Approximation and Online Algorithms
• Immersive Analytics
• Intelligent Computing Methodologies
• Artificial Neural Networks in Pattern Recognition
• KI 2018: Advances in Artificial Intelligence
• Transactions on Computational Collective Intelligence XXIX
• The Semantic Web – ISWC 2018
• Advances in Neural Networks – ISNN 2018
• Bioinspired Optimization Methods and Their Applications
• Critical Information Infrastructures Security
• Modelling Foundations and Applications
• Advances in Information Retrieval
• Cloud Computing and Security
• Interactive Theorem Proving
• Trends in Functional Programming
• Computational Processing of the Portuguese Language
• Transactions on Computational Collective Intelligence XXXI
• Graphics Recognition. Current Trends and Evolutions
• Machines, Computations, and Universality
• The Semantic Web
• Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection
• Constructive Side-Channel Analysis and Secure Design
• Unconventional Computation and Natural Computation
• The Semantic Web: ESWC 2018 Satellite Events
• Intelligent Data Engineering and Automated Learning – IDEAL 2018
• Advanced Computing Strategies for Engineering
• Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
• Statistical Atlases and Computational Models of the Heart. ACDC and MMWHS Challenges
• Cryptology and Network Security
• Serious Games
• Belief Functions: Theory and Applications
• Leveraging Applications of Formal Methods, Verification and Validation. Modeling
• Distributed, Ambient and Pervasive Interactions: Understanding Humans
• Computer Security
• Artificial General Intelligence
• Requirements Engineering: Foundation for Software Quality
• Leveraging Applications of Formal Methods, Verification and Validation. Verification
• Distributed, Ambient and Pervasive Interactions: Technologies and Contexts
• Biometric Recognition
• Wired/Wireless Internet Communications
• Service-Oriented and Cloud Computing
• Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
• Developments in Language Theory
• Advances in Artificial Intelligence
• Computational Collective Intelligence
• Computer Safety, Reliability, and Security
• Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
• Theory of Cryptography
• Social Robotics
• Algorithmic Aspects of Cloud Computing
• Human Centered Computing
• Electronic Voting
• Verification and Evaluation of Computer and Communication Systems
• Detection of Intrusions and Malware, and Vulnerability Assessment
• HCI in Business, Government, and Organizations
• Foundations of Information and Knowledge Systems
• Hybrid Artificial Intelligent Systems
• Trends and Applications in Knowledge Discovery and Data Mining
• Statistical Language and Speech Processing
• Structural Information and Communication Complexity
• Smart Multimedia
• Pattern Recognition and Computer Vision
• High Performance Computing
• Trust, Privacy and Security in Digital Business
• Tests and Proofs
• Data and Applications Security and Privacy XXXII
• Persuasive Technology
• Software Technologies: Applications and Foundations
• PRICAI 2018: Trends in Artificial Intelligence
• Membrane Computing
• Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living
• Advances in Cryptology – ASIACRYPT 2018
• Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools
• Transactions on Computational Science XXXIII
• High Performance Computing in Science and Engineering
• Image and Signal Processing
• Advances in Soft Computing
• Augmented Cognition: Users and Contexts
• Network and System Security
• Rules and Reasoning
• Advances in Computational Intelligence
• Augmented Cognition: Intelligent Technologies
• Large-Scale Scientific Computing
• Services – SERVICES 2018
• Machine Learning and Knowledge Extraction
• Braverman Readings in Machine Learning. Key Ideas from Inception to Current State
• Automated Technology for Verification and Analysis
• Information Security Applications
• Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection
• Formal Methods
• From Database to Cyber Security
• Inductive Logic Programming
• Theoretical Aspects of Computing – ICTAC 2018
• String Processing and Information Retrieval
• Number-Theoretic Methods in Cryptology
• Theory and Applications of Satisfiability Testing – SAT 2018
• Progress in Cryptology – INDOCRYPT 2018
• Service-Oriented Computing – ICSOC 2017 Workshops
• Computer Algebra in Scientific Computing
• Artificial Intelligence and Symbolic Computation
• Universal Access in Human-Computer Interaction. Methods, Technologies, and Users
• Conceptual Modeling
• RoboCup 2017: Robot World Cup XXI
• It's All About Coordination
• Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments
• Biomimetic and Biohybrid Systems
• Cyberspace Safety and Security
• Software Architecture
• Security and Trust Management
• Web and Internet Economics
• Computational Science – ICCS 2018
• Understanding Human Activities Through 3D Sensors
• Web and Big Data
• Computing and Combinatorics
• Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
• Social Information Access
• Informatics in Schools. Fundamentals of Computer Science and Software Engineering
• Graph Structures for Knowledge Representation and Reasoning
• Database Systems for Advanced Applications
• Love and Sex with Robots
• Advances in Cryptology – EUROCRYPT 2018
• On the Move to Meaningful Internet Systems. OTM 2017 Workshops
• Social, Cultural, and Behavioral Modeling
• Chinese Lexical Semantics
• Computational Methods in Systems Biology
• Electronic Government
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII
• Combinatorial Image Analysis
• Information Security and Cryptology – ICISC 2017
• Brain Informatics
• Text Processing
• Agents and Artificial Intelligence
• Energy Minimization Methods in Computer Vision and Pattern Recognition
• Computer Science – Theory and Applications
• Advances in Brain Inspired Cognitive Systems
• Business Process Management
• Provable Security
• Electronic Government and the Information Systems Perspective
• Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
• Structural, Syntactic, and Statistical Pattern Recognition
• Smart Health
• Engineering Secure Software and Systems
• Information Security Theory and Practice
• Design, User Experience, and Usability: Designing Interactions
• Collaboration Technologies and Social Computing
• Progress in Artificial Intelligence and Pattern Recognition
• Multi-Agent Systems and Agreement Technologies
• Design, User Experience, and Usability: Theory and Practice
• Shape in Medical Imaging
• Web Engineering
• Distributed Applications and Interoperable Systems
• Design, User Experience, and Usability: Users, Contexts and Case Studies
• Parallel Problem Solving from Nature – PPSN XV
• Databases Theory and Applications
• Intelligent Tutoring Systems
• Web and Wireless Geographical Information Systems
• Computer Information Systems and Industrial Management
• Medical Imaging Systems
• Machine Learning for Dynamic Software Analysis: Potentials and Limits
• Privacy in Statistical Databases
• Smart Card Research and Advanced Applications
• Web Information Systems and Applications
• Advances in Artificial Intelligence - IBERAMIA 2018
• Graphical Models for Security
• Bioinformatics and Biomedical Engineering
• Semantic Keyword-Based Search on Structured Data Sources
• Artificial Intelligence and Soft Computing
• Mathematical Software – ICMS 2018
• Graph-Theoretic Concepts in Computer Science
• Software Analysis, Testing, and Evolution
• Current Trends in Web Engineering
• Security, Privacy, and Anonymity in Computation, Communication, and Storage
• Arithmetic of Finite Fields
• Lectures on Runtime Verification
• Communication Technologies for Vehicles
• Text, Speech, and Dialogue
• Distributed Computing and Internet Technology
• Applied Cryptography and Network Security
• Computational Linguistics and Intelligent Text Processing
• Semantic Technology
• Transactions on Computational Science XXXI
• Blockchain – ICBC 2018
• Graph Transformation, Specifications, and Nets
• Advances in Knowledge Discovery and Data Mining
• Abstract State Machines, Alloy, B, TLA, VDM, and Z
• Web Services – ICWS 2018
• Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation
• Parallel Processing and Applied Mathematics
• Interactive Storytelling
• Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment
• Maturity and Innovation in Digital Libraries
• Computer Aided Verification
• Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
• Network and Parallel Computing
• Edge Computing – EDGE 2018
• Human Language Technology. Challenges for Computer Science and Linguistics
• Static Analysis
• Advances in Conceptual Modeling
• Cognitive Computing – ICCC 2018
• Towards Autonomous Robotic Systems
• Computers Helping People with Special Needs
• Research in Computational Molecular Biology
• Studies on Speech Production
• Artificial Intelligence and Mobile Services – AIMS 2018
• Logic, Language, Information, and Computation
• Implementation and Application of Automata
• Computer Vision and Graphics
• Services Computing – SCC 2018
• Principles of Modeling
• Ad-hoc, Mobile, and Wireless Networks
• Coalgebraic Methods in Computer Science
• Applied Reconfigurable Computing. Architectures, Tools, and Applications
• Rough Sets
• Euro-Par 2018: Parallel Processing
• Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation
• Engineering Psychology and Cognitive Ergonomics
• Patch-Based Techniques in Medical Imaging
• Modeling Decisions for Artificial Intelligence
• LATIN 2018: Theoretical Informatics
• Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry
• Social Computing and Social Media. Technologies and Analytics
• On the Move to Meaningful Internet Systems. OTM 2018 Conferences
• Mobile Web and Intelligent Information Systems
• Algorithms for Computational Biology
• Descriptional Complexity of Formal Systems
• Social Computing and Social Media. User Experience and Behavior
• Discovery Science
• Accelerator Programming Using Directives
• Modelling and Simulation for Autonomous Systems
• Electronic Participation
• Theory and Practice of Natural Computing
• Information Security and Privacy
• Principles and Practice of Constraint Programming
• PRIMA 2018: Principles and Practice of Multi-Agent Systems
• Recent Trends and Future Technology in Applied Intelligence
• Advanced Information Systems Engineering
• Digital Cultural Heritage
• Swarm Intelligence
• Computational Data and Social Networks
• Human-Computer Interaction. Theories, Methods, and Human Issues
• Health Information Science
• Multi-disciplinary Trends in Artificial Intelligence
• Machine Learning in Medical Imaging
• DNA Computing and Molecular Programming
• Human-Computer Interaction. Interaction in Context
• Advances in Multimedia Information Processing – PCM 2017
• Simulation and Synthesis in Medical Imaging
• Information Security and Cryptology
• Information Security Practice and Experience
• Human-Computer Interaction. Interaction Technologies
• AI*IA 2018 – Advances in Artificial Intelligence
• Science of Cyber Security
• Human Interface and the Management of Information. Interaction, Visualization, and Analytics
• Smart Computing and Communication
• New Frontiers in Artificial Intelligence
• Entertainment Computing – ICEC 2018
• Symposium on Real-Time and Hybrid Systems
• Human Interface and the Management of Information. Information in Applications and Services
• Smart Blockchain
• Innovative Technologies and Learning
• Transforming Digital Worlds
• Job Scheduling Strategies for Parallel Processing
• Software Engineering and Formal Methods
• Computer Performance Engineering
• Intelligent Computing Theories and Application
• Graph-Based Representation and Reasoning
• Reversible Computation
• Topics in Cryptology – CT-RSA 2018
• Haptics: Science, Technology, and Applications
• Service-Oriented Computing
• Practical Aspects of Declarative Languages
• Secure IT Systems
• Algorithms and Architectures for Parallel Processing
• Theory and Applications of Formal Argumentation
• Selected Areas in Cryptography – SAC 2017
• Cross-Cultural Design. Methods, Tools, and Users
• Enjoying Natural Computing
• Machine Learning, Optimization, and Big Data
• Collaboration and Technology
• Verification, Model Checking, and Abstract Interpretation
• Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development
• Intelligent Information and Database Systems
• Data Privacy Management, Cryptocurrencies and Blockchain Technology
• Provenance and Annotation of Data and Processes
• Graph Transformation
• Advances in Data Mining. Applications and Theoretical Aspects
• Semantics, Analytics, Visualization
• Theory and Practice of Model Transformation
• Machine Learning and Data Mining in Pattern Recognition
• Connectomics in NeuroImaging
• PRedictive Intelligence in MEdicine
• Image and Video Technology
• Model and Data Engineering
• Intersections in Simulation and Gaming
• Data Mining and Big Data
• Advances in Bioinformatics and Computational Biology
• Information Retrieval
• Algorithmic Aspects in Information and Management
• Advances in Swarm Intelligence
• Internet of Vehicles. Technologies and Services Towards Smart City
• Intelligent Robotics and Applications
• Programming Languages and Systems
• Advances in Multimedia Information Processing – PCM 2018
• Information Systems Security
• Formal Methods for Industrial Critical Systems
• Bioinformatics Research and Applications
• Designing for a Digital and Globalized World
• Logic-Based Program Synthesis and Transformation
• Intelligent Human Computer Interaction
• Mobility Analytics for Spatio-Temporal and Social Data
• Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures
• Articulated Motion and Deformable Objects
• Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management
• Big Data Analytics
• Advanced Data Mining and Applications
• Advances in Information and Computer Security
• Rewriting Logic and Its Applications
• Virtual Reality and Augmented Reality
• Music Technology with Swing
• Testing Software and Systems
• Integrated Formal Methods
• Integration of Constraint Programming, Artificial Intelligence, and Operations Research
• Latent Variable Analysis and Signal Separation
• Research in Attacks, Intrusions, and Defenses
• Automated Reasoning
• Ambient Intelligence
• Algorithmic Game Theory
• Natural Language Processing and Information Systems
• Biomedical Image Registration
• Speech and Computer
• Cooperative Design, Visualization, and Engineering
• Diagrammatic Representation and Inference
• Data Analytics for Renewable Energy Integration. Technologies, Systems and Society
• Interactive Collaborative Robotics
• Big Data Analytics and Knowledge Discovery
• Medical Image Computing and Computer Assisted Intervention – MICCAI 2018
• Pattern Recognition
• WALCOM: Algorithms and Computation
• Internet of Things – ICIOT 2018
• Integrated Uncertainty in Knowledge Modelling and Decision Making
• Cyber Security Cryptography and Machine Learning
• Cloud Computing – CLOUD 2018
• Advances in Digital Cultural Heritage
• Declarative Programming and Knowledge Management
• Multi-Agent Based Simulation XVIII
• Queueing Theory and Network Applications
• Neural Information Processing
• Formal Techniques for Distributed Objects, Components, and Systems
• Symbiotic Interaction
• Intelligence Science and Big Data Engineering
• Evolutionary Computation in Combinatorial Optimization
• Internet and Distributed Computing Systems
• Computer Vision – ECCV 2018
• Computational Methods and Clinical Applications in Musculoskeletal Imaging
• Knowledge Management and Acquisition for Intelligent Systems
• Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi
• Artificial Neural Networks and Machine Learning – ICANN 2018
• Case-Based Reasoning Research and Development
• Dynamic Logic. New Trends and Applications
• High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
• Cellular Automata and Discrete Complex Systems
• Relational and Algebraic Methods in Computer Science
• Runtime Verification
• Evolving OpenMP for Evolving Architectures
• Computational Logistics
• Functional and Logic Programming
• SOFSEM 2018: Theory and Practice of Computer Science
• Information Security
• Reasoning Web. Learning, Uncertainty, Streaming, and Scalability
• Digital Libraries for Open Knowledge
• OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
• Performance Evaluation and Benchmarking for the Analytics Era
• Transactions on Computational Collective Intelligence XXVIII
• Formal Grammar 2018
• Formal Methods and Software Engineering
• Risks and Security of Internet and Systems
• Formal Grammar
• Coordination Models and Languages
• Foundations and Practice of Security
• Progress in Cryptology – AFRICACRYPT 2018
• Artificial Intelligence XXXV
• From Animals to Animats 15
• Decision and Game Theory for Security
• Formal Methods: Foundations and Applications
• Security Protocols XXVI
• Advances in Computer Entertainment Technology
• Application and Theory of Petri Nets and Concurrency
• OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis
• Blended Learning. Enhancing Learning Success
• Knowledge Engineering and Knowledge Management
• Artificial Intelligence: Methodology, Systems, and Applications
• Image Analysis for Moving Organ, Breast, and Thoracic Images
• Big Data – BigData 2018
• Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
• Advances in Databases and Information Systems
• Emerging Technologies for Authorization and Authentication
• Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis
• Cellular Automata
• Internet of Things, Smart Spaces, and Next Generation Networks and Systems
• Engineering Multi-Agent Systems
• Algorithms and Discrete Applied Mathematics
• Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support
• Future Data and Security Engineering
• Structured Object-Oriented Formal Language and Method
• Measurement, Modelling and Evaluation of Computing Systems
• Augmented Reality, Virtual Reality, and Computer Graphics
• Computational Pathology and Ophthalmic Medical Image Analysis
• Artificial Evolution
• Combinatorial Optimization
• Adventures Between Lower Bounds and Higher Altitudes
• Understanding and Interpreting Machine Learning in Medical Image Computing Applications
• Global Thoughts, Local Designs
• Spatial Cognition XI
• Wireless Algorithms, Systems, and Applications
• Applications of Evolutionary Computation
• Analysis of Images, Social Networks and Texts
• Lifelong Technology-Enhanced Learning
• Combinatorial Optimization and Applications
• Combinatorial Algorithms
• Formal Modeling and Analysis of Timed Systems
• Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation
• Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
• Transactions on Computational Science XXXII
• Reliable Software Technologies – Ada-Europe 2018
• Advances in Visual Computing
• Privacy Technologies and Policy
• Computer Aided Systems Theory – EUROCAST 2017
• Transactions on Petri Nets and Other Models of Concurrency XIII
• Model Checking Software
• Genetic Programming
• Transactions on Edutainment XIV
• Bidirectional Transformations
• Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis
• Advanced Concepts for Intelligent Vision Systems
• Pattern Recognition Applications and Methods
• AI 2018: Advances in Artificial Intelligence
• Formal Aspects of Component Software
• Euro-Par 2017: Parallel Processing Workshops
• Advances in Web-Based Learning – ICWL 2018
• Algorithms and Models for the Web Graph
• Stabilization, Safety, and Security of Distributed Systems
• Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities
• Database and Expert Systems Applications
• Computational Intelligence in Music, Sound, Art and Design
• Security, Privacy, and Applied Cryptography Engineering
• Search-Based Software Engineering
• Computational Science and Its Applications – ICCSA 2018
• Passive and Active Measurement
• Dependable Software Engineering. Theories, Tools, and Applications
• Programming with Actors
• Web Information Systems Engineering – WISE 2018
• NASA Formal Methods
• Engineering Trustworthy Software Systems
• Verified Software. Theories, Tools, and Experiments
• Advances in Intelligent Data Analysis XVII
• Comparative Genomics
• Reachability Problems
• Emerging Technologies for Education
• Scalable Uncertainty Management
• Advances in Cryptology – CRYPTO 2018
• Frontiers in Algorithmics
• AI Approaches to the Complexity of Legal Systems
• Image Analysis and Recognition
• Post-Quantum Cryptography
• Experimental IR Meets Multilinguality, Multimodality, and Interaction
• Ubiquitous Networking
• Mining Intelligence and Knowledge Exploration

Frequency

Irregular

Notes

• Beginning with no. 345, issues devoted to artificial intelligence have special cover with title: Lecture notes in artificial intelligence.
• Refereed/Peer-reviewed

Source of description

• Description based on: 3, published in 1973.
• Latest issue consulted: 578, published in 1992.

Other title(s)

Lecture notes in computer science

ISSN

1611-3349

Coden designation

LNCSD9

Statement on language in description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...