CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><html lang="en"> <head> <title>Rochester Institute of Tech. - Wallace Mem. Library / Full Catalog</title> <base target="_self"/> <link rel="stylesheet" type="text/css" href="/scripts/ProStyles.css" /> <link rel="stylesheet" type="text/css" href="/screens/styles.css" /> <link rel="shortcut icon" type="ximage/icon" href="/screens/favicon.ico" /> <script type="text/javascript" src="/scripts/common.js"> </script> <script type="text/javascript" src="/scripts/elcontent.js"> </script> <meta http-equiv="X-UA-Compatible" content="IE=8;FF=3;OtherUA=4"><meta http-equiv="Content-type" content="text/html;charset=UTF-8" ><link rel="stylesheet" type="text/css" href="/screens/styles_print.css" media="print"><script language="javascript" type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script> </head> <body >    <script type="text/javascript"> if (location.protocol != 'https:') { location.href = 'https:' + window.location.href.substring(window.location.protocol.length); } </script> <link rel="stylesheet" href="/screens/sms.css" type="text/css" /> <link rel="stylesheet" href="/screens/toplogo.css" type="text/css" /> <link rel="shortcut icon" type="image/ico" href="/screens/favicon.ico" /> <script type="text/javascript" src="https://wmlapps.rit.edu/catalog-request-handler/js/crh-init.js"></script> <script type="text/javascript" src="https://wmlapps.rit.edu/sierra-advanced-search-enhancement/js/main.js"></script>  <script type="text/javascript"> startList = function() { if (document.all && document.getElementById) { navRoot = document.getElementById('nav'); for (i = 0; i < navRoot.childNodes.length; i++) { node = navRoot.childNodes[i]; if (node.nodeName == 'LI') { node.onmouseover = function() { this.className += ' over'; }; node.onmouseout = function() { this.className = this.className.replace(' over', ''); }; } } } }; //window.onload=startList; </script> <div id="page-wrapper-container"> <div id="page-wrapper"> <div id="header"> <div id="name-and-slogan"> <h1 id="site-name"> <a rel="home" title="RIT Libraries Home" href="https://rit.edu/library"><span>RIT Libraries</span></a> </h1> <div id="rit-libraries-logo"> <a href="https://rit.edu/library"> <img alt="RIT Libraries" src="/screens/AA_Libraries_hor_w.png" id="library-logo" /> </a> <div id="logo-links"></div> </div> </div> <div id="header-top-right"> <div class="content"></div> </div> <div class="lrh"></div> <div class="myaccount" id="myaccount"> <a href="https://rit.edu/library/libhours">Hours</a> | <a href="https://www.rit.edu/library/chat" target="_blank">Chat</a> | <a href="https://albert.rit.edu/patroninfo">My Library Account</a> </div> </div> </div> <div style="margin-left:auto;margin-right:auto;width:1008px;"> <div class="pageContent">  <script type="text/JavaScript">  </script> <div id="TimeoutPopup" tabindex="0" class="modal" onkeypress="refreshSession(event)"> <div class="modal-content"> Your session will expire automatically in <span id=TimeoutSeconds>0</span> seconds.<br> <br> <button id="CancelTimeout" onclick="refreshSession()">Continue session</button> <button id="DoTimeout" onclick="endSession()">End session now</button></div> </div> <noscript> <meta http-equiv="Refresh" content="600000;URL=/" /> </noscript>  <link rel="stylesheet" type="text/css" href="/screens/bibdisplay_print.css" media="print">  <script type="text/javascript" src="/screens/bib_parse.js"></script> <script type="text/javascript" src="/screens/remote_storage_url.js"></script> <head> <link rel="stylesheet" type="text/css" href="/scripts/ProStyles.css" /> <link rel="stylesheet" type="text/css" href="/screens/styles.css" /> <script type="text/javascript" src="/scripts/elcontent.js"> </script> <script type="text/javascript" src="/scripts/common.js"> </script> </head> <body bgcolor="#FFFFFF" style="overflow-x: hidden;height:auto;"> <div style="margin-left:auto;margin-right:auto;width:500px;overflow:hidden;">  <comment> <div id='sms' style="visibility:hidden;display:none;"> </comment> </div> </div> <div id='mainSMS' style="visibility:hidden;display:none;overflow:hidden;"> </div> <style type="text/css"> .loggedInMessage{margin-top:-100px;} </style> <div id="bibDisplayBody" class="bibX" style="width:989px;margin-left:9px;margin-right:auto;font-size:15px;padding-top:18px;padding-bottom:3%; "> <div style="padding-bottom:10px;"> <a href="/search~S3"><img src="/screens/ico_startover.gif" alt="Start Over" border="0" /></a> <a href="/search~S3?/i9783319516073/i9783319516073/-3,0,0,B/frameset&FF=i9783319516400&1,1,/indexsort=-?save=b4713474"><img src="/screens/bibexport.gif" alt="Save Records" border="0"/></a> <a href="/search~S3?/i9783319516073/i9783319516073/-3%2C0%2C0%2CB/marc&FF=i9783319516400&1%2C1%2C/indexsort=-"><img src="/screens/marc_display.gif" alt="Marc Display" border="0"/></a> <a href="/search~S3?/i9783319516073/i9783319516073/-3%2C0%2C0%2CB/browse/indexsort=-#anchor_22"><img src="/screens/rtrntb.gif" alt="Return to Browse" border="0"/></a> <a href="/search~S3/i"><img src="/screens/another.gif" alt="Another Search" border="0"/></a> </div> <div id="bibDisplayContent"> <div class="bibSearch" style="background:url('/screens/tile_search.jpg') repeat-x bottom left; border-color:#aaaaaa;width:983px; border-style:solid; border-width:0 1px 1px 1px; font-size:15px; padding-top:75px;margin-left:-1px;padding-bottom:15px;margin-bottom:10px;margin-top:-80px; "> <form target="_self" action="/search~S3/" method='get'> <label for="searchtype" style="display:none;">Search Type1</label><select name="searchtype" id="searchtype"> <option value="X"> WORD</option> <option value="a"> AUTHOR</option> <option value="t"> TITLE</option> <option value="d"> SUBJECT</option> <option value="c"> CALL NO</option> <option value="j"> GENRE/FORM</option> <option value="p"> PROF/TA</option> <option value="r"> COURSE</option> <option value="i" selected="selected"> ISSN/ISBN</option> <option value="y"> DATABASE NAME</option> <option value="e"> DATABASE SUBJECT</option> </select>   <label for="searcharg" style="display:none;">Search</label><input type="text" name="searcharg" id="searcharg" size="30" onchange='return searchtoolSubmitAction()'maxlength="75" value="9783319516073" />   <label for="searchscope" style="display:none;">Search Scope</label><select name="searchscope" id="searchscope"> <option value="3" selected="selected"> Entire Catalog</option> <option value="1"> Electronic</option> <option value="2"> Videos and DVDs</option> <option value="4"> RIT Croatia – Dubrovnik</option> <option value="5"> RIT Croatia – Zagreb</option> <option value="6"> RIT Kosovo</option> <option value="7"> RIT Dubai</option> </select>   <input type="hidden" name="SORT" value="D" /><input type="hidden" name="extended" value="0" /> <input type="submit" name="SUBMIT" value="Search" onclick='return searchtoolSubmitAction();' /> <div> <input type="hidden" name="searchlimits" value="" /> <input type="hidden" name="searchorigarg" value="i9783319516073" /> </div> </form> <div class="bibSearchHistory"> </div> </div> <div class="bibPager"> <a href="/search~S3?/i9783319516073/i9783319516073/-3%2C1%2C1%2CB/frameset&FF=i9783319516394&0%2C0%2C/indexsort=-"><span class="button"><img src="/screens/ico_previous.gif" alt=""><span class="buttonText">Previous Record</span></span></a> <a href="/search~S3?/i9783319516073/i9783319516073/-3%2C1%2C1%2CB/frameset&FF=i9783319516417&1%2C1%2C/indexsort=-"><span class="button"><span class="buttonText" id="buttonNextRecord">Next Record</span><img src="/screens/ico_next.gif" alt=""></span></a> </div> <div class="bibClear"></div> <div style="padding-left:0px;"> <div class="bibDisplayJacket"> <a href="http://www.syndetics.com/index.aspx?isbn=9783319516417/index.html&client=rit&type=rn12" target="_parent"><img src="/bookjacket?recid=b4713474&size=0" border="0" alt="Book Cover"></a></br> </br> <img src="/screens/book.png" alt="Books"> <div class="bibMedia"> <comment> <div style="z-index:400;position:absolute;margin-left:-55px;margin-top:-60px;width:150px;"> <div id="smsfeatures"> <a href="#here" name=smsbutton id=smsbutton onClick="showsms();scroll(0,0);return false;" aria-label="Send to Phone"><img src="/screens/smsbutton.gif" name="smsbutton" alt="Send to Phone" border=0></a></br> </div> </comment>   <div >  <div id="google" style="font-size:9px;text-align:center;"> <span class="book-title" align="center"> </span> </div> <span id="citeoclc"></span> <comment> <br /> <table width="100%" cellspacing="0" cellpadding="0" border="0" class="bibResourceTable"> <tbody><tr class="bibResourceTableEntry"><td class="bibResourceTableEntry"> </td></tr> </tbody></table> <div id="bibRecordLink"> </div> <div class="bibDisplayPermLink actionButtonArea" style="margin-top:-15px;"> </comment>   <a id="recordnum" href="/record=b4713474~S3"><img src="/screens/permalink.gif" border=0 alt="Permanent Link"></a></div> </div> </div> </div> </div> <div class="bibDisplayContentMain" style="margin-left:100px;">  <table id='bib_detail' width="100%" border="0" cellspacing="1" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> </table>  </td></tr> </table>  <h1 class="bibDisplayTitle">  <table id='bib_detail' width="100%" border="0" cellspacing="1" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Title</td> <td class="bibInfoData"> <strong>Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht</strong></td></tr> </table>  </td></tr> </table>  </h1> <h1 class="bibDisplayTitle">  <table id='bib_detail' width="100%" border="0" cellspacing="1" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Edition</td> <td class="bibInfoData"> 1st ed. 2016</td></tr> </table>  </td></tr> </table>  </h1>  <table id='bib_detail' width="100%" border="0" cellspacing="1" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Publisher</td> <td class="bibInfoData"> <a href="/search~S3?/hSpringer+International+Publishing+%3A+Imprint%3A+Springer%2C/hspringer+international+publishing+imprint+springer/-3,-1,0,B/browse">Cham : Springer International Publishing : Imprint: Springer, 2016</a> </td></tr> </table>  </td></tr> </table>  <div class="testlinkeddocs"> </div> <div class="bibDisplayUrls" style="text-align:left;"> <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibLinks"> <tr><th> <br /><span class="getOnline">Available electronically:</span></th></tr> <tr align="center"> <td > <a href="https://ezproxy.rit.edu/login?url=https://doi.org/10.1007/978-3-319-51641-7" onclick="window.open('https://ezproxy.rit.edu/login?url=https://doi.org/10.1007/978-3-319-51641-7'); return false;">Springer Electronic Books</a><br /> </td> </tr> </table> </div> <div class="holdingsPrint"> </div> <div class="bibDisplayItems"> <div class="bibDisplayItemsHeader">  </div> <div class="bibDisplayItemsMain" style="float:left;margin-top:15px;"> </div> </div> <div class="bibDisplayContentMore">  <table id='bib_detail' width="100%" border="0" cellspacing="1" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">ISSN/ISBN</td> <td class="bibInfoData"> 9783319516417</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Descript</td> <td class="bibInfoData"> VII, 157 p. 62 illus. online resource</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Content</td> <td class="bibInfoData"> text</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Media</td> <td class="bibInfoData"> computer</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Carrier</td> <td class="bibInfoData"> online resource</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Descript</td> <td class="bibInfoData"> text file PDF rda</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Call No.</td> <td class="bibInfoData"> QA76.758</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Series</td> <td class="bibInfoData"> <a href="/search~S3?/tCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683/tcommunications+in+computer+and+information+science+++++1865+++++0937++++++683/-3,-1,0,B/browse">Communications in Computer and Information Science, 1865-0937 ; 683</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S3?/tSpringer+Electronic+Books--Computer+Science+%28SpringerNature-11645%29/tspringer+electronic+books+computer+science+springernature++++11645/-3,-1,0,B/browse">Springer Electronic Books--Computer Science (SpringerNature-11645)</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S3?/tSpringer+Electronic+Books--Computer+Science+%28R0%29+%28SpringerNature-43710%29/tspringer+electronic+books+computer+science+r0+springernature++++43710/-3,-1,0,B/browse">Springer Electronic Books--Computer Science (R0) (SpringerNature-43710)</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S3?/tCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683/tcommunications+in+computer+and+information+science+++++1865+++++0937++++++683/-3,-1,0,B/browse">Communications in Computer and Information Science, 1865-0937 ; 683</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Contents</td> <td class="bibInfoData"> Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Notes</td> <td class="bibInfoData"> Access is limited to RIT students, faculty and staff</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Summary</td> <td class="bibInfoData"> This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Subject</td> <td class="bibInfoData"> <a href="/search~S3?/jElectronic+books./jelectronic+books/-3,-1,0,B/browse">Electronic books. local</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Alt Author</td> <td class="bibInfoData"> <a href="/search~S3?/aLamprecht%2C+Anna-Lena./alamprecht+anna+lena/-3,-1,0,B/browse">Lamprecht, Anna-Lena. editor. Editor. http://id.loc.gov/vocabulary/relators/edt</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S3?/aSpringerLink+%28Online+service%29/aspringerlink+online+service/-3,-1,0,B/browse">SpringerLink (Online service)</a> </td></tr> </table>  </td></tr> </table>  </div> </div> </div> <div class="clear"></div> <script src="https://unbound.syndetics.com/syndeticsunbound/connector/initiator.php?a_id=1844" type="text/javascript"></script> </div> <div style="height:25px;"></div> <script defer language="javascript" type="text/javascript" src="/screens/sms.js"></script> <br />    </div> <script type='text/javascript'> var listGBS = document.getElementsByName("gbs"); var divList = document.getElementsByTagName("div"); gbsList = new Array(); for (var div = 0; div < divList.length; div++) { if(divList[div].getAttribute('className') == 'gbs' || divList[div].getAttribute('class') == 'gbs') { gbsList.push(divList[div]); } } var numbers = new Array(); for (var bib = 0; bib < listGBS.length; bib++) { bookid=listGBS[bib].innerHTML.replace(/^\s+|\s+$/g,""); //numbers[bib] = "OCLC" + bookid; numbers[bib] = bookid; //alert(bookid); } var api_url ="http://books.google.com/books?jscmd=viewapi&bibkeys=" + numbers.join(","); var scriptLine = "%3Cscript src='" + api_url + "' type='text/javascript'%3E%3C/script%3E"; var sPath = window.location.pathname; //var sPage = sPath.substring(sPath.lastIndexOf('\\') + 1); var sPage = sPath.substring(sPath.lastIndexOf('/') + 1); //var str = "patroninfo"; //alert(sPage); //alert(str.search(sPage)); if (document.location.protocol != 'https:') { document.write(unescape(scriptLine)); } </script> <script type='text/javascript'> for (var i=0; i < numbers.length; i++) { //clean up the ISBNS var dISBN = numbers[i]; dISBN = dISBN.replace('-',''); var splitISBN = dISBN.split(" "); var ISBN = splitISBN[0]; var bookInfo = _GBSBookInfo[ISBN]; if (bookInfo){ if(bookInfo.preview == "full") { textGBS = "Fulltext @ Google Books"; linkGBS = bookInfo.info_url; } if(bookInfo.preview == "partial") { textGBS = "Excerpts @ Google Books"; linkGBS = bookInfo.info_url; } if(bookInfo.preview == "noview") { textGBS = ""; linkGBS = bookInfo.info_url; } var newHTML = "<a target=\"_new\" href=\"" + linkGBS + "\">" + textGBS + "</a>"; var detect = navigator.userAgent.toLowerCase(); if (detect.indexOf('msie') + 1) { listGBS[i].insertAdjacentHTML('beforeBegin', newHTML); } else { listGBS[i].innerHTML = newHTML; } } } </script> <div style="clear:both"></div> </div> <div style="height:15px;"> </div> <div class="botClass"> <div style="text-align:center"><a href="https://rit.edu/library/contact-us">Contact Us</a>  |  <a href="https://ill.rit.edu">InterLibrary Loan</a>  </div> <br/> <div style="height:30px;"> </div> </div> </div> </div>   <script async src="https://www.googletagmanager.com/gtag/js?id=G-4JW4Q5KJ0S"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag("js", new Date()); gtag("config", "G-4JW4Q5KJ0S"); </script> </body> </html>