Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. (2017)
- Record Type:
- Book
- Title:
- Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. (2017)
- Main Title:
- Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
- Other Titles:
- TAMC 2017
- Further Information:
- Note: T.V. Gopal, Gerhard Jäger, Silvia Steila (eds.).
- Editors:
- Gopal, T. V
Dr, Jäger, Gerhard
Steila, Silvia - Other Names:
- TAMC (Conference), 14th
- Contents:
- Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation and systems theory.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource (xxvi, 698 pages), illustrations
- Subjects:
- 004.01/51
Computer science
Computer science -- Mathematics -- Congresses
Computational complexity -- Congresses
Turing machines -- Congresses
Computational complexity
Computer science -- Mathematics
Turing machines
Computer Science
Mathematical Logic and Formal Languages
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Data Structures, Cryptology and Information Theory
Artificial Intelligence (incl. Robotics)
Computers -- Data Processing
Computers -- Programming -- Algorithms
Computers -- Programming -- General
Computers -- Information Theory
Computers -- Intelligence (AI) & Semantics
Mathematical theory of computation
Algorithms & data structures
Computer programming / software development
Artificial intelligence
Computer software
Logic design
Data structures (Computer science)
Artificial intelligence
Mathematics -- Logic
Electronic books
Conference papers and proceedings
Electronic books - Languages:
- English
- ISBNs:
- 9783319559117
3319559117
3319559109
9783319559100 - Related ISBNs:
- 9783319559100
- Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed April 19, 2017). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.357681
- Ingest File:
- 01_319.xml