Text ( visual ) : unmediated
CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.). -- : gw ; : us. -- Berlin ; New York : Springer-Verlag , c1990. -- vii, 536 p. : ill. ; 25 cm. -- (Lecture notes in computer science ; 458). -- "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started on September 1, 1989 ... The conference CONCUR '90, hosted by CWI with the help of the University of Amsterdam, marks the end of the first year of CONCUR"--Pref ; Includes index. -- ISBN 3540530487 ; 0387530487 ; (BA10756798) ; https://ci.nii.ac.jp/ncid/BA10756798
Author Heading(s): Baeten, J. C. M. ; Klop, J. W. (Jan Willem) ; Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) ; Universiteit van Amsterdam ; European Strategic Programme of Research and Development in Information Technology. -- Classification(s): LCC : QA267 ; DC20 : 511.3. -- Subject Heading(s): LCSH : Machine theory -- Congresses ; LCSH : Parallel processing (Electronic computers) -- Congresses
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://ci.nii.ac.jp:443/ncid/BA10756798.txt">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BA10756798.txt" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>