Search Results for AUTHOR - Narrowed by: Logic design SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dAUTHOR$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign$0026ps$003d300$0026isd$003dtrue?dt=list 2019-10-15T23:40:15Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1431288 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Concrete Semantics [electronic resource] : With Isabelle/HOL<br/>by&#160;Nipkow, Tobias. author.&#160;Klein, Gerwin. author.<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-319-10542-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1305753 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Modelling Computing Systems [electronic resource] : Mathematics for Computer Science<br/>by&#160;Moller, Faron. author.&#160;Struth, Georg. author.<br/>Published&#160;2013.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-84800-322-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1307128 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Drawing Programs: The Theory and Practice of Schematic Functional Programming [electronic resource]<br/>by&#160;Addis, Tom. author.&#160;Addis, Jan. author.<br/>Published&#160;2010.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-84882-618-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1309876 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Design of Logic Systems [electronic resource]<br/>by&#160;Lewin, D. author.&#160;Protheroe, D. author.<br/>Published&#160;1992.<br/>Edition&#160;Second edition.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-4899-6856-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330165 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Practical Analysis of Algorithms [electronic resource]<br/>by&#160;Vrajitoru, Dana. author.&#160;Knight, William. author.&#160;SpringerLink (Online service)<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-319-09888-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1509924 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Logic synthesis for FPGA-based finite state machines<br/>by&#160;Barkalov, Alexander, author.&#160;Titarenko, Larysa, author.&#160;Kolopienczyk, Malgorzata, author.&#160;Mielcarek, Kamil, author.&#160;Bazydlo, Grzegorz, author.<br/>Published&#160;2016.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://link.springer.com/10.1007/978-3-319-24202-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479793 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Principles of Program Analysis [electronic resource]<br/>by&#160;Nielson, Flemming. author.&#160;Nielson, Hanne Riis. author.&#160;Hankin, Chris. author.&#160;SpringerLink (Online service)<br/>Published&#160;1999.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-03811-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1873232 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Verilog HDL design examples<br/>by&#160;Cavanagh, Joseph, author.&#160;CRC Press.<br/>Published&#160;[2017].<br/>Edition&#160;First edition.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=https://www.taylorfrancis.com/books/9781351596305">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1755890 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Applied digital logic exercises using FPGAs<br/>by&#160;Wick, Kurt, author.&#160;Morgan &amp; Claypool Publishers, publisher.&#160;Institute of Physics (Great Britain), publisher.<br/>Published&#160;[2017]<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1088/978-1-6817-4660-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1753614 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Fundamentals of computer architecture and design<br/>by&#160;Bindal, Ahmet, author.<br/>Published&#160;2017.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://link.springer.com/10.1007/978-3-319-25811-9">e-book</a><br/> Book ent://SD_ILS/0/SD_ILS:1327307 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Digital logic design and computer organization : with computer architecture for security<br/>by&#160;Faroughi, Nikrouz, author.<br/>Published&#160;[2015]<br/>Library&#160;Lee Wee Nam Library<br/>Call Number&#160;QA76.9.C643F237<br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1302792 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Big Data Integration Theory [electronic resource] : Theory and Methods of Database Mappings, Programming Languages, and Semantics<br/>by&#160;Majkic, Zoran. author.<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-319-04156-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1301170 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Programming Languages and Operational Semantics [electronic resource] : A Concise Overview<br/>by&#160;Fernandez, Maribel. author.<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-4471-6368-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479834 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Semantics of Probabilistic Processes [electronic resource] : An Operational Approach<br/>by&#160;Deng, Yuxin. author.&#160;SpringerLink (Online service)<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-45198-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1307010 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics<br/>by&#160;Mogavero, Fabio. author.<br/>Published&#160;2013.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.2991/978-94-91216-95-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1307440 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z VLSI Chip Design with the Hardware Description Language VERILOG [electronic resource] : An Introduction Based on a Large RISC Processor Design<br/>by&#160;Golze, Ulrich. author.<br/>Published&#160;1996.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-61001-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1311786 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Combinatorial Search Problems [electronic resource] : Lectures held at the Department for Automation and Information June 1972<br/>by&#160;Katona, Gyula. author.<br/>Published&#160;1972.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-7091-4317-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1308114 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Understanding Agent Systems [electronic resource]<br/>by&#160;d'Inverno, Mark. author.&#160;Luck, Michael. author.<br/>Published&#160;2001.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-04607-4">e-book</a><br/> Book ent://SD_ILS/0/SD_ILS:1485680 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Digital design and computer architecture<br/>by&#160;Harris, Sarah L., author.&#160;Harris, David Money, author.<br/>Published&#160;[2015]<br/>Edition&#160;ARM&reg; Edition<br/>Library&#160;Lee Wee Nam Library<br/>Call Number&#160;TK7868.D5H313 2016<br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1488923 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Introduction to Annotated Logics [electronic resource] : Foundations for Paracomplete and Paraconsistent Reasoning<br/>by&#160;Abe, Jair Minoro. author.&#160;Akama, Seiki. author.&#160;Nakamatsu, Kazumi. author.<br/>Published&#160;2015.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-319-17912-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1741949 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Introduction to logic circuits &amp; logic design with Verilog<br/>by&#160;LaMeres, Brock J., author.<br/>Published&#160;2017.<br/>Edition&#160;1st edition.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://link.springer.com/10.1007/978-3-319-53883-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1840959 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry<br/>by&#160;Ferguson, Thomas Macaulay, author.<br/>Published&#160;2017.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://link.springer.com/10.1007/978-3-319-70821-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1307822 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Language Equations [electronic resource]<br/>by&#160;Leiss, Ernst L. author.<br/>Published&#160;1999.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-4612-2156-2">e-book</a><br/> Book ent://SD_ILS/0/SD_ILS:1750156 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Digital design : with an introduction to the verilog HDL, VHDL, and system Verilog<br/>by&#160;Mano, M. Morris, 1927- author.&#160;Ciletti, Michael D., author.<br/>Published&#160;[2018]<br/>Edition&#160;Sixth edition.<br/>Library&#160;Lee Wee Nam Library<br/>Call Number&#160;TK7888.3.M285 2018<br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1303669 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Verification of Business Rules Programs [electronic resource]<br/>by&#160;Berstel-Da Silva, Bruno. author.<br/>Published&#160;2014.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-40038-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1171994 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings<br/>by&#160;Kahl, Wolfram.&#160;Griffin, Timothy G.&#160;SpringerLink (Online service)<br/>Published&#160;2012.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-33314-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:545290 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z A Baker's dozen [electronic resource] : real analog solutions for digital designers<br/>by&#160;Baker, Bonnie (Bonnie C.)&#160;Engineering Information, Inc.<br/>Published&#160;2005.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://www.sciencedirect.com/science/book/9780750678193">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1192410 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Higher-Level Hardware Synthesis [electronic resource]<br/>by&#160;Sharp, Richard.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b95732">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1192618 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Semirings for Soft Constraint Solving and Programming [electronic resource]<br/>by&#160;Bistarelli, Stefano.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b95712">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1210658 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Formal Engineering for Industrial Software Development [electronic resource] : Using the SOFL Method<br/>by&#160;Liu, Shaoying.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-07287-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1211002 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Switching Theory [electronic resource] : Insight through Predicate Logic<br/>by&#160;Vingron, Shimon P.&#160;SpringerLink (Online service)<br/>Published&#160;2004.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-10174-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196256 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Interactive Markov Chains [electronic resource] : And the Quest for Quantified Quality<br/>by&#160;Hermanns, Holger.&#160;SpringerLink (Online service)<br/>Published&#160;2002.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-45804-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195340 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Randomness and Completeness in Computational Complexity [electronic resource]<br/>by&#160;Melkebeek, Dieter.&#160;SpringerLink (Online service)<br/>Published&#160;2000.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-44545-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196591 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Concurrent Reactive Plans [electronic resource] : Anticipating and Forestalling Execution Failures<br/>by&#160;Beetz, Michael.&#160;SpringerLink (Online service)<br/>Published&#160;2000.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-46436-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1178764 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z State-Space Search [electronic resource] : Algorithms, Complexity, Extensions, and Applications<br/>by&#160;Zhang, Weixiong.&#160;SpringerLink (Online service)<br/>Published&#160;1999.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-1-4612-1538-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1200596 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Interacting Code Motion Transformations: Their Impact and Their Complexity [electronic resource]<br/>by&#160;R&uuml;thing, O.&#160;SpringerLink (Online service)<br/>Published&#160;1998.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-49209-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1209751 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Elements of Distributed Algorithms [electronic resource] : Modeling and Analysis with Petri Nets<br/>by&#160;Reisig, Wolfgang.&#160;SpringerLink (Online service)<br/>Published&#160;1998.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-662-03687-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1201281 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Automatic Verification of Sequential Infinite-State Processes [electronic resource]<br/>by&#160;Burkart, Olaf.&#160;SpringerLink (Online service)<br/>Published&#160;1997.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-69678-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1200709 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem<br/>by&#160;Godefroid, Patrice.&#160;SpringerLink (Online service)<br/>Published&#160;1996.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-60761-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1203089 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Digital Circuit Design for Computer Science Students [electronic resource] : An Introductory Textbook<br/>by&#160;Wirth, Niklaus.&#160;SpringerLink (Online service)<br/>Published&#160;1995.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-57780-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197900 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems [electronic resource]<br/>by&#160;Sudan, Madhu.&#160;SpringerLink (Online service)<br/>Published&#160;1995.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-60615-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197836 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z FM8501: A Verified Microprocessor [electronic resource]<br/>by&#160;Hunt, Warren A.&#160;SpringerLink (Online service)<br/>Published&#160;1994.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-57960-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197851 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Multiagent Systems [electronic resource] : A Theoretical Framework for Intentions, Know-How, and Communications<br/>by&#160;Singh, Munindar P.&#160;SpringerLink (Online service)<br/>Published&#160;1994.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/BFb0030531">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197959 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Turing Machines with Sublogarithmic Space [electronic resource]<br/>by&#160;Szepietowski, Andrzej.&#160;SpringerLink (Online service)<br/>Published&#160;1994.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-58355-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196678 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Algebraic Specification Techniques in Object Oriented Programming Environments [electronic resource]<br/>by&#160;Breu, Ruth.&#160;SpringerLink (Online service)<br/>Published&#160;1991.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/3-540-54972-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1204052 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Compiler Generators [electronic resource] : What They Can Do, What They Might Do, and What They Will Probably Never Do<br/>by&#160;Tofte, Mads.&#160;SpringerLink (Online service)<br/>Published&#160;1990.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-61504-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197045 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z On the Shape of Mathematical Arguments [electronic resource]<br/>by&#160;Gasteren, Antonetta J. M.&#160;SpringerLink (Online service)<br/>Published&#160;1990.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/BFb0020908">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196459 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z STACS 89 [electronic resource] : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16&ndash;18, 1989 Proceedings<br/>by&#160;Monien, B.&#160;Cori, R.&#160;SpringerLink (Online service)<br/>Published&#160;1989.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/BFb0028968">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1205963 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Computing in Horn Clause Theories [electronic resource]<br/>by&#160;Padawitz, Peter.&#160;SpringerLink (Online service)<br/>Published&#160;1988.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-73824-1">e-book</a><br/> Book ent://SD_ILS/0/SD_ILS:35923 2019-10-15T23:40:15Z 2019-10-15T23:40:15Z Digital design<br/>by&#160;Mano, M. Morris, 1927-<br/>Published&#160;c1984.<br/>Library&#160;Lee Wee Nam Library<br/>Call Number&#160;TK7888.3.M285<br/>