|
|
International Workshop on Artificial Neural Networks (1995 : Torremolinos, Spain) : 資訊所圖書室;
|
|
|
From natural to artifical neural computation International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings / Jose Mira, Francisco Sandoval, eds
|
|
1995
|
|
International Workshop on Asian Museums and Museology (2014 : Thailand) : 民族所圖書館;
|
|
|
Asian museums and museology 2014 : International Workshop on Asian Museums and Museology in Thailand / edited by Naoko Sonoda, Kyonosuke Hirai, Jarunee Incherdchai
在架上
|
|
2015
|
|
International Workshop on Assurance Cases for Software-Intensive Systems. (4th : 2017 : Trento, Italy) : 中央研究院;
|
|
|
Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
|
|
2017
|
|
International Workshop on Assurance Cases for Software-Intensive Systems (6th : 2018 : Vasteras, Sweden) : 中央研究院;
|
|
|
Computer safety, reliability, and security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
|
|
2018
|
|
International Workshop on Atherosclerosis: Prevention and Noninvasive Therapy (1989 : Key West, Fla.) : 生命科學圖書館;
|
|
|
Prevention and noninvasive therapy of atherosclerosis / editors, Alexander Leaf, Peter C. Weber
在架上
|
|
c1990
|
|
International Workshop on Atmospheric Water Vapor (1979 : Vail, Colo.) : 物理所圖書室;
|
|
|
Atmospheric water vapor / edited by Adarsh Deepak, Thomas D. Wilkerson, Lothar H. Ruhnke
在架上
|
|
1980
|
|
International Workshop on Atomic Wires (2016 : Krakow, Poland) : 中央研究院;
|
|
|
On-surface atomic wires and logic gates updated in 2016 Proceedings of the International Workshop on Atomic Wires, Krakow, September 2014 / edited by Marek Kolmer, Christian Joachim
|
|
2017
|
|
International Workshop on Attention and Performance in Computational Vision (2nd : 2004 : Ceske vysoke uceni technicke v Praze) : 中央研究院;
|
|
|
Attention and Performance in Computational Vision Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers / edited by Glyn Humphreys ... [et al.]
|
|
2005
|
|
International Workshop on Attention and Performance in Computational Vision (2nd : 2004 : Prague, Czech Republic) : 資訊所圖書室;
|
|
|
Attention and Performance in Computational Vision : second International Workshop, WAPCV 2004 : Prague, Czech Republic, May 15, 2004 : revised selected papers / Lucas Paletta ... [et al.] (eds.)
館內使用
|
|
c2005
|
|
International Workshop on Attention in Cognitive Systems (4th : 2007 : Hyderabad, India)
|
|
|
Attention in cognitive systems : 4th international workshop on attention in cognitive systems, WAPCV 2007 : Hyderabad, India, January 8, 2007 : revised selected papers / Lucas Paletta, Erich Rome (eds.)
館內使用
|
|
c2007
|
Attention in cognitive systems theories and systems from an interdisciplinary viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007, Hyderabad, India, January 8, 2007 : revised selected papers / Lucas Paletta, Erich Rome (eds.)
|
|
2007
|
|
International Workshop on Attention in Cognitive Systems (5th : 2008 : Thera, Greece) : 中央研究院;
|
|
|
Attention in cognitive systems 5th international workshop on attention in cognitive systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers / edited by Lucas Paletta, John K. Tsotsos
|
|
2009
|
|
International Workshop on Attribute Grammars and their Applications (1990 : Paris, France)
|
|
|
Artibute grammars and their applications : international conference WAGA, Paris, France, September 19-20, 1990 : proceedings / P. Deransart, M. Joudan, eds.
館內使用
|
|
c1990
|
Attribute grammars and their applications internationalconference WAGA, Paris, France, September 19-20, 1990 : proceedings / P. Deransart, M. Joudan, eds
|
|
1990
|
|
International Workshop on Auger Spectroscopy and Electronic Structure (1st : 1988 : Giardini-Naxos, Italy) : 原分所圖書室;
|
|
|
Auger spectroscopy and electronic structure : proceedings of the first international workshop, Giardini Naxos-Taormina, Messina, Italy, September 10-14, 1988 / G. Cubiotti, G. Mondio, K. Wandelt (eds.)
在架上
|
|
c1989
|
|
International Workshop on Automata, Formal Languages and Algebraic Systems (2008 : Kyoto, Japan)
|
|
|
Automata, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 / edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji
在架上
|
|
c2010
|
Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 / edited by Masami Ito, Yuji Kobayashi, Kunitaka Shoji
|
|
c2010
|
|
International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)
|
|
|
Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson (ed.)
館內使用, 在架上
|
|
c1993
|
Automated and algorithmic debugging first international workshop, AADEBUG '93, Linkoping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed
|
|
1993
|
|
International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France)
|
|
|
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
|
|
c1997
|
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
|
|
c1998
|
|
International Workshop on Automated Deduction in Geometry (2nd : 1998 : Beijing, China)
|
|
|
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
館內使用, 在架上
|
|
1999
|
Automated deduction in geometry Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
|
|
c1999
|
Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
|
|
c1999
|
|
International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
|
|
|
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.)
館內使用, 在架上
|
|
2001
|
Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jurgen Richter-Gebert, Dongming Wang (eds.)
|
|
c2001
|
Automated deduction in geometry third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / Jürgen Richter-Gebert, Dongming Wang (eds.)
|
|
c2001
|
|
International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
|
|
|
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria September 4-6, 2002 : revised papers / Franz Winkler (ed.)
館內使用
|
|
2004
|
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.)
在架上
|
|
c2004
|
Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.)
|
|
c2004
|
Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.)
|
|
c2004
|
|
International Workshop on Automated Deduction in Geometry (5th : 2004 : Gainesville, FL.) : 資訊所圖書室;
|
|
|
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / Hoon Hong, Dongming Wang (eds.)
館內使用
|
|
2004
|
|
International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain)
|
|
|
Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers / Francisco Botana, Tomas Recio (eds.)
館內使用
|
|
2007
|
Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers / Francisco Botana, Tomas Recio (eds.)
|
|
2007
|
|
International Workshop on Automated Deduction in Geometry (7th : 2008 : Shanghai, China) : 中央研究院;
|
|
|
Automated deduction in geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / edited by Thomas Sturm, Christoph Zengler
|
|
2011
|
|
International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal) : 中央研究院;
|
|
|
Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / edited by Francisco Botana, Pedro Quaresma
|
|
2015
|
|
International Workshop on Automated Deduction in Geometry (1996 : Toulouse, France) :
資訊所圖書室, 數學所圖書室
;
|
|
|
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.)
館內使用, 在架上
|
|
1998
|
|
International Workshop on Automated Verification of Critical Systems (17th : 2017 : Turin, Italy) : 中央研究院;
|
|
|
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
|
|
2017
|
|
International Workshop on Automatic Verification Methods for Finite State Systems (1989 : Grenoble, France) :
資訊所圖書室, 數學所圖書室
;
|
|
|
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.)
館內使用, 在架上
|
|
c1990
|
|
International Workshop on Autonomy and Armed Separatism in South and Southeast Asia (2008 : Lee Kuan Yew School of Public Policy) :
亞太中心圖書室, 人文社會聯圖
;
|
|
|
Autonomy and armed separatism in South and Southeast Asia / edited by Michelle Ann Miller
在架上
|
|
c2012
|
|
International Workshop on B Physics (1994 : Nagoya, Japan) : 物理所圖書室;
|
|
|
1994 International Workshop on B Physics, Nagoya, Japan, 26-28 October 1994 / editors, A.I. Sanda & S. Suzuki
在架上
|
|
c1995
|
|
International Workshop on B Physics & CP Violation (4th : 2001 : Ise-Shi, Japan) : 數學所圖書室;
|
|
|
BCP4 : International Workshop on B Physics & CP Violation : Ise-Shima, Japan, 19-23 February 2001 / editors T. Ohshima & A.I. Sanda
在架上
|
|
c2001
|
|
International Workshop on Balto-Slavic Accentology (2nd : 2006 : University of Copenhagen) : 人文社會聯圖;
|
|
|
Stressing the past : papers on Baltic and Slavic accentology / edited by Thomas Olander, Jenny Helena Larsson
在架上
|
|
2009
|
|
International Workshop on Banach Space Theory (1992 : Universidad de los Andes)
|
|
|
Banach spaces : proceedings of an International Workshop on Banach Space Theory, January 6-17, 1992 / Bor-Luh Lin, William B. Johnson, editors
在架上
|
|
1993
|
Banach spaces proceedings of an International Workshop on Banach Space Theory, January 6-17, 1992 / Bor-Luh Lin, William B. Johnson, editors
|
|
c1993
|
|
International Workshop on Baryons as Skyrme Solitons (1992 : Siegen, Germany) : 物理所圖書室;
|
|
|
International Workshop on Baryons as Skyrme Solitons, Siegen, Germany, 28-30 September 1992 / editor, G. Holzwarth.
在架上
|
|
c1993
|
|
International Workshop on Bayesian Inferen e and Maximum Entropy Methods in Science and Engineering (23nd : 2003 : Jackson Hole, Wyo.) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Jackson Hole, Wyoming, 3-8 August 2003 / editors, Gary Erickson, yuxiang Zhai ; sponsoring organization, Edwin T. Jaynes International Center for Bayesian Methods and Maximum Entropy at Boise State University
在架上
|
|
2004
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (20th : 2000 : Gif-sur-Yvette, France) :
物理所圖書室, 統計所圖書館, 數學所圖書室
;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 20th international workshop, Gif-sur-Yvette, France, 8-13 July 2000 / editor, Ali Mohammad-Djafari
在架上
|
|
2001
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (21st : 2001 : Baltimore, Md.) :
物理所圖書室, 數學所圖書室
;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 21st International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Baltimore, Maryland, 4-9 August 2001 / editor, Robert L. Fry ; sponsoring organizations, Johns Hopkins University/Applied Physics Laboratory, Johns Hopkins University, Jaynes' Foundation
在架上
|
|
2002
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (22dn : 2002 : Moscow, Idaho) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 22nd international workshop on bayesian inference and maximum entropy methods in science and engineering, Moscow, Idaho, 3-7 August 2002 / editor, Christopher, J. Williams
在架上
|
|
2003
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (25th : 2005 : San Jose, California) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 25th Interantional Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, San Jose, California, 7-12 August 2005 / editors, Kevin H. Knuth ... [et al.]
在架上
|
|
2005
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (26th : 2006 : Paris, France) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 26th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering : Paris, France, 8-13 July 2006 / editor, Ali Mohammad-Djafari ; sponsoring organizations, E.T. Jaynes Foundation ... [et al.]
在架上
|
|
2006
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (27th : 2007 : Saratoga Springs, N.Y.) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 27th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Saratoga Springs, New York, 8-13 July 2007 / editors Kevin H. Knuth ... [et al.]
在架上
|
|
2007
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (28th : 2008 : Boracéia, São Paulo, Brazil) : 物理所圖書室;
|
|
|
Bayesian interference and maximum entropy methods in science and engineering : 28th International Workshop of Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Boracéia, São Paulo, Brazil, 6-11 July 2008 / editors, Marcelo de Souza Lauretto, Carlos Alberto de Bragança Pereira, Julio Michael Stern
在架上
|
|
2008
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (29th : 2009 : Oxford, Miss.) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : 29th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Oxford, Mississippi, 5-10 July 2009 / editors, Paul M. Goggans, Chun-Yong Chan
在架上
|
|
2009
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (30th : 2010 : Chamonix-Mont-Blanc, France) : 物理所圖書室;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : proceedings of the 30th International Workshop on Bayesian Inference and Maximun Entropy Methods in Science and Engineering, 4-9 July 2010 ; Chamonix, France / editors, Ali Mohammad-Djafari, Jean-François Bercher, Pierre Bessière
在架上
|
|
2010
|
|
International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (37th : 2017 : Jarinu, Brazil) : 中央研究院;
|
|
|
Bayesian inference and maximum entropy methods in science and engineering : MaxEnt 37, Jarinu, Brazil, July 09-14, 2017 / edited by Adriano Polpo, Julio Stern, Francisco Louzada, Rafael Izbicki, Hellinton Takada
|
|
2018
|
|
International Workshop on Beam Cooling and Related Topics (2005 : Galena, Illinois) : 物理所圖書室;
|
|
|
Beam cooling and related topics : International Workshop on Beam Cooling and Realted Topics ; COOL05 / editors, Sergei Nagatisev, Ralph J. Pasquinelli
在架上
|
|
2006
|
|
International Workshop on Behavioral Effects of Nicotine, Zürich, 1976 : 生命科學圖書館;
|
|
|
Behavioral effects of nicotine / International Workshop on Behavioral Effects of Nicotine, Zürich September 15-17, 1976 ; editor, K. Bättig
在架上
|
|
1978
|
|
International Workshop on Behaviour Modelling (1st : 2009) : 中央研究院;
|
|
|
Behavior modeling : foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
|
|
2015
|
|
International Workshop on Behaviour Modelling (2nd : 2010) : 中央研究院;
|
|
|
Behavior modeling : foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
|
|
2015
|
|
International Workshop on Behaviour Modelling (3rd : 2011) : 中央研究院;
|
|
|
Behavior modeling : foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
|
|
2015
|
|
International Workshop on Behaviour Modelling (4th : 2012) : 中央研究院;
|
|
|
Behavior modeling : foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
|
|
2015
|
|
International Workshop on Behaviour Modelling (5th : 2013) : 中央研究院;
|
|
|
Behavior modeling : foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth
|
|
2015
|
|