Search Results

1

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

2

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

3

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

4

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

5

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

6

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

7

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

Subjects: “...[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]...”
Get access
Get access
Get access
Get access

Conference Object

8

Early Curricula in Computer Science at the University of Iceland

by Benediktsson, Oddur
Published 2005

Get access
Get access

Book Part

9

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)

Subjects: “...Computer Science - Software Engineering...”
Get access
Get access

Text

10

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Subjects: “...Computer Science - Logic in Computer Science...”
Get access
Get access

Text

11

Advances in Computational Biology: A Real Boost or a Wishful Thinking

by Diamant, Emanuel
Published 2015

Subjects: “...Computer Science - Other Computer Science...”
Get access

Text

12

From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus

by van Bakel, Steffen, Cardelli, Luca, Vigliotti, Maria Grazia
Published 2011

Subjects: “...Computer Science - Logic in Computer Science...”
Get access

Text

13

Proceedings Fourth Interaction and Concurrency Experience

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

Subjects: “...Computer Science - Logic in Computer Science...”
Get access
Get access

Text

14

Monitoring Assumptions in Assume-Guarantee Contracts

by Sokolsky, Oleg, Zhang, Teng, Lee, Insup, McDougall, Michael
Published 2016

Subjects: “...Computer Sciences...”
Get access
Get access

Conference Object

15

Rate-Distortion-Perception Theory for Semantic Communication

by Chai, Jingxuan, Xiao, Yong, Shi, Guangming, Saad, Walid
Published 2023

Subjects: “...Computer Science - Information Theory...”
Get access

Text

16

Lean and Full Congruence Formats for Recursion

by van Glabbeek, Rob
Published 2017

Subjects: “...Computer Science - Logic in Computer Science...”
Get access

Text

17

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

18

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

19

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

20

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]...”
Get access
Get access

Conference Object

Narrow Search