Search Results for - Narrowed by: 2005 - Logic design.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?2024-06-20T10:43:34ZLogically Determined Design : Clockless System Design with NULL Convention Logic.ent://SD_ILS/0/SD_ILS:11836682024-06-20T10:43:34Z2024-06-20T10:43:34Zby Fant, Karl M.<br/><a href="http://ebookcentral.proquest.com/lib/iyte/detail.action?docID=231743">Click to View</a><br/>Format: Electronic Resources<br/>Taxonomies for the Development and Verification of Digital Systemsent://SD_ILS/0/SD_ILS:5042532024-06-20T10:43:34Z2024-06-20T10:43:34Zby Bailey, Brian. editor.<br/><a href="http://dx.doi.org/10.1007/b104217">http://dx.doi.org/10.1007/b104217</a><br/>Format: Electronic Resources<br/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:5047492024-06-20T10:43:34Z2024-06-20T10:43:34Zby Poernomo, Iman Hafiz. author.<br/><a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Abstraction, Refinement and Proof for Probabilistic Systemsent://SD_ILS/0/SD_ILS:5045662024-06-20T10:43:34Z2024-06-20T10:43:34Zby McIver, Annabelle. author.<br/><a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>A Baker's Dozen : Real Analog Solutions for Digital Designers.ent://SD_ILS/0/SD_ILS:11841012024-06-20T10:43:34Z2024-06-20T10:43:34Zby Baker, Bonnie.<br/><a href="http://ebookcentral.proquest.com/lib/iyte/detail.action?docID=234977">Click to View</a><br/>Format: Electronic Resources<br/>Complexity Theory Exploring the Limits of Efficient Algorithmsent://SD_ILS/0/SD_ILS:5092402024-06-20T10:43:34Z2024-06-20T10:43:34Zby Wegener, Ingo. author.<br/><a href="http://dx.doi.org/10.1007/3-540-27477-4">http://dx.doi.org/10.1007/3-540-27477-4</a><br/>Format: Electronic Resources<br/>Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5098282024-06-20T10:43:34Z2024-06-20T10:43:34Zby Hinchey, Michael G. editor.<br/><a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papersent://SD_ILS/0/SD_ILS:5093242024-06-20T10:43:34Z2024-06-20T10:43:34Zby Trinder, Phil. editor.<br/><a href="http://dx.doi.org/10.1007/b102274">http://dx.doi.org/10.1007/b102274</a><br/>Format: Electronic Resources<br/>Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:5101272024-06-20T10:43:34Z2024-06-20T10:43:34Zby Eisinger, Norbert. editor.<br/><a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100342024-06-20T10:43:34Z2024-06-20T10:43:34Zby Steffen, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5102282024-06-20T10:43:34Z2024-06-20T10:43:34Zby Roy, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lecturesent://SD_ILS/0/SD_ILS:5103082024-06-20T10:43:34Z2024-06-20T10:43:34Zby Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104122024-06-20T10:43:34Z2024-06-20T10:43:34Zby Heineman, George T. editor.<br/><a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104132024-06-20T10:43:34Z2024-06-20T10:43:34Zby Beek, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104332024-06-20T10:43:34Z2024-06-20T10:43:34Zby Hung, Dang. editor.<br/><a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format: Electronic Resources<br/>Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5105342024-06-20T10:43:34Z2024-06-20T10:43:34Zby Eijk, Rogier M. editor.<br/><a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103662024-06-20T10:43:34Z2024-06-20T10:43:34Zby Winther, Rune. editor.<br/><a href="http://dx.doi.org/10.1007/11563228">http://dx.doi.org/10.1007/11563228</a><br/>Format: Electronic Resources<br/>Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102862024-06-20T10:43:34Z2024-06-20T10:43:34Zby Bravetti, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:5103952024-06-20T10:43:34Z2024-06-20T10:43:34Zby Leue, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103962024-06-20T10:43:34Z2024-06-20T10:43:34Zby Giesl, Jürgen. editor.<br/><a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format: Electronic Resources<br/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:5090322024-06-20T10:43:34Z2024-06-20T10:43:34Zby Fiadeiro, José Luiz. author.<br/><a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5094862024-06-20T10:43:34Z2024-06-20T10:43:34Zby Moreno, J. Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reportsent://SD_ILS/0/SD_ILS:5097362024-06-20T10:43:34Z2024-06-20T10:43:34Zby Malenfant, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5097392024-06-20T10:43:34Z2024-06-20T10:43:34Zby Hermenegildo, Manuel V. editor.<br/><a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101332024-06-20T10:43:34Z2024-06-20T10:43:34Zby Felice, Clelia. editor.<br/><a href="http://dx.doi.org/10.1007/b137735">http://dx.doi.org/10.1007/b137735</a><br/>Format: Electronic Resources<br/>Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5101342024-06-20T10:43:34Z2024-06-20T10:43:34Zby Etalle, Sandro. editor.<br/><a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5103302024-06-20T10:43:34Z2024-06-20T10:43:34Zby Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102472024-06-20T10:43:34Z2024-06-20T10:43:34Zby Nieuwenhuis, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</a><br/>Format: Electronic Resources<br/>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5106452024-06-20T10:43:34Z2024-06-20T10:43:34Zby Sarukkai, Sundar. editor.<br/><a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5106512024-06-20T10:43:34Z2024-06-20T10:43:34Zby Middeldorp, Aart. editor.<br/><a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Electronic Resources<br/>Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105462024-06-20T10:43:34Z2024-06-20T10:43:34Zby Adi, Asaf. editor.<br/><a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format: Electronic Resources<br/>High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105482024-06-20T10:43:34Z2024-06-20T10:43:34Zby Conte, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/11587514">http://dx.doi.org/10.1007/11587514</a><br/>Format: Electronic Resources<br/>Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learningent://SD_ILS/0/SD_ILS:5105502024-06-20T10:43:34Z2024-06-20T10:43:34Zby Kudenko, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/b106974">http://dx.doi.org/10.1007/b106974</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103502024-06-20T10:43:34Z2024-06-20T10:43:34Zby Halbwachs, Nicolas. editor.<br/><a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104522024-06-20T10:43:34Z2024-06-20T10:43:34Zby Maziero, Carlos Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100882024-06-20T10:43:34Z2024-06-20T10:43:34Zby Pettersson, Paul. editor.<br/><a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5100892024-06-20T10:43:34Z2024-06-20T10:43:34Zby Feitelson, Dror. editor.<br/><a href="http://dx.doi.org/10.1007/11605300">http://dx.doi.org/10.1007/11605300</a><br/>Format: Electronic Resources<br/>Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102802024-06-20T10:43:34Z2024-06-20T10:43:34Zby Ong, Luke. editor.<br/><a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102822024-06-20T10:43:34Z2024-06-20T10:43:34Zby Godefroid, Patrice. editor.<br/><a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102992024-06-20T10:43:34Z2024-06-20T10:43:34Zby Leite, João. editor.<br/><a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104672024-06-20T10:43:34Z2024-06-20T10:43:34Zby Srikanthan, Thambipillai. editor.<br/><a href="http://dx.doi.org/10.1007/11572961">http://dx.doi.org/10.1007/11572961</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104692024-06-20T10:43:34Z2024-06-20T10:43:34Zby Montoyo, Andrés. editor.<br/><a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format: Electronic Resources<br/>Abstract Computing Machines A Lambda Calculus Perspectiveent://SD_ILS/0/SD_ILS:5092092024-06-20T10:43:34Z2024-06-20T10:43:34Zby Kluge, W. author.<br/><a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>A Theory of Distributed Objects Asynchrony — Mobility — Groups — Componentsent://SD_ILS/0/SD_ILS:5091622024-06-20T10:43:34Z2024-06-20T10:43:34Zby Caromel, Denis. author.<br/><a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101372024-06-20T10:43:34Z2024-06-20T10:43:34Zby Etessami, Kousha. editor.<br/><a href="http://dx.doi.org/10.1007/b138445">http://dx.doi.org/10.1007/b138445</a><br/>Format: Electronic Resources<br/>Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5099692024-06-20T10:43:34Z2024-06-20T10:43:34Zby Baumeister, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5102302024-06-20T10:43:34Z2024-06-20T10:43:34Zby Kreowski, Hans-Jörg. editor.<br/><a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102312024-06-20T10:43:34Z2024-06-20T10:43:34Zby Grabowski, Jens. editor.<br/><a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097252024-06-20T10:43:34Z2024-06-20T10:43:34Zby Lodaya, Kamal. editor.<br/><a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5097482024-06-20T10:43:34Z2024-06-20T10:43:34Zby Barthe, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101472024-06-20T10:43:34Z2024-06-20T10:43:34Zby Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5099662024-06-20T10:43:34Z2024-06-20T10:43:34Zby Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100602024-06-20T10:43:34Z2024-06-20T10:43:34Zby Kutvonen, Lea. editor.<br/><a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104192024-06-20T10:43:34Z2024-06-20T10:43:34Zby Reussner, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102042024-06-20T10:43:34Z2024-06-20T10:43:34Zby Hurd, Joe. editor.<br/><a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:5103112024-06-20T10:43:34Z2024-06-20T10:43:34Zby Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103122024-06-20T10:43:34Z2024-06-20T10:43:34Zby Rao, Josyula R. editor.<br/><a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105162024-06-20T10:43:34Z2024-06-20T10:43:34Zby Romijn, Judi. editor.<br/><a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105232024-06-20T10:43:34Z2024-06-20T10:43:34Zby Yi, Kwangkeun. editor.<br/><a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105262024-06-20T10:43:34Z2024-06-20T10:43:34Zby Lau, Kung-Kiu. editor.<br/><a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5105282024-06-20T10:43:34Z2024-06-20T10:43:34Zby Faltings, Boi V. editor.<br/><a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102452024-06-20T10:43:34Z2024-06-20T10:43:34Zby Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102502024-06-20T10:43:34Z2024-06-20T10:43:34Zby Jȩdrzejowicz, Joanna. editor.<br/><a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format: Electronic Resources<br/>Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papersent://SD_ILS/0/SD_ILS:5105412024-06-20T10:43:34Z2024-06-20T10:43:34Zby Abdallah, Ali E. editor.<br/><a href="http://dx.doi.org/10.1007/b136154">http://dx.doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105512024-06-20T10:43:34Z2024-06-20T10:43:34Zby Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102652024-06-20T10:43:34Z2024-06-20T10:43:34Zby Zucker, Jean-Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/11527862">http://dx.doi.org/10.1007/11527862</a><br/>Format: Electronic Resources<br/>Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105572024-06-20T10:43:34Z2024-06-20T10:43:34Zby Dearle, Alan. editor.<br/><a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:5103862024-06-20T10:43:34Z2024-06-20T10:43:34Zby Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103932024-06-20T10:43:34Z2024-06-20T10:43:34Zby Borrione, Dominique. editor.<br/><a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Electronic Resources<br/>Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:5104042024-06-20T10:43:34Z2024-06-20T10:43:34Zby Jermann, Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format: Electronic Resources<br/>A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviorsent://SD_ILS/0/SD_ILS:5092042024-06-20T10:43:34Z2024-06-20T10:43:34Zby Kurki-Suonio, Reino. author.<br/><a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097332024-06-20T10:43:34Z2024-06-20T10:43:34Zby Calude, Cristian S. editor.<br/><a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</a><br/>Format: Electronic Resources<br/>SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100172024-06-20T10:43:34Z2024-06-20T10:43:34Zby Prinz, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/b137793">http://dx.doi.org/10.1007/b137793</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5097552024-06-20T10:43:34Z2024-06-20T10:43:34Zby Odell, James. editor.<br/><a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5097562024-06-20T10:43:34Z2024-06-20T10:43:34Zby Cousot, Radhia. editor.<br/><a href="http://dx.doi.org/10.1007/b105073">http://dx.doi.org/10.1007/b105073</a><br/>Format: Electronic Resources<br/>ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101542024-06-20T10:43:34Z2024-06-20T10:43:34Zby Black, Andrew P. editor.<br/><a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format: Electronic Resources<br/>Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102122024-06-20T10:43:34Z2024-06-20T10:43:34Zby Moreno Díaz, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format: Electronic Resources<br/>Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5101842024-06-20T10:43:34Z2024-06-20T10:43:34Zby Priami, Corrado. editor.<br/><a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5101852024-06-20T10:43:34Z2024-06-20T10:43:34Zby Feitelson, Dror G. editor.<br/><a href="http://dx.doi.org/10.1007/b107134">http://dx.doi.org/10.1007/b107134</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102172024-06-20T10:43:34Z2024-06-20T10:43:34Zby Margenstern, Maurice. editor.<br/><a href="http://dx.doi.org/10.1007/b106980">http://dx.doi.org/10.1007/b106980</a><br/>Format: Electronic Resources<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104402024-06-20T10:43:34Z2024-06-20T10:43:34Zby Paliouras, Vassilis. editor.<br/><a href="http://dx.doi.org/10.1007/11556930">http://dx.doi.org/10.1007/11556930</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104442024-06-20T10:43:34Z2024-06-20T10:43:34Zby Wang, Farn. editor.<br/><a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<br/>Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102592024-06-20T10:43:34Z2024-06-20T10:43:34Zby Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104532024-06-20T10:43:34Z2024-06-20T10:43:34Zby Hartman, Alan. editor.<br/><a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103802024-06-20T10:43:34Z2024-06-20T10:43:34Zby Urzyczyn, Paweł. editor.<br/><a href="http://dx.doi.org/10.1007/b135690">http://dx.doi.org/10.1007/b135690</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103892024-06-20T10:43:34Z2024-06-20T10:43:34Zby Coppo, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format: Electronic Resources<br/>CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103062024-06-20T10:43:34Z2024-06-20T10:43:34Zby Abadi, Martín. editor.<br/><a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<br/>New Algorithms, Architectures and Applications for Reconfigurable Computingent://SD_ILS/0/SD_ILS:5063662024-06-20T10:43:34Z2024-06-20T10:43:34Zby Lysaght, Patrick. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</a><br/>Format: Electronic Resources<br/>Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5094892024-06-20T10:43:34Z2024-06-20T10:43:34Zby Gschwind, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/11550679">http://dx.doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Inconsistency Toleranceent://SD_ILS/0/SD_ILS:5097692024-06-20T10:43:34Z2024-06-20T10:43:34Zby Bertossi, Leopoldo. editor.<br/><a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<br/>Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5102032024-06-20T10:43:34Z2024-06-20T10:43:34Zby Aßmann, Uwe. editor.<br/><a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Electronic Resources<br/>Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103182024-06-20T10:43:34Z2024-06-20T10:43:34Zby Gabbrielli, Maurizio. editor.<br/><a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format: Electronic Resources<br/>Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103252024-06-20T10:43:34Z2024-06-20T10:43:34Zby Morari, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103402024-06-20T10:43:34Z2024-06-20T10:43:34Zby Peled, Doron A. editor.<br/><a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103422024-06-20T10:43:34Z2024-06-20T10:43:34Zby Hankin, Chris. editor.<br/><a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:5105362024-06-20T10:43:34Z2024-06-20T10:43:34Zby Bordini, Rafael H. editor.<br/><a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104422024-06-20T10:43:34Z2024-06-20T10:43:34Zby Gil, Yolanda. editor.<br/><a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103522024-06-20T10:43:34Z2024-06-20T10:43:34Zby Sassone, Vladimiro. editor.<br/><a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103542024-06-20T10:43:34Z2024-06-20T10:43:34Zby Cerioli, Maura. editor.<br/><a href="http://dx.doi.org/10.1007/b107062">http://dx.doi.org/10.1007/b107062</a><br/>Format: Electronic Resources<br/>Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103552024-06-20T10:43:34Z2024-06-20T10:43:34Zby Bodik, Rastislav. editor.<br/><a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103572024-06-20T10:43:34Z2024-06-20T10:43:34Zby Sagiv, Mooly. editor.<br/><a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>A Baker's dozen real analog solutions for digital designersent://SD_ILS/0/SD_ILS:646532024-06-20T10:43:34Z2024-06-20T10:43:34Zby Baker, Bonnie (Bonnie C.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750678193">An electronic book accessible through the World Wide Web; click for information</a>
Publisher description <a href="http://www.loc.gov/catdir/enhancements/fy0623/2005040558-d.html">http://www.loc.gov/catdir/enhancements/fy0623/2005040558-d.html</a>
Table of contents only <a href="http://www.loc.gov/catdir/enhancements/fy0623/2005040558-t.html">http://www.loc.gov/catdir/enhancements/fy0623/2005040558-t.html</a><br/>Format: Electronic Resources<br/>Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5104842024-06-20T10:43:34Z2024-06-20T10:43:34Zby Barley, Michael Wayne. editor.<br/><a href="http://dx.doi.org/10.1007/b107183">http://dx.doi.org/10.1007/b107183</a><br/>Format: Electronic Resources<br/>ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103732024-06-20T10:43:34Z2024-06-20T10:43:34Zby Treharne, Helen. editor.<br/><a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101062024-06-20T10:43:34Z2024-06-20T10:43:34Zby Sutcliffe, Geoff. editor.<br/><a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Model-Based Testing of Reactive Systems Advanced Lecturesent://SD_ILS/0/SD_ILS:5104002024-06-20T10:43:34Z2024-06-20T10:43:34Zby Broy, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/b137241">http://dx.doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5104012024-06-20T10:43:34Z2024-06-20T10:43:34Zby Grelck, Clemens. editor.<br/><a href="http://dx.doi.org/10.1007/b136772">http://dx.doi.org/10.1007/b136772</a><br/>Format: Electronic Resources<br/>Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5104022024-06-20T10:43:34Z2024-06-20T10:43:34Zby Guelfi, Nicolas. editor.<br/><a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Logically determined design : clockless system design with NULL convention logicent://SD_ILS/0/SD_ILS:22815672024-06-20T10:43:34Z2024-06-20T10:43:34Zby Fant, Karl M.<br/><a href="https://learning.oreilly.com/library/view/~/9780471684787">https://learning.oreilly.com/library/view/~/9780471684787</a>
<a href="https://learning.oreilly.com/library/view/~/9780471684787/?ar">https://learning.oreilly.com/library/view/~/9780471684787/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9780471684787/?ar">https://go.oreilly.com/library-access/library/view/-/9780471684787/?ar</a><br/>Format: Electronic Resources<br/>