Search Results for Logic design - Narrowed by: 2006 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue? 2024-11-10T14:51:54Z Digital logic and microprocessor design with VHDL ent://SD_ILS/0/SD_ILS:119643 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hwang, Enoch O.<br/>Preferred Shelf Number&#160;TK7888.4 .H885 2006<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Low-power CMOS circuits technology, logic design and CAD tools ent://SD_ILS/0/SD_ILS:284894 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Piguet, Christian.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420036503">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Switching Theory and Logic Design A Hands on Approach ent://SD_ILS/0/SD_ILS:165712 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Astola, Jaakko T. author.&#160;Stankovi&#263;, Radomir S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30311-1">http://dx.doi.org/10.1007/0-387-30311-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines ent://SD_ILS/0/SD_ILS:183748 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bhattacharya, Alakananda. author.&#160;Konar, Amit. author.&#160;Mandal, Ajit K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33459-0">http://dx.doi.org/10.1007/978-3-540-33459-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault-Tolerance Techniques for SRAM-based FPGAs ent://SD_ILS/0/SD_ILS:165779 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Kastensmidt, Fernanda Lima. author.&#160;Carro, Luigi. author.&#160;Reis, Ricardo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-31069-5">http://dx.doi.org/10.1007/978-0-387-31069-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Problems from Applied Logic I Logics for the XXIst Century ent://SD_ILS/0/SD_ILS:165782 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Gabbay, Dov M. editor.&#160;Goncharov, Sergei S. editor.&#160;Zakharyaschev, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern Formal Methods and Applications ent://SD_ILS/0/SD_ILS:169114 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Gabbar, Hossam A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4223-X">http://dx.doi.org/10.1007/1-4020-4223-X</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;DasGupta, Pallab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems ent://SD_ILS/0/SD_ILS:175386 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bowman, Howard. author.&#160;Gomez, Rodolfo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-336-1">http://dx.doi.org/10.1007/1-84628-336-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 1 Abstraction and Modelling ent://SD_ILS/0/SD_ILS:182582 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bj&oslash;rner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183274 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Durand, Bruno. editor.&#160;Thomas, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183496 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Correa, Jos&eacute; R. editor.&#160;Hevia, Alejandro. editor.&#160;Kiwi, Marcos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:183952 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Gilroy, Stephen W. editor.&#160;Harrison, Michael D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures ent://SD_ILS/0/SD_ILS:184002 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bernardo, Marco. editor.&#160;Cimatti, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184062 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Grieskamp, Wolfgang. editor.&#160;Weise, Carsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184122 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Kop, Christian. editor.&#160;Fliedl, G&uuml;nther. editor.&#160;Mayr, Heinrich C. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184201 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Abrahamsson, Pekka. editor.&#160;Marchesi, Michele. editor.&#160;Succi, Giancarlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184208 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Eliassen, Frank. editor.&#160;Montresor, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184216 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Boissier, Olivier. editor.&#160;Padget, Julian. editor.&#160;Dignum, Virginia. editor.&#160;Lindemann, Gabriela. editor.&#160;Matson, Eric. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 9th International Symposium, CBSE 2006, V&auml;ster&aring;s, Sweden, June 29 - July 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184281 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Gorton, Ian. editor.&#160;Heineman, George T. editor.&#160;Crnkovi&#263;, Ivica. editor.&#160;Schmidt, Heinz W. editor.&#160;Stafford, Judith A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184282 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Uustalu, Tarmo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184283 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Johnson, Michael. editor.&#160;Vene, Varmo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2006 &ndash; Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184297 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Thomas, Dave. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:184309 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Reussner, Ralf H. editor.&#160;Stafford, Judith A. editor.&#160;Szyperski, Clemens A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184676 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Mizoguchi, Riichiro. editor.&#160;Shi, Zhongzhi. editor.&#160;Giunchiglia, Fausto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184696 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bravetti, Mario. editor.&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184539 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Ball, Thomas. editor.&#160;Jones, Robert B. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184718 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Vounckx, Johan. editor.&#160;Azemard, Nadine. editor.&#160;Maurine, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184758 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Jesshope, Chris. editor.&#160;Egan, Colin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11859802">http://dx.doi.org/10.1007/11859802</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184764 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Lightfoot, David E. editor.&#160;Szyperski, Clemens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184820 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Asarin, Eugene. editor.&#160;Bouyer, Patricia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184828 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Sakakibara, Yasubumi. editor.&#160;Kobayashi, Satoshi. editor.&#160;Sato, Kengo. editor.&#160;Nishino, Tetsuro. editor.&#160;Tomita, Etsuji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11872436">http://dx.doi.org/10.1007/11872436</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variations on Constants Flow Analysis of Sequential and Parallel Programs ent://SD_ILS/0/SD_ILS:184841 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;M&uuml;ller-Olm, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184845 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;&Eacute;sik, Zolt&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir&atilde;o Preto, Brazil, October 23-27, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184846 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Sichman, Jaime Sim&atilde;o. editor.&#160;Coelho, Helder. editor.&#160;Rezende, Solange Oliveira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184890 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Najm, Elie. editor.&#160;Pradat-Peyre, Jean-Fran&ccedil;ois. editor.&#160;Donzeau-Gouge, V&eacute;ronique Vigui&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184911 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Benhamou, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11889205">http://dx.doi.org/10.1007/11889205</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184972 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Goubin, Louis. editor.&#160;Matsui, Mitsuru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185008 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Graf, Susanne. editor.&#160;Zhang, Wenhui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185017 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Liu, Zhiming. editor.&#160;He, Jifeng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185152 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185155 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Kobayashi, Naoki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185165 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Cruz, Isabel. editor.&#160;Decker, Stefan. editor.&#160;Allemang, Dean. editor.&#160;Preist, Chris. editor.&#160;Schwabe, Daniel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185247 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Havelund, Klaus. editor.&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Ro&#351;u, Grigore. editor.&#160;Wolff, Burkhart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185310 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Arun-Kumar, S. editor.&#160;Garg, Naveen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Introduction to Programming ent://SD_ILS/0/SD_ILS:175351 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Mills, Bruce. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:183707 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;MacCaull, Wendy. editor.&#160;Winter, Michael. editor.&#160;D&uuml;ntsch, Ivo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183744 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hagiya, Masami. editor.&#160;Wadler, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 3 Domains, Requirements, and Software Design ent://SD_ILS/0/SD_ILS:183791 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bj&oslash;ner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183805 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Barthe, Gilles. editor.&#160;Gr&eacute;goire, Benjamin. editor.&#160;Huisman, Marieke. editor.&#160;Lanet, Jean-Louis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183925 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Guelfi, Nicolas. editor.&#160;Savidis, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183971 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hnich, Brahim. editor.&#160;Carlsson, Mats. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183938 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Zambonelli, Franco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184185 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Gorrieri, Roberto. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture &ndash; Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184322 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Rensink, Arend. editor.&#160;Warmer, Jos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11787044">http://dx.doi.org/10.1007/11787044</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184398 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Etalle, Sandro. editor.&#160;Truszczy&#324;ski, Miros&#322;aw. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:184426 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184447 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184457 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Shi, Zhong-Zhi. editor.&#160;Sadananda, Ramakoti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11802372">http://dx.doi.org/10.1007/11802372</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184493 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Furbach, Ulrich. editor.&#160;Shankar, Natarajan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184501 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Ibarra, Oscar H. editor.&#160;Yen, Hsu-Chun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11812128">http://dx.doi.org/10.1007/11812128</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184502 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Misra, Jayadev. editor.&#160;Nipkow, Tobias. editor.&#160;Sekerinski, Emil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184697 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Corradini, Andrea. editor.&#160;Ehrig, Hartmut. editor.&#160;Montanari, Ugo. editor.&#160;Ribeiro, Leila. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2006 &ndash; Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184536 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Baier, Christel. editor.&#160;Hermanns, Holger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Star&aacute; Lesn&aacute;, Slovakia, August 28-September 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184636 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor.&#160;Urzyczyn, Pawe&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184859 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;G&oacute;rski, Janusz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11875567">http://dx.doi.org/10.1007/11875567</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185128 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Barkaoui, Kamel. editor.&#160;Cavalcanti, Ana. editor.&#160;Cerone, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, V&auml;ster&aring;s, Sweden, June 27-29, 2006 Revised Papers ent://SD_ILS/0/SD_ILS:185130 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hofmeister, Christine. editor.&#160;Crnkovic, Ivica. editor.&#160;Reussner, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185067 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hermann, Miki. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:185372 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Dignum, Frank P. M. editor.&#160;Eijk, Rogier M. editor.&#160;Flores, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185459 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Gotzhein, Reinhard. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besan&ccedil;on, France, January 17-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:185576 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Julliand, Jacques. editor.&#160;Kouchnarenko, Olga. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:185665 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Baldoni, Matteo. editor.&#160;Endriss, Ulle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logischer Entwurf digitaler Systeme ent://SD_ILS/0/SD_ILS:182032 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Liebig, Hans. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29430-9">http://dx.doi.org/10.1007/3-540-29430-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Layoutsynthese elektronischer Schaltungen &mdash; Grundlegende Algorithmen f&uuml;r die Entwurfsautomatisierung ent://SD_ILS/0/SD_ILS:182190 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Lienig, Jens. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Algebraic Graph Transformation ent://SD_ILS/0/SD_ILS:182540 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Ehrig, Hartmut. author.&#160;Ehrig, Karsten. author.&#160;Prange, Ulrike. author.&#160;Taentzer, Gabriele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182627 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Filli&acirc;tre, Jean-Christophe. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Werner, Benjamin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11617990">http://dx.doi.org/10.1007/11617990</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:182789 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Emerson, E. Allen. editor.&#160;Namjoshi, Kedar S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:182831 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hentenryck, Pascal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:182884 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Hegner, Stephen J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183445 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Ur, Shmuel. editor.&#160;Bin, Eyal. editor.&#160;Wolfsthal, Yaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183451 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi M. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183465 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hill, Patricia M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11680093">http://dx.doi.org/10.1007/11680093</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183516 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Thompson, Simon G. editor.&#160;Ghanea-Hercock, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183600 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Aceto, Luca. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183602 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Mycroft, Alan. editor.&#160;Zeller, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183604 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hermanns, Holger. editor.&#160;Palsberg, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183616 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Baresi, Luciano. editor.&#160;Heckel, Reiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183617 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Sestoft, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183618 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Farr&eacute;, Jacques. editor.&#160;Litovsky, Igor. editor.&#160;Schmitz, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11605157">http://dx.doi.org/10.1007/11605157</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183621 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Valmari, Antti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11691617">http://dx.doi.org/10.1007/11691617</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:183623 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Baldoni, Matteo. editor.&#160;Endriss, Ulle. editor.&#160;Omicini, Andrea. editor.&#160;Torroni, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183645 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Hespanha, Jo&atilde;o P. editor.&#160;Tiwari, Ashish. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 2 Specification of Systems and Languages ent://SD_ILS/0/SD_ILS:183656 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Bj&oslash;rner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184242 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Horv&aacute;th, Andr&aacute;s. editor.&#160;Telek, Mikl&oacute;s. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184249 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Ibarra, Oscar H. editor.&#160;Dang, Zhe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:184259 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Futatsugi, Kokichi. editor.&#160;Jouannaud, Jean-Pierre. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:184261 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Yli-Jyr&auml;, Anssi. editor.&#160;Karttunen, Lauri. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers ent://SD_ILS/0/SD_ILS:184585 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;L&ouml;we, Welf. editor.&#160;S&uuml;dholt, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Software &ndash; Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184601 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Broy, Manfred. editor.&#160;Kr&uuml;ger, Ingolf H. editor.&#160;Meisinger, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184632 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185733 2024-11-10T14:51:54Z 2024-11-10T14:51:54Z Author&#160;Butterfield, Andrew. editor.&#160;Grelck, Clemens. editor.&#160;Huch, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11964681">http://dx.doi.org/10.1007/11964681</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>