Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
     

Nearby AUTHORS are:
   « Prev Next »
Save Marked Save All
    Format Year
International Symposium Of Formal Methods Europe 10th 2001 Berlin Germany : FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave (eds.).     
      FME 2001 : Formal Methods For Increasing Software Productivity : [10th] International Symposium Of Formal Methods Europe, Berlin, Germany, March 12-16 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2001
International Symposium Of Formal Methods Europe 11th 2002 Copenhagen Denmark : FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).     
      FME 2002 : Formal Methods--Getting IT Right : International Symposium Of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2002
International Symposium Of Formal Methods Europe 12th 2003 Pisa Italy : FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli, eds.     
      FME 2003 : Formal Methods : International Symposium Of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2003
International Symposium Of Formal Methods Europe 13th 2005 Newcastle Upon Tyne England    
      FM 2005 : Formal Methods : International Symposium Of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2005
      Rigorous Development Of Complex Fault-Tolerant Systems OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2006
International Symposium Of Formal Methods Europe 14th 2006 Hamilton Ont : FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).     
      FM 2006 : Formal Methods : 14th International Symposium On Formal Methods, Hamilton, Canada, August 21-27, 2006 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2006
International Symposium Of Formal Methods Europe 15th 2008 Turku Finland : FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.).     
      FM 2008 : Formal Methods : 15th International Symposium On Formal Methods, Turku, Finland, May 26-30, 2008 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2008
International Symposium Of Formal Methods Europe 16th 2009 Eindhoven Netherlands : FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings / Ana Cavalcanti, Dennis Dams (eds.).     
      FM 2009 : Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2009
International Symposium Of Formal Methods Europe 17th 2011 Limerick Limerick Ireland : FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings / Michael Butler, Wolfram Schulte (eds.).     
      FM 2011 : Formal Methods : 17th International Symposium On Formal Methods, Limerick, Ireland, June 20-24, 2011 : Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2011
International Symposium Of Formal Methods Europe 18th 2012 Paris France : FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings / Dimitra Giannakopoulou, Dominique Mery (eds.).     
      FM 2012 : Formal Methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2012
International Symposium Of Formal Methods Europe 19th 2014 Singapore : FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.).     
      FM 2014 : Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2014
International Symposium Of Formal Methods Europe 20th 2015 Oslo Norway : FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Nikolaj Bjrner, Frank de Boer (eds.).     
      FM 2015 : Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2015
International Symposium Of Formal Methods Europe 21st 2016 Limassol Cyprus : FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (eds.).     
      FM 2016 : Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2016
International Symposium Of Formal Methods Europe 22nd 2018 Oxford England : Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (eds.).     
      Formal Methods : 22nd International Symposium, FM 2018, Held As Part Of The Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proce OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2018
International Symposium Of Formal Methods Europe 23rd 2019 Porto Portugal    
      Formal Methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers. Part II OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2020
      Formal Methods -- The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2019
International Symposium Of Global Coe 1st 2009 Kyoto University Clock Tower : Zero-carbon energy Kyoto 2009 : proceedings of the first International Symposium of Global COE Program "Energy Science in the Age of Global Warming - Toward CO₂ Zero-emission Energy System" / Takeshi Yao, Editor.     
      Zero-Carbon Energy Kyoto 2009 : Proceedings Of The First International Symposium Of Global COE Program "Energy Science In The Age Of Global Warming - OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2010
International Symposium Of Global Coe 2nd 2010 Kyoto Japan : Zero-carbon energy Kyoto 2010 : proceedings of the Second International Symposium of Global COE Program "Energy Science in the Age of Global Warming-- Toward CO₂ Zero-emission Energy System" / Takeshi Yao, Editor.     
      Zero-Carbon Energy Kyoto 2010 : Proceedings Of The Second International Symposium Of Global COE Program "Energy Science In The Age Of Global Warming-- OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2011
International Symposium Of Global Coe 3rd 2012 Suwon Korea : Zero-carbon energy Kyoto 2011 : special edition of Jointed Symposium of Kyoto University Global COE "Energy Science in the Age of Global Warming" and Ajou University BK21 / Takeshi Yao, editor.     
      Zero-Carbon Energy Kyoto 2011 : Special Edition Of Jointed Symposium Of Kyoto University Global COE "Energy Science In The Age Of Global Warming" And OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2012
International Symposium Of Global Coe 4th 2012 Bangkok Thailand : Zero-carbon energy Kyoto 2012 : special edition of the joint symposium "Energy Science in the Age of Global Warming" of the Kyoto University Global COE Program and the JGSEE/CEE-KMUTT / Takeshi Yao, editor.     
      Zero-Carbon Energy Kyoto 2012 : Special Edition Of The Joint Symposium "Energy Science In The Age Of Global Warming" Of The Kyoto University Global CO OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2013
International Symposium Of Green Materials And Technology 1st 2018 Makassar Indonesia : Green materials and technology : International Symposium of Green Materials and Technology (ISGMT) : selected, peer-reviewed papers from the 1st International Symposium of Green Materials and Technology (1st ISGMT), September 29-30, 2018, Makassar, Indonesia / edited by Dr. Subaer.     
      Green Materials And Technology : International Symposium Of Green Materials And Technology (ISGMT) : Selected, Peer-Reviewed Papers From The 1st Inter   EBOOK 2019
International Symposium Of Gunma University Medical Innovation 3rd 2016 : Advanced micro-device engineering VIII : selected, peer reviewed papers from the 3rd International Symposium of Gunma University Medical Innovation and 8th International Conference on Advanced Micro Device Engineering (GUMI & AMDE 2016), December 9, 2016, Kiryu, Japan / edited by Osamu Hanaizumi.     
      Advanced Micro-Device Engineering VIII : Selected, Peer Reviewed Papers From The 3rd International Symposium Of Gunma University Medical Innovation An   EBOOK 2018
International Symposium Of Information And Internet Technology Symintech 3rd 2018 Cenang Langkawi Malaysia : Proceedings of the 3rd International Symposium of Information and Internet Technology (SYMINTECH 2018) / editors, Mohd Azlishah Othman, Mohamad Zoinol Abidin Abd Aziz, Mohd Shakir Md Saat and Mohamad Harris Misran.     
      Proceedings Of The 3rd International Symposium Of Information And Internet Technology (SYMINTECH 2018) OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2019
International Symposium Of Mine Safety Science And Engineering 2nd 2013 Beijing China : Progress in mine safety science and engineering II : proceedings of the 2nd International Symposium of Mine Safety Science and Engineering, Beijing, China, 21-23 September 2013 / editors, Xueqiu He [and six others].     
      Progress In Mine Safety Science And Engineering II : Proceedings Of The 2nd International Symposium Of Mine Safety Science And Engineering, Beijing, C OHIOLINK SAFARI EBOOKS:ONLINE   EBOOK 2014
International Symposium Of Molecular Environmental Soil Science At The Interfaces In The Earths Critical Zone 2009 Hangzh : Molecular environmental soil science / Jianming Xu, Donald L. Sparks, editors.     
      Molecular Environmental Soil Science OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2013
International Symposium Of Odonatology : Forests and dragonflies : fourth WDA International Symposium of Odonatology, Pontevedra (Spain), July 2005 / edited by Adolfo Cordero Rivera.     
      Forests And Dragonflies : Fourth WDA International Symposium Of Odonatology, Pontevedra (Spain), July 2005   EBOOK 2006
International Symposium Of Prion Diseases For Food And Drug Safety 2004 Sendai Japan : Prions : food and drug safety / T. Kitamoto (ed.).     
      Prions : Food And Drug Safety OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2005
International Symposium Of Space Optical Instruments And Applications 3rd 2016 Beijing China : 3rd International Symposium of Space Optical Instruments and Applications : Beijing, China June 26-29th 2016 / H. Paul Urbach, Guangjun Zhan, editors.     
      3rd International Symposium Of Space Optical Instruments And Applications : Beijing, China June 26-29th 2016 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2017
International Symposium Of Space Optical Instruments And Applications 4th 2017 Delft Netherlands : 4th International Symposium of Space Optical Instruments and Applications : Delft, The Netherlands, October 16 -18, 2017 / editors, H. Paul Urbach and Qifeng Yu.     
      4th International Symposium Of Space Optical Instruments And Applications : Delft, The Netherlands, October 16 -18, 2017 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2018
International Symposium Of Space Optical Instruments And Applications 5th 2018 Beijing China : 5th International Symposium of Space Optical Instruments and Applications : Beijing, China, September 5-7 2018 / H. Paul Urbach, Qifeng Yu, editors.     
      5th International Symposium Of Space Optical Instruments And Applications : Beijing, China, September 5-7 2018 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2020
International Symposium Of Space Optical Instruments And Applications 6th 2019 Delft Netherlands : 6th International Symposium of Space Optical Instruments and Applications : Delft, the Netherlands, September 24-25, 2019 / H. Paul Urbach, Qifeng Yu, editors.     
      6th International Symposium Of Space Optical Instruments And Applications : Delft, The Netherlands, September 24-25, 2019 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2021
International Symposium Of The Ialp Aphasia Committee On Neurogenic Language Disorders In Children 2003 Udine Italy : Neurogenic language disorders in children / edited by Franco Fabbro.     
      Neurogenic Language Disorders In Children   EBOOK 2004
International Symposium Of The Nagasaki University Global Coe Program 2008 Nagasaki Japan : Radiation health risk sciences : Proceedings of the First International Symposium of the Nagasaki University Global COE Program "Global Strategic Center for Radiation Health Risk Control" / M. Nakashima [and others], editors.     
      Radiation Health Risk Sciences : Proceedings Of The First International Symposium Of The Nagasaki University Global COE Program "Global Strategic Cent OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2009
International Symposium On Acoustical Imaging 28th 2005 San Diego Calif : Acoustical imaging. Volume 28 / edited by Michael P. Andre.     
      Acoustical Imaging. Volume 28 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2007
International Symposium On Acoustical Imaging 30th 2009 Monterey Calif : Acoustical imaging. Volume 30 / Michael P. Andre, Joie P. Jones, Hua Lee, editors.     
      Acoustical Imaging. Volume 30 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2011
International Symposium On Acoustical Imaging 31st 2011 Warsaw Poland : Acoustical imaging. Volume 31 / Andrzej Nowicki, Jerzy Litniewski, Tamara Kujawska, editors.     
      Acoustical Imaging. Volume 31 OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2012
International Symposium On Adaptive Motion In Animals And Machines 1st 2000 Montreal Quebec : Adaptive motion of animals and machines / Hiroshi Kimura [and others] (editors).     
      Adaptive Motion Of Animals And Machines OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2006
International Symposium On Adaptive Motion In Animals And Machines 2nd 2003 Kyoto Japan : Adaptive motion of animals and machines / Hiroshi Kimura [and others] (editors).     
      Adaptive Motion Of Animals And Machines OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2006
International Symposium On Advanced Ceramics 4th 2010 Osaka Japan : Advanced Engineering Ceramics and Composites : Selected, peer reviewed papers of the 4th International Symposium on Advanced Ceramics, Osaka International Convention Center, November 14-18, 2010, Japan / edited by Takashi Goto, Yi-Bing Cheng and Takashi Akatsu.     
      Advanced Engineering Ceramics And Composites : Selected, Peer Reviewed Papers Of The 4th International Symposium On Advanced Ceramics, Osaka Internati   EBOOK 2011
International Symposium On Advanced Ceramics 5th Wuhan China : Advanced ceramics and novel processing : selected, peer reviewed papers from the 5th International Symposium on Advanced Ceramics (ISAC-5), and 3rd International Symposium on Advanced Synthesis and Processing Technology for Materials (ASPT 2013), December 9-12, 2013, Wuhan, China / edited by Takashi Goto, Zhengyi Fu and Lianmeng Zhang.     
      Advanced Ceramics And Novel Processing : Selected, Peer Reviewed Papers From The 5th International Symposium On Advanced Ceramics (ISAC-5), And 3rd In   EBOOK 2014
International Symposium On Advanced Environmental Monitoring 6th 2006 Heidelberg Germany : Advanced environmental monitoring / edited by Young J. Kim and Ulrich Platt.     
      Advanced Environmental Monitoring OHIOLINK SPRINGER EBOOKS:ONLINE   EBOOK 2008
International Symposium On Advanced Material Research 2nd 2018 Cheju Island Korea : International Symposium on Advanced Material Research II : 2nd ISAMR 2018 : selected, peer reviewed papaers from the 2nd International Symposium on Advanced Material Research (2nd ISAMR 2018), March 16-18, 2018, Jeju Island, South-Korea / edited by Dong Keon Kim, Jongwon Jung and Wonjun Park.     
      International Symposium On Advanced Material Research II : 2nd ISAMR 2018 : Selected, Peer Reviewed Papaers From The 2nd International Symposium On Ad   EBOOK 2018
International Symposium On Advanced Material Research 2017 Seoul Korea : International Symposium on Advanced Material Research : ISAMR 2017 : selected, peer reviewed papaers from the International Symposium on Advanced Material Research (ISAMR 2017), March 17-19, 2017, Seoul, South-Korea / edited by Dong Keon Kim.     
      International Symposium On Advanced Material Research : ISAMR 2017 : Selected, Peer Reviewed Papaers From The International Symposium On Advanced Mate   EBOOK 2017
International Symposium On Advanced Materials 12th 2011 Islamabad Pakistan : Advanced materials XII : selected, peer reviewed papers from the 12th International Symposium on Advanced Materials, 26-30 September, 2011, Islamabad, Pakistan / edited by Shaheed Khan, Iftikhar us Salam and Karim Ahmed.     
      Advanced Materials XII : Selected, Peer Reviewed Papers From The 12th International Symposium On Advanced Materials, 26-30 September, 2011, Islamabad,   EBOOK 2012
International Symposium On Advanced Materials And Application 2018 Seoul Korea : Advanced materials and application : International Symposium on Advanced Materials and Application (ISAMA 2018) : selected, peer reviewed papers from the 2018 International Symposium on Advanced Materials and Application (ISAMA 2018), January 19, 21, 2018, Seoul, South Korea / edited by Prof. Mosbeh Kaloop.     
      Advanced Materials And Application : International Symposium On Advanced Materials And Application (ISAMA 2018) : Selected, Peer Reviewed Papers From   EBOOK 2018
  International Symposium On Advanced Parallel Processing Technologies 2007 Guangzhou China -- See APPT 2007 (2007 : Guangzhou, China)
   
International Symposium On Advanced Processing And Manufacturing Technologies For Structural And Multifunctional Materials An : Advanced processing and manufacturing technologies for structural and multifunctional materials VI : a collection of papers presented at the 36th International Conference on Advanced Ceramics and Composites, January 22-27, 2012, Daytona Beach, Florida / edited by Tatsuki Ohji, Mrityunjay Singh ; volume editors, Michael Halbig, Sanjay Mathur.     
      Advanced Processing And Manufacturing Technologies For Structural And Multifunctional Materials VI : A Collection Of Papers Presented At The 36th Inte OHIOLINK WILEY EBOOKS:ONLINE   EBOOK 2013
International Symposium On Advanced Radio Technologies 2005 Boulder Colo : Proceedings of the International Symposium on Advanced Radio Technologies : March 1-3, 2005 / sponsored by: Institute for Telecommunication Sciences ... [and others] ; general chair: J. Wayde Allen ; publications: Jeanne Ratzloff.     
      Proceedings Of The International Symposium On Advanced Radio Technologies : March 1-3, 2005 ONLINE GOVERNMENT PUBLICATION:ONLINE   COMPUTER FILE 2005
International Symposium On Advanced Radio Technologies 2006 Boulder Colo : Proceedings of the International Symposium on Advanced Radio Technologies : March 7-9, 2006 / sponsored by: Institute for Telecommunication Sciences ... [and others] ; general chair: Patricia J. Raush ; publications: Kristen E. Novik.     
      Proceedings Of The International Symposium On Advanced Radio Technologies : March 7-9, 2006 ONLINE GOVERNMENT PUBLICATION:ONLINE   COMPUTER FILE 2006
International Symposium On Advanced Rolling Equipment Technologies 2010 Taiyuan Shi China : Advances in rolling equipment and technologies : selected, peer reviewed papers from the International Symposium on Advanced Rolling Equipment Technologies (ISARET2010), 23-24 September 2010, Taiyuan, China / edited by Qingxue Huang [and others].     
      Advances In Rolling Equipment And Technologies : Selected, Peer Reviewed Papers From The International Symposium On Advanced Rolling Equipment Technol   EBOOK 2011
International Symposium On Advanced Rolling Equipment Technologies 2012 Beijing China : Advances in rolling equipment and technologies II : selected, peer reviewed papers from the International Symposium on Advanced Rolling Equipment Technologies (ISARET2012), April 7-9, Beijing, China / edited by Li Wang [and others].     
      Advances In Rolling Equipment And Technologies II : Selected, Peer Reviewed Papers From The International Symposium On Advanced Rolling Equipment Tech   EBOOK 2012
International Symposium On Advanced Synthesis And Processing Technology For Materials 1st 2008 Wuhan China : Advanced synthesis and processing technology for materials : selected, peer reviewed papers from the 1st International Symposium on Advanced Synthesis and Processing Technology for Materials, November 14-17, 2008, Wuhan, China / edited by Takashi Goto [and others].     
      Advanced Synthesis And Processing Technology For Materials : Selected, Peer Reviewed Papers From The 1st International Symposium On Advanced Synthesis   EBOOK 2009
Save Marked Save All
   « Prev Next »

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team