Skip to main content

岐阜大学図書館蔵書検索(OPAC)

  • 図書館ホームページ
  • 新着図書
  • 新着雑誌
  • 貸出Best10
  • My Library ログイン
  • 電子ジャーナル検索   利用上の注意
  • 館内Map
  • ヘルプ
  • European Association for Theoretical Computer Science (22)
  • International Colloquium on Automata, Languages and Programming (17)
  • IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (3)
  • ACM Special Interest Group for Automata and Computability Theory (2)
  • Monien, Burkhard (2)
  • Symposium on Logic in Computer Science (2)
  • Abiteboul, S. (Serge) (1)
  • Association for Symbolic Logic (1)
  • Association of Symbolic Logic (1)
  • Ausiello, Giorgio, 1941- (1)
  • Bakker, Jacobus Willem de, 1939- (1)
  • Brauer, Wilfried, 1937- (1)
  • Böhm, Corrado, 1923- (1)
  • Carlsson, Svante (1)
  • Díaz, Josep, 1950- (1)
  • Ehrig, Hartmut (1)
  • Emde Boas, Peter van (1)
  • Ethnikon Metsovion Polytechneion (Greece) (1)
  • Even, Shimon, 1935- (1)
  • Fields Institute for Research in Mathematical Sciences (1)
  • Fülöp, Zoltán (1)
  • Gesellschaft für Informatik (1)
  • Gécseg, Ferenc, 1939- (1)
  • IEEE Conference on Computational Complexity (1)
  • Institut national de recherche en informatique et en automatique (France) (1)
  • International Federation for Information Processing (1)
  • International Symposium on the Semantics of Data Types (1)
  • Kahn, G. (1)
  • Kariv, Oded, 1944- (1)
  • Karlsson, R. (Rolf), 1950- (1)
  • Kott, Laurent (1)
  • Kuich, Werner, 1941- (1)
  • Le Centre de Recherches Mathématiques (1)
  • Leach Albert, Javier (1)
  • Leeuwen, Jan van (1)
  • Lingas, Andrzej (1)
  • Loeckx, Jacques, 1931- (1)
  • MacQueen, D. B. (David B.), 1946- (1)
  • Maurer, Hermann A., 1941- (1)
  • Meyer auf der Heide, F. (Friedhelm), 1954- (1)
  • Nagl, Manfred, 1944- (1)
  • Nielsen, M. (Mogens), 1949- (1)
  • Paterson, Michael S., 1942- (1)
  • Plotkin, G. (Gordon), 1946- (1)
  • Rodriguez-Artalejo, M. (1)
  • Rozenberg, Grzegorz (1)
  • Salomaa, Arto, 1934- (1)
  • Shamir, Eli (1)
  • Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery (1)
  • Steinby, Magnus (1)
  • University of Ottawa (1)
  • Universität Hamburg (1)
  • Warsaw University (1)
  • Wiedermann, J. (Juraj) (1)