Showing 181 - 200 results of 209 for search '"Theoretical computer science"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "Theoretical computer science"

Search Results

Showing 181 - 200 results of 209 for search '"Theoretical computer science"', query time: 0.30s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 181
181

Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems

by Kovacs, Laura, Pugliese, Rosario, Tiezzi, Francesco
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Text
Select result number 182
182

Proceedings Fourth Interaction and Concurrency Experience

by Silva, Alexandra, Bliudze, Simon, Bruni, Roberto, Carbone, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Text
Select result number 183
183

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems

by Kargahi, Mehdi, Trivedi, Ashutosh
Published in Electronic Proceedings in Theoretical Computer Science (2016)

Get access
Get access

Text
Select result number 184
184

Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems

by Kovacs, Laura, Pugliese, Rosario, Tiezzi, Francesco
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Text
Select result number 185
185

Aktivní učení pro klasifikaci obrázků

by Lorenzová, Kateřina
Published 2017
“... of Theoretical Computer Science and Mathematical Logic Katedra teoretické informatiky a matematické logiky...”

Get access

Bachelor Thesis
Select result number 186
186

Multi-level Contextual Type Theory

by Boespflug, Mathieu, Pientka, Brigitte
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Text
Select result number 187
187

Configuring Cloud-Service Interfaces Using Flow Inheritance

by Zaichenkov, Pavel, Tveretina, Olga, Shafarenko, Alex
Published in Electronic Proceedings in Theoretical Computer Science (2016)

Get access
Select result number 188
188

Aktivní učení pro klasifikaci obrázků

by Lorenzová, Kateřina
Published 2017
“... of Theoretical Computer Science and Mathematical Logic Katedra teoretické informatiky a matematické logiky...”

Get access

Bachelor Thesis
Select result number 189
189

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 190
190

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 191
191

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 192
192

Innocent strategies as presheaves and interactive equivalences for CCS

by Hirschowitz, Tom, Pous, Damien
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Get access
Get access

Conference Object
Select result number 193
193

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin
Published in Electronic Proceedings in Theoretical Computer Science (2016)

Get access
Get access
Get access
Get access

Conference Object
Select result number 194
194

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin
Published in Electronic Proceedings in Theoretical Computer Science (2016)

Get access
Get access
Get access
Get access

Conference Object
Select result number 195
195

Closed paths whose steps are roots of unity

by Labelle, Gilbert, Lacasse, Annie
Published 2011

Get access
Get access
Get access

Conference Object
Select result number 196
196

Process Algebra with Layers: A Language for Multi-Scale Integration Modelling

by Scott, Erin Gemma
Published in Electronic Notes in Theoretical Computer Science (2016)

Get access
Get access

Doctoral or Postdoctoral Thesis
Select result number 197
197

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Holthusen, Sönke, Quinton, Sophie, Schaefer, Ina, Schlatow, Johannes, Wegner, Martin
Published in Electronic Proceedings in Theoretical Computer Science (2016)

Get access
Get access
Get access
Get access

Conference Object
Select result number 198
198

Measurements and confluence in quantum lambda calculi with explicit qubits

by Díaz-Caro, Alejandro, Arrighi, Pablo, Gadella, Manuel, Grattage, Jonathan
Published in Electronic Notes in Theoretical Computer Science (2008)

Get access
Get access

Conference Object
Select result number 199
199

Measurements and confluence in quantum lambda calculi with explicit qubits

by Díaz-Caro, Alejandro, Arrighi, Pablo, Gadella, Manuel, Grattage, Jonathan
Published in Electronic Notes in Theoretical Computer Science (2008)

Get access
Get access

Conference Object
Select result number 200
200

Measurements and confluence in quantum lambda calculi with explicit qubits

by Díaz-Caro, Alejandro, Arrighi, Pablo, Gadella, Manuel, Grattage, Jonathan
Published in Electronic Notes in Theoretical Computer Science (2008)

Get access
Get access

Conference Object