#
Theoretische Informatik
Resource Information
The concept ** Theoretische Informatik** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Theoretische Informatik
Resource Information

The concept

**Theoretische Informatik**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Theoretische Informatik

- Source
- swd

## Context

Context of Theoretische Informatik#### Subject of

- Algorithms and theory of computation handbook
- Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings
- Beauty is our business : a birthday salute to Edsger W. Dijkstra
- Boolean functions and computation models
- Categorical combinators, sequential algorithms, and functional programming
- Category theory and computer science : 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
- Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
- Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
- Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
- Computing and combinatorics : 14th annual international conference, COCOON 2008, Dalian, China, June 27-29, 2008 : proceedings
- Computing and combinatorics : 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
- Computing and combinatorics : 5th annual international conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings
- Computing and combinatorics : 6th annual international conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings
- Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings
- Decision procedures : an algorithmic point of view
- Developments in language theory : 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 ; proceedings
- Elements of the theory of computation
- FSTTCS 2005 : foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings
- Fete of combinatorics and computer science
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Formal and natural computing : essays dedicated to Grzegorz Rozenberg
- Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
- Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
- Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
- Gems of theoretical computer science
- Graph-theoretic concepts in computer science : 31st international workshop, WG 2005, Metz, France, June 23-25, 2005 : revised selected papers
- Great ideas in computer science : a gentle introduction
- How to think about algorithms
- Implementation and application of automata : 13th international conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedings
- Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers
- Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers
- Informatics, a propaedeutic view
- Introduction to algorithms
- Introduction to computer theory
- Introduction to the theory of complexity
- LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002 : proceedings
- Language equations
- Mathematical foundations of computer science
- Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29- September 2, 2005 : proceedings
- Mathematical methods in computer science : essays in memory of Thomas Beth
- Mathematics and computer science : algorithms, trees, combinatorics, and probabilities
- Mechanical intelligence
- Models of computation and formal languages
- People & ideas in theoretical computer science
- Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
- Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
- Proof, language, and interaction : essays in honour of Robin Milner
- Pure mathematics
- SOFSEM 2009 : theory and practice of computer science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 : proceedings
- Stable networks and product graphs
- The complexity theory companion
- Theoretical aspects of computer science : advanced lectures
- Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings
- Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
- Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings
- Theoretical studies in computer science
- Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings
- Unconventional computation : 7th international conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings
- Unconventional models on computation : third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/dXdGEt0_lx0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/dXdGEt0_lx0/">Theoretische Informatik</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Theoretische Informatik

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/dXdGEt0_lx0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/dXdGEt0_lx0/">Theoretische Informatik</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`