Jump to main content

yr 〜
yr

Search results 3

Reversible Computation: Extending Horizons of Computing

Reversible Computation: Extending Horizons of Computing
Digital電子書籍・電子雑誌図書
2020
Available onlineNational Diet Library

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)
Paper図書
Springer[2015]<M17-15-1615>
National Diet Library
  • Author HeadingFACS (Symposium) (11th : 2014 : Bertinoro, Italy) Lanese, Ivan. Madelaine, Eric.

Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014 : Rome, Italy, September 1-3, 2014 : proceedings : TCS-2014 : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8705)

Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014 : Rome, Italy, September 1-3, 2014 : proceedings : TCS-2014 : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8705)
Paper図書
Springer[2014]<M17-15-1486>
National Diet Library
  • Author Heading...(Josep), 1950- Lanese, Ivan. Sangiorgi, Davide.

Reached to the end of result.

RSS