年 〜
年

検索結果 11 件

Foundations of software science and computational structures : 15th international conference, FOSSACS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7213. Advanced Research in Computing and Software Science)

Foundations of software science and computational structures : 15th international conference, FOSSACS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7213. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-76>
国立国会図書館
  • 著者標目...irkedal, Lars. Tallinna Tehnikaulikool. Institute of Cybernetics. ETAPS 2012 (2012 : Tallinn, E...

Compiler construction : 21st international conference, CC 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7210. Advanced Research in Computing and Software Science)

Compiler construction : 21st international conference, CC 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7210. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-73>
国立国会図書館
  • 著者標目..., M. (Michael) Tallinna Tehnikaulikool. Institute of Cybernetics. ETAPS 2012 (2012 : Tallinn, E...

Principles of security and trust : first international conference, POST 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7215. Advanced Research in Computing and Software Science)

Principles of security and trust : first international conference, POST 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7215. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-78>
国立国会図書館
  • 著者標目...man, Joshua D. Tallinna Tehnikaulikool. Institute of Cybernetics. ETAPS 2012 (2012 : Tallinn, E...

Fundamental approaches to software engineering : 15th international conference, FASE 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : annual European joint conference on theory and practice of software : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7212. Advanced Research in Computing and Software Science)

Fundamental approaches to software engineering : 15th international conference, FASE 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : annual European joint conference on theory and practice of software : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7212. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-75>
国立国会図書館
  • 著者標目...isman, Andrea. Tallinna Tehnikaulikool. Institute of Cybernetics. ETAPS 2012 (2012 : Tallinn, E...

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-77>
国立国会図書館
  • 著者標目...ara, Prof. Dr. Tallinna Tehnikaulikool. Institute of Cybernetics. ETAPS 2012 (2012 : Tallinn, E...

Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)

Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-74>
国立国会図書館
  • 著者標目... Helmut, Prof. Tallinna Tehnikaulikool. Institute of Cybernetics. ETAPS 2012 (2012 : Tallinn, E...

Databases and information systems 5 : selected papers from the eighth international Baltic conference, DB&IS 2008. : Jun 2008, Tallinn, Estonia. (Frontiers in Artificial Intelligence and Applications ; 187)

Databases and information systems 5 : selected papers from the eighth international Baltic conference, DB&IS 2008. : Jun 2008, Tallinn, Estonia. (Frontiers in Artificial Intelligence and Applications ; 187)
紙図書
IOS Pressc2009.<M17-09-1178>
国立国会図書館
  • 著者標目Tallinna Tehnikaulikool. Institute of Cybernetics. Haav, Hele-Mai. Kalja, Ahto. ...

Formal techniques for networked and distributed systems -- FORTE 2007 : 27th IFIP WG 6.1 international conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4574)

Formal techniques for networked and distributed systems -- FORTE 2007 : 27th IFIP WG 6.1 international conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4574)
紙図書
Springerc2007.<M17-07-2932>
国立国会図書館
  • 著者標目...3- Vain, Jüri. Tallinna Tehnikaulikool. Institute of Cybernetics. FORTE 2007 (2007 : Tallinn, E...

Mathematics of program construction : 8th international conference, MPC 2006 : Kuressaare, Estonia, July 3-5, 2006 : proceedings. : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4014)

Mathematics of program construction : 8th international conference, MPC 2006 : Kuressaare, Estonia, July 3-5, 2006 : proceedings. : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4014)
紙図書
Springerc2006.<M17-06-2269>
国立国会図書館
  • 著者標目Tallinna Tehnikaulikool. Institute of Cybernetics. Uustalu, Tarmo. MPC 2006 (200...

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)
紙図書
Springerc2006.<M17-06-3036>
国立国会図書館
  • 著者標目Tallinna Tehnikaulikool. Institute of Cybernetics. Johnson, Michael. Vene, Varmo...

Advances in databases and information systems : 9th East European conference, ADBIS 2005 : Tallinn, Estonia, September 12-15, 2005 : proceedings. : Sep 2005, Tallinn, Estonia. (Lecture Notes in Computer Science ; 3631)

Advances in databases and information systems : 9th East European conference, ADBIS 2005 : Tallinn, Estonia, September 12-15, 2005 : proceedings. : Sep 2005, Tallinn, Estonia. (Lecture Notes in Computer Science ; 3631)
紙図書
Springerc2005.<M17-06-360>
国立国会図書館
  • 著者標目Tallinna Tehnikaulikool. Institute of Cybernetics. Eder, J. (Johann) , 1958- ADB...

検索結果は以上です。