Welcome to Central Library, SUST

Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by José L. Ayala, Delong Shang, Alex Yakovlev. by
  • Ayala, José L [editor.]
  • Shang, Delong [editor.]
  • Yakovlev, Alex [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7606
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

2.
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by
  • Glück, Robert [editor.]
  • Yokoyama, Tetsuo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7581
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

3.
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
  • Dueck, Gerhard W [editor.]
  • Miller, D. Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

4.
Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, J�er�ome Lang, Shier Ju (eds.). by
  • LORI (Workshop) (3rd : 2011 : Guangzhou, China)
  • Ditmarsch, Hans van, 1959- [editor of compilation.]
  • Lang, J�er�ome [editor of compilation.]
  • Ju, Shier [editor of compilation.]
Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 6953 | LNCS sublibrary. SL 7, Artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Verlag Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ...

Pages