Search Results for AUTHOR - Narrowed by: SpringerLink (Online service) - Software engineering SirsiDynix Enterprise https://eps.ntu.edu.sg/client/en_GB/OPAC/OPAC/qu$003dAUTHOR$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering$0026ps$003d300?dt=list 2019-10-21T11:08:31Z eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479197 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z From Requirements to Java in a Snap [electronic resource] : Model-Driven Requirements Engineering in Practice<br/>by&#160;&#346;mia&#322;ek, Micha&#322;. author.&#160;Nowakowski, Wiktor. author.&#160;SpringerLink (Online service)<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-12838-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330162 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Autonomy Requirements Engineering for Space Missions [electronic resource]<br/>by&#160;Vassev, Emil. author.&#160;Hinchey, Mike. 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-09816-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330184 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Agile Anywhere [electronic resource] : Essays on Agile Projects and Beyond<br/>by&#160;Hazzan, Orit. author.&#160;Dubinsky, Yael. 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-10157-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330235 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z An Introduction to Design Science [electronic resource]<br/>by&#160;Johannesson, Paul. author.&#160;Perjons, Erik. 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-10632-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330449 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Mashups [electronic resource] : Concepts, Models and Architectures<br/>by&#160;Daniel, Florian. author.&#160;Matera, Maristella. 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-642-55049-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330494 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z User-Centred Engineering [electronic resource] : Creating Products for Humans<br/>by&#160;Richter, Michael. author.&#160;Fluckiger, Markus. 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-43989-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479272 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Information Systems Management in the Big Data Era [electronic resource]<br/>by&#160;Lake, Peter. author.&#160;Drake, Robert. 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-13503-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479184 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z UML @ Classroom [electronic resource] : An Introduction to Object-Oriented Modeling<br/>by&#160;Seidl, Martina. author.&#160;Scholz, Marion. author.&#160;Huemer, Christian. author.&#160;Kappel, Gerti. author.&#160;SpringerLink (Online service)<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-12742-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479725 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Supercomputing for Molecular Dynamics Simulations [electronic resource] : Handling Multi-Trillion Particles in Nanofluidics<br/>by&#160;Heinecke, Alexander. author.&#160;Eckhardt, Wolfgang. author.&#160;Horsch, Martin. author.&#160;Bungartz, Hans-Joachim. author.&#160;SpringerLink (Online service)<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-17148-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1478878 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z A Practical Guide to TPM 2.0 [electronic resource] : Using the New Trusted Platform Module in the New Age of Security<br/>by&#160;Arthur, Will. author.&#160;Challener, David. author.&#160;Goldman, Kenneth. author.&#160;SpringerLink (Online service)<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-1-4302-6584-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330470 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Automatic Generation of Combinatorial Test Data [electronic resource]<br/>by&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. 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-43429-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479072 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z A Rigorous Semantics for BPMN 2.0 Process Diagrams [electronic resource]<br/>by&#160;Kossak, Felix. author.&#160;Illibauer, Christa. author.&#160;Geist, Verena. author.&#160;Kubovy, Jan. author.&#160;Natschl&auml;ger, Christine. 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-09931-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479793 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1479126 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z The Scrum Culture [electronic resource] : Introducing Agile Methods in Organizations<br/>by&#160;Maximini, Dominik. author.&#160;SpringerLink (Online service)<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-11827-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479676 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Managing Agile [electronic resource] : Strategy, Implementation, Organisation and People<br/>by&#160;Moran, Alan. author.&#160;SpringerLink (Online service)<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-16262-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479751 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Programming Smalltalk &ndash; Object-Orientation from the Beginning [electronic resource] : An introduction to the principles of programming<br/>by&#160;Brauer, Johannes. author.&#160;SpringerLink (Online service)<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-658-06823-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479808 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Understanding Network Hacks [electronic resource] : Attack and Defense with Python<br/>by&#160;Ballmann, Bastian. author.&#160;SpringerLink (Online service)<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-662-44437-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1625375 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software, Animation and the Moving Image: What&rsquo;s in the Box? [electronic resource]<br/>by&#160;Wood, Aylish. author.&#160;SpringerLink (Online service)<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.1057/9781137448859">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1478928 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Practical Enterprise Software Development Techniques [electronic resource] : Tools and Techniques for Large Scale Solutions<br/>by&#160;Crookshanks, Edward. author.&#160;SpringerLink (Online service)<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-1-4842-0620-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1323132 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z A Beginner's Guide to Scala, Object Orientation and Functional Programming [electronic resource]<br/>by&#160;Hunt, John. 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-06776-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1323325 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Aligning Business Processes and Information Systems [electronic resource] : New Approaches to Continuous Quality Engineering<br/>by&#160;Heinrich, Robert. 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-658-06518-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1329719 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Beginning Application Lifecycle Management [electronic resource]<br/>by&#160;Rossberg, Joachim. 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-1-4302-5813-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1329734 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Platform Embedded Security Technology Revealed [electronic resource]<br/>by&#160;Ruan, Xiaoyu. 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-1-4302-6572-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1329748 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Advanced API Security [electronic resource] : Securing APIs with OAuth 2.0, OpenID Connect, JWS, and JWE<br/>by&#160;Siriwardena, Prabath. 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-1-4302-6817-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330183 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Enterprise Information Systems Engineering [electronic resource] : The MERODE Approach<br/>by&#160;Snoeck, Monique. 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-10145-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330445 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Agile Kaizen [electronic resource] : Managing Continuous Improvement Far Beyond Retrospectives<br/>by&#160;Medinilla, &Aacute;ngel. 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-642-54991-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330466 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Break-Glass [electronic resource] : Handling Exceptional Situations in Access Control<br/>by&#160;Petritsch, Helmut. 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-658-07365-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330467 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Modeling and Simulation of Complex Systems [electronic resource] : A Framework for Efficient Agent-Based Modeling and Simulation<br/>by&#160;Siegfried, Robert. 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-658-07529-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479375 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z The Python Workbook [electronic resource] : A Brief Introduction with Exercises and Solutions<br/>by&#160;Stephenson, Ben. 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-14240-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1616443 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Credit Scoring, Response Modeling, and Insurance Rating [electronic resource] : A Practical Guide to Forecasting Consumer Behavior<br/>by&#160;Finlay, Steven. author.&#160;SpringerLink (Online service)<br/>Published&#160;2012.<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.1057/9781137031693">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1323009 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Engineering Techniques Applied to Agricultural Systems [electronic resource] : An Object-Oriented and UML Approach<br/>by&#160;Papajorgji, Petraq J. author.&#160;Pardalos, Panos M. author.&#160;SpringerLink (Online service)<br/>Published&#160;2014.<br/>Edition&#160;2nd ed. 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-4899-7463-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479294 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Cloud Portability and Interoperability [electronic resource] : Issues and Current Trends<br/>by&#160;Di Martino, Beniamino. author.&#160;Cretella, Giuseppina. author.&#160;Esposito, Antonio. author.&#160;SpringerLink (Online service)<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-13701-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1330442 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z A Primer on Scientific Programming with Python [electronic resource]<br/>by&#160;Langtangen, Hans Petter. author.&#160;SpringerLink (Online service)<br/>Published&#160;2014.<br/>Edition&#160;4th ed. 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-54959-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:912928 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z The Philosophy of Software [electronic resource] : Code and Mediation in the Digital Age<br/>by&#160;Berry, David M. author.&#160;SpringerLink (Online service)<br/>Published&#160;2011.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1057/9780230306479">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1479151 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Information Systems Reengineering, Integration and Normalization [electronic resource]<br/>by&#160;Fong, Joseph Shi Piu. author.&#160;SpringerLink (Online service)<br/>Published&#160;2015.<br/>Edition&#160;3rd ed. 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-12295-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1168789 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations<br/>by&#160;Raynal, Michel.&#160;SpringerLink (Online service)<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-3-642-32027-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1168807 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Introduction to Cryptography with Maple [electronic resource]<br/>by&#160;G&oacute;mez Pardo, Jos&eacute; Luis.&#160;SpringerLink (Online service)<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-3-642-32166-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1168821 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Surface- and Groundwater Quality Changes in Periods of Water Scarcity [electronic resource]<br/>by&#160;Gregor, Milo&scaron;.&#160;SpringerLink (Online service)<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-3-642-32244-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1169556 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Seminal Contributions to Information Systems Engineering [electronic resource] : 25 Years of CAiSE<br/>by&#160;Bubenko, Janis.&#160;Krogstie, John.&#160;Pastor, Oscar.&#160;Pernici, Barbara.&#160;Rolland, Colette.<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-3-642-36926-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1171615 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Protocol Engineering [electronic resource]<br/>by&#160;K&ouml;nig, Hartmut.&#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-29145-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1171994 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1176642 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z J2ME Games with MIDP2 [electronic resource]<br/>by&#160;Hamer, Carol.&#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-1-4302-0697-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1178066 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Guide to Applying Human Factors Methods [electronic resource] : Human Error and Accident Management in Safety-Critical Systems<br/>by&#160;Cacciabue, Pietro Carlo.&#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-1-4471-3812-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1192410 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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-21T11:08:31Z 2019-10-21T11:08:31Z 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-21T11:08:31Z 2019-10-21T11:08:31Z 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:1195802 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Security Engineering with Patterns [electronic resource] : Origins, Theoretical Model, and New Applications<br/>by&#160;Schumacher, Markus.&#160;SpringerLink (Online service)<br/>Published&#160;2003.<br/>Library&#160;Virtual Library<br/>Online Access&#160;<a href="http://ezlibproxy1.ntu.edu.sg/login?url=http://dx.doi.org/10.1007/b11930">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176646 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Debugging Strategies for .NET Developers [electronic resource]<br/>by&#160;Dillon, Darin.&#160;SpringerLink (Online service)<br/>Published&#160;2003.<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-4302-0760-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176650 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Microsoft Office Programming: A Guide for Experienced Developers [electronic resource]<br/>by&#160;Stephens, Rod.&#160;SpringerLink (Online service)<br/>Published&#160;2003.<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-4302-0795-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176653 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Introduction to 3D Game Engine Design Using DirectX 9 and C# [electronic resource]<br/>by&#160;Harrison, Lynn Thomas.&#160;SpringerLink (Online service)<br/>Published&#160;2003.<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-4302-0821-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196256 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1176654 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Robot Building for Beginners [electronic resource]<br/>by&#160;Cook, David.&#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/978-1-4302-0826-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176661 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Development on a Leash [electronic resource]<br/>by&#160;Birmingham, David C.&#160;Perry, Valerie Haynes.&#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/978-1-4302-1147-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177028 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Practical Software Reuse [electronic resource]<br/>by&#160;Ezran, Michel.&#160;Morisio, Maurizio.&#160;Tully, Colin.&#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/978-1-4471-0141-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177035 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Coping with IS/IT Risk Management [electronic resource] : The Recipes of Experienced Project Managers<br/>by&#160;Moynihan, Tony.&#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/978-1-4471-0155-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1183490 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Distributed and Parallel Systems [electronic resource] : Cluster and Grid Computing<br/>by&#160;Kacsuk, P&eacute;ter.&#160;Kranzlm&uuml;ller, Dieter.&#160;N&eacute;meth, Zsolt.&#160;Volkert, Jens.&#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/978-1-4615-1167-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195603 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Objective Coordination in Multi-Agent System Engineering [electronic resource] : Design and Implementation<br/>by&#160;Schumacher, Michael.&#160;SpringerLink (Online service)<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/3-540-44933-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195788 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Iterative Software Engineering for Multiagent Systems [electronic resource] : The MASSIVE Method<br/>by&#160;Lind, J&uuml;rgen.&#160;SpringerLink (Online service)<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/3-540-45162-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176655 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Java&trade; Collections [electronic resource]<br/>by&#160;Zukowski, John.&#160;SpringerLink (Online service)<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-1-4302-0854-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1176659 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Visual Basic for Testers [electronic resource]<br/>by&#160;Sweeney, Mary Romero.&#160;SpringerLink (Online service)<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-1-4302-1138-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195187 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Mobile Agents: Control Algorithms [electronic resource]<br/>by&#160;Baumann, Joachim.&#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/10704127">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1195606 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Problem-Solving Methods [electronic resource] : Understanding, Description, Development, and Reuse<br/>by&#160;Fensel, 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-44936-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196594 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Part-Whole Reasoning in an Object-Centered Framework [electronic resource]<br/>by&#160;Lambrix, Patrick.&#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-46440-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1185052 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Automatic Re-engineering of Software Using Genetic Programming [electronic resource]<br/>by&#160;Ryan, Conor.&#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/978-1-4615-4631-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1178659 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Using the STL [electronic resource] : The C++ Standard Template Library<br/>by&#160;Robson, Robert.&#160;SpringerLink (Online service)<br/>Published&#160;2000.<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-4612-1312-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196742 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Models and Tools for Managing Development Processes [electronic resource]<br/>by&#160;Westfechtel, Bernhard.&#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/3-540-46708-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177932 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z High-Integrity System Specification and Design [electronic resource]<br/>by&#160;Bowen, Jonathan P.&#160;Hinchey, Michael G.&#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-4471-3431-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177549 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Reuse [electronic resource]<br/>by&#160;Coulange, Bernard.&#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-1-4471-1511-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1200596 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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-21T11:08:31Z 2019-10-21T11:08:31Z 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:1185606 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Engineering and Environment [electronic resource] : An Object-Oriented Perspective<br/>by&#160;Sheu, Phillip C.-Y.&#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/978-1-4615-5907-8">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1178933 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Objects and Systems [electronic resource] : Principled Design with Implementations in C++ and Java<br/>by&#160;Zeigler, Bernard P.&#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/978-1-4612-1912-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1178950 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Problem Solving with Fortran 90 [electronic resource] : For Scientists and Engineers<br/>by&#160;Brooks, David R.&#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/978-1-4612-1952-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1179080 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Into the Realm of Oberon [electronic resource] : An Introduction to Programming and the Oberon-2 Programming Language<br/>by&#160;Nikitin, Eric W.&#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/978-1-4612-2300-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1188831 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z An Integrated Approach to Software Engineering [electronic resource]<br/>by&#160;Jalote, Pankaj.&#160;SpringerLink (Online service)<br/>Published&#160;1997.<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-4684-9312-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1189462 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z The Art of Analysis [electronic resource]<br/>by&#160;Langer, Arthur M.&#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/978-1-4757-2748-7">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1201281 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1203215 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Clause and Effect [electronic resource] : Prolog Programming for the Working Programmer<br/>by&#160;Clocksin, William F.&#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/978-3-642-58274-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1203876 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use<br/>by&#160;Jensen, Kurt.&#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/978-3-642-60794-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1181267 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Principles of Distributed Systems [electronic resource]<br/>by&#160;Garg, Vijay K.&#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/978-1-4613-1321-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1181268 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Design of Reservation Protocols for Multimedia Communication [electronic resource]<br/>by&#160;Delgrossi, Luca.&#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/978-1-4613-1323-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1189371 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Rigorous Global Search: Continuous Problems [electronic resource]<br/>by&#160;Kearfott, R. Baker.&#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/978-1-4757-2495-0">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1200709 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1200770 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z The Design of Intelligent Agents [electronic resource] : A Layered Approach<br/>by&#160;M&uuml;ller, J&ouml;rg P.&#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/BFb0017806">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197900 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1200511 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Parallel, Distributed and Multiagent Production Systems [electronic resource]<br/>by&#160;Ishida, Toru.&#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-58698-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1198076 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Distributed Programming Paradigms with Cryptography Applications [electronic resource]<br/>by&#160;Greenfield, Jonathan S.&#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/BFb0017590">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1206908 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Object-Oriented Programming [electronic resource] : with Prototypes<br/>by&#160;Blaschek, G&uuml;nther.&#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/978-3-642-78077-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197013 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z The Nested Universal Relation Database Model [electronic resource]<br/>by&#160;Levene, M.&#160;SpringerLink (Online service)<br/>Published&#160;1992.<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-55493-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197122 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Relational Matching [electronic resource]<br/>by&#160;Vosselman, G.&#160;SpringerLink (Online service)<br/>Published&#160;1992.<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-55798-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1184323 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Failure Risk [electronic resource] : Measurement and Management<br/>by&#160;Sherer, Susan A.&#160;SpringerLink (Online service)<br/>Published&#160;1992.<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-4615-3020-6">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177643 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z A Pathology of Computer Viruses [electronic resource]<br/>by&#160;Ferbrache, David.&#160;SpringerLink (Online service)<br/>Published&#160;1992.<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-1774-2">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1179363 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Programming with Motif&trade; [electronic resource]<br/>by&#160;Gregory, Keith D.&#160;SpringerLink (Online service)<br/>Published&#160;1992.<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-2954-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1206311 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z A Primer in Petri Net Design [electronic resource]<br/>by&#160;Reisig, Wolfgang.&#160;SpringerLink (Online service)<br/>Published&#160;1992.<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-75329-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1196678 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1197197 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z On the Computational Geometry of Pocket Machining [electronic resource]<br/>by&#160;Held, Martin.&#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-54103-9">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177963 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Re-use, Utrecht 1989 [electronic resource] : Proceedings of the Software Re-use Workshop, 23&ndash;24 November 1989, Utrecht, The Netherlands<br/>by&#160;Dusink, Liesbeth M.&#160;Hall, Patrick A. V.&#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/978-1-4471-3536-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1177965 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z AI and Cognitive Science &rsquo;90 [electronic resource] : University of Ulster at Jordanstown 20&ndash;21 September 1990<br/>by&#160;McTear, Michael F.&#160;Creaney, Norman.&#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/978-1-4471-3542-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1179432 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Exploration and Innovation in Design [electronic resource] : Towards a Computational Model<br/>by&#160;Navinchandra, D.&#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/978-1-4612-3114-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1208173 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Modeling Design Objects and Processes [electronic resource]<br/>by&#160;Yagiu, Takaaki.&#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/978-3-642-84420-1">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1197045 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1186741 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Computer Networks and Systems: Queueing Theory and Performance Evaluation [electronic resource]<br/>by&#160;Robertazzi, Thomas G.&#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-1-4684-0385-5">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1204052 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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:1208651 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Self-Organization and Associative Memory [electronic resource]<br/>by&#160;Kohonen, Teuvo.&#160;SpringerLink (Online service)<br/>Published&#160;1989.<br/>Edition&#160;Third 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-3-642-88163-3">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1186712 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Software Engineering in C [electronic resource]<br/>by&#160;Darnell, Peter A.&#160;Margolis, Philip E.&#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-1-4684-0308-4">e-book</a><br/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1205963 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z 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/> eBook, eVideo, eAudiobook, eResource ent://SD_ILS/0/SD_ILS:1207963 2019-10-21T11:08:31Z 2019-10-21T11:08:31Z Recent Advances in Speech Understanding and Dialog Systems [electronic resource]<br/>by&#160;Niemann, H.&#160;Lang, M.&#160;Sagerer, G.&#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-83476-9">e-book</a><br/>