東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Real-time data processing Congresses)
該当件数:16件
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 331)
図書
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 600)
Active, real-time, and temporal database systems : second international workshop, ARTDB-97, Como, Italy, September 8-9, 1997 : proceedings / Sten F. Andler, Jörgen Hansson (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1553)
Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1201)
Data acquisition in high-energy physics = Acquisizione di dati nella fisica della alte energie : Varenna on Lake Como, Villa Monastero, 28th July-7th August 1981 / edited by G. Bologna and M. L. Vincelli
Amsterdam : North-Holland Pub. Co. , 1983. - New York, N.Y. : Società italiana di fisica. - Bologna. - (Proceedings of the International School of Physics "Enrico Fermi" = Rendiconti della Scuola internazionale de fisica "Enrico Fermi" ; course 84)
Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm, Ernst-Rüdiger Olderog (eds.)
Berlin : Springer , c2002. - Tokyo. - (Lecture notes in computer science ; 2469)
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)
Berlin : Springer , c2000. - Tokyo. - (Lecture notes in computer science ; 1926)
Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings / Anders P. Ravn, Hans Rischel (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1486)
Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1135)
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings / J. Vytopil (ed.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 571)
Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, ; J. Vytopil, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 863)
Transformation-based reactive systems development = proceedings : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 / Miquel Bertran, Teodor Rus, (eds.)
New York : Springer , c1997. - (Lecture notes in computer science ; 1231)
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)
Berlin : Springer , c1999. - Tokyo. - (Lecture notes in computer science ; 1601)
Real time control of large scale systems : proceedings of the first European workshop, University of Patras, Greece, July 9-12, 1984 / edited by G. Schmidt ... [et al.]
Berlin : Springer-Verlag , c1985. - New York. - (Lecture notes in control and information sciences ; 67)