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?/XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=D&searchscope=3/XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=D&searchscope=3&SUBKEY=Communications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683/1,1,1,B/frameset&FF=XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=DZ&searchscope=3&1,1,?save=b4713474"><img src="/screens/bibexport.gif" alt="Save Records" border="0"/></a> <a href="/search~S3?/XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=D&searchscope=3/XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=D&searchscope=3&SUBKEY=Communications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683/1%2C1%2C1%2CB/marc&FF=XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=DZ&searchscope=3&1%2C1%2C"><img src="/screens/marc_display.gif" alt="Marc Display" border="0"/></a> <a href="/search~S3/X?NOSRCH=Communications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=D&searchscope=3&SUBKEY=Communications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683"><img src="/screens/modify.gif" alt="Modify Search" border="0"/></a> <a href="/search~S3?/X?d%3A%28electronic+and+books+and+local%29&searchscope=3&SORT=D"><img src="/screens/showsim.gif" alt="Similar Record" border="0"/></a> <a href="/search~S3/X"><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; "> <script type="text/JavaScript">  </script> <form name="searchtool" target="_self" action="/search~S3/" method='GET'> <label for="searchtype" style="display:none;">SearchType</label> <select name="searchtype" id="searchtype" onChange="initSort()"> <option value="X" selected="selected"> 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"> 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="Communications in Computer and Information Science, 1865-0937 ; 683" />   <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>   <span id="sort_cell"> </span> <script type="text/JavaScript">  </script> <input type="hidden" name="SORT" value="DZ" /><input type="hidden" name="extended" value="0" /> <input type="submit" name="SUBMIT" value="Search" onclick='return searchtoolSubmitAction();' /> <div> <input type="checkbox" name="availlim" value="1" /> <span class="availLimMessage">Limit search to available items</span><br/> </div> <div> <input type="hidden" name="searchlimits" value="" /> <input type="hidden" name="searchorigarg" value="XCommunications in Computer and Information Science, 1865-0937 ; 683&SORT=D" /> </div> </form> <div class="bibSearchtoolMessage"> <i>1 result found. </i> Sorted by <strong>relevance</strong> | <a href="/search~S3/XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=DX&searchscope=3">date</a> | <a href="/search~S3/XCommunications+in+Computer+and+Information+Science%2C+1865-0937+%3B+683&SORT=AX&searchscope=3">title</a> . </div> <div class="bibSearchHistory"> </div> </div> <div class="bibPager"> </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"> <span style="color:RED" ><strong>computer</strong></span></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"><span style="color:RED" ><strong>Communications</strong></span> <span style="color:RED" ><strong>in</strong></span> <span style="color:RED" ><strong>Computer</strong></span> and <span style="color:RED" ><strong>Information</strong></span> <span style="color:RED" ><strong>Science,</strong></span> <span style="color:RED" ><strong>1865-0937</strong></span> &#59<span style="color:RED" ><strong>;</strong></span> <span style="color:RED" ><strong>683</strong></span></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--<span style="color:RED" ><strong>Computer</strong></span> 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--<span style="color:RED" ><strong>Computer</strong></span> 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"><span style="color:RED" ><strong>Communications</strong></span> <span style="color:RED" ><strong>in</strong></span> <span style="color:RED" ><strong>Computer</strong></span> and <span style="color:RED" ><strong>Information</strong></span> <span style="color:RED" ><strong>Science,</strong></span> <span style="color:RED" ><strong>1865-0937</strong></span> &#59<span style="color:RED" ><strong>;</strong></span> <span style="color:RED" ><strong>683</strong></span></a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Contents</td> <td class="bibInfoData"> Processes and data integration <span style="color:RED" ><strong>in</strong></span> the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning <span style="color:RED" ><strong>in</strong></span> 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 <span style="color:RED" ><strong>in</strong></span> Corfu, Greece, <span style="color:RED" ><strong>in</strong></span> October 2014, and the 5th International Symposium, ISoLA 2012, held <span style="color:RED" ><strong>in</strong></span> Heraklion, Crete, Greece, <span style="color:RED" ><strong>in</strong></span> 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 <span style="color:RED" ><strong>in</strong></span> Practice&#34<span style="color:RED" ><strong>;</strong></span> with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications&#34<span style="color:RED" ><strong>;</strong></span> and "Processes and Data Integration <span style="color:RED" ><strong>in</strong></span> the Networked Healthcare&#34<span style="color:RED" ><strong>;</strong></span> 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>