Search Results - Lecture Notes in Computer Science. Theoretical Computer Science and General issues

Quantum interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) ; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Authors: Song, Dawei Melucci, Massimo Frommholz, Ingo et al.

Subject Terms: cognitive science, contextual focus, distributional semantics, neural networks, semantic space

Relation: http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-24970-9; Song, D., Melucci, M., Frommholz, I., Zhang, P., Wang, L., Arafat, S. (Eds.) (2011) 'Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, Revised Selected Papers' Springer Berlin Heidelberg, 2011; http://hdl.handle.net/10547/275680

Availability: http://hdl.handle.net/10547/275680

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Authors: Armin Biere David Parker

Resource Type: eBook.

Subjects: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

A Theory of History Dependent Abstractions for Learning Interface Automata.

Authors: Aarts, Fides

Subjects: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://doi.org/10.1007/978-3-642-32940-1_18
http://hdl.handle.net/2066/103288

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings.

Authors: Eekelen, M.C.J.D. van

Subjects: Lecture Notes in Computer Science. Theoretical Computer Science and General Issues., Data Science., Digital Security., Software Science.

Index Terms: Book (monograph)

URL: http://hdl.handle.net/2066/91946
https://doi.org/10.1007/978-3-642-22863-6

Preface.

Authors: Geuvers, H.

Subjects: Lecture Notes in Computer Science. Theoretical Computer Science and General issues., Data Science., Digital Security., Software Science.

Index Terms: Part of book or chapter of book.

URL: http://hdl.handle.net/2066/92217
https://repository.ubn.ru.nl//bitstream/handle/2066/92217/92217.pdf

Comparison of Required Competences and Task Material in Modeling Education.

Authors: Soyka, Chantal Ullrich, Meike Striewe, Michael et al.

Source: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.

Subjects: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes

Reversible Computation: Extending Horizons of Computing

Authors: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz et al.

Resource Type: eBook.

Subjects: Reversible computing

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Authors: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Subjects: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Algorithms for Big Data : DFG Priority Program 1736

Authors: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

Subjects: Computer algorithms, Big data

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education : 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings

Authors: Jean-Philippe Pellet Gabriel Parriaux

Resource Type: eBook.

Subjects: Information technology--Study and teaching (Elementary)--Congresses, Computer science--Study and teaching (Secondary)--Congresses, Computer science--Study and teaching (Elementary)--Congresses, Information technology--Study and teaching (Secondary)--Congresses, Computer-assisted instruction--Congresses

Categories: EDUCATION / Computers & Technology, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, EDUCATION / General

Intelligent Human Computer Interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings

Authors: Patrick Horain Catherine Achard Malik Mallem

Resource Type: eBook.

Subjects: User interfaces (Computer systems), Artificial intelligence, Database management, Computer science, Computers, Special purpose

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

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

Authors: Lujo Bauer Ralf Küsters

Resource Type: eBook.

Subjects: Computer security, Data structures (Computer science), Computer science, Computer system failures, Computers

Categories: COMPUTERS / Security / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Subjects: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General

Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings

Authors: Georg Rehm Thierry Declerck

Resource Type: eBook.

Subjects: Text processing (Computer science), Computational linguistics, Electronic data processing, Computer science, Data mining, Artificial intelligence, Word processing, Word processing operations

Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General

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

Authors: Alessandra Russo Andy Schürr

Resource Type: eBook.

Subjects: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

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

Authors: Amal Ahmed

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Authors: Bernhard Steffen

Resource Type: eBook.

Subjects: Machine learning, Artificial intelligence--Moral and ethical aspects, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General