Search Results for - Narrowed by: English - Online Library - Electronic Library - Computer science. - Computer software. - Mathematics.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Mathematics.$002509Mathematics.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?dt=list2024-07-23T07:03:09ZTheory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347242024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Realtime Data Mining Self-Learning Techniques for Recommendation Enginesent://SD_ILS/0/SD_ILS:3328582024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332858.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01321-3">http://dx.doi.org/10.1007/978-3-319-01321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3351572024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42033-7">http://dx.doi.org/10.1007/978-3-642-42033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3351602024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335160.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42045-0">http://dx.doi.org/10.1007/978-3-642-42045-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329472024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02786-9">http://dx.doi.org/10.1007/978-3-319-02786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Solution of Differential Equations by the Finite Element Method The FEniCS Bookent://SD_ILS/0/SD_ILS:1952372024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23099-8">http://dx.doi.org/10.1007/978-3-642-23099-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975002024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34266-0">http://dx.doi.org/10.1007/978-3-642-34266-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Modern Mathematical Computing With Mathematica®ent://SD_ILS/0/SD_ILS:1743872024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4253-0">http://dx.doi.org/10.1007/978-1-4614-4253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pyomo – Optimization Modeling in Pythonent://SD_ILS/0/SD_ILS:1742142024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3226-5">http://dx.doi.org/10.1007/978-1-4614-3226-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Algorithmic Differentiationent://SD_ILS/0/SD_ILS:1968152024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30023-3">http://dx.doi.org/10.1007/978-3-642-30023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971152024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975592024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34961-4">http://dx.doi.org/10.1007/978-3-642-34961-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Modern Mathematical Computing With Maple™ent://SD_ILS/0/SD_ILS:1735952024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0122-3">http://dx.doi.org/10.1007/978-1-4614-0122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959002024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25280-8">http://dx.doi.org/10.1007/978-3-642-25280-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959312024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Lee, Dong Hoon. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25385-0">http://dx.doi.org/10.1007/978-3-642-25385-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Randomness and Complexityent://SD_ILS/0/SD_ILS:1665862024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68441-3">http://dx.doi.org/10.1007/978-0-387-68441-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Floating-Point Arithmeticent://SD_ILS/0/SD_ILS:1682632024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4705-6">http://dx.doi.org/10.1007/978-0-8176-4705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and Programming Problems and Solutionsent://SD_ILS/0/SD_ILS:1723392024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Shen, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-1748-5">http://dx.doi.org/10.1007/978-1-4419-1748-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935822024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Abe, Masayuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17373-8">http://dx.doi.org/10.1007/978-3-642-17373-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematica®: A Problem-Centered Approachent://SD_ILS/0/SD_ILS:1761992024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Hazrat, Roozbeh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-251-3">http://dx.doi.org/10.1007/978-1-84996-251-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935242024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Alpcan, Tansu. editor. Buttyán, Levente. editor. Baras, John S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17197-0">http://dx.doi.org/10.1007/978-3-642-17197-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maple and Mathematica A Problem Solving Approach for Mathematicsent://SD_ILS/0/SD_ILS:1771552024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-99432-0">http://dx.doi.org/10.1007/978-3-211-99432-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913462024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10366-7">http://dx.doi.org/10.1007/978-3-642-10366-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability of Julia Setsent://SD_ILS/0/SD_ILS:1855032024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68547-0">http://dx.doi.org/10.1007/978-3-540-68547-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Adventures From Knowledge to Magicent://SD_ILS/0/SD_ILS:1888242024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85986-4">http://dx.doi.org/10.1007/978-3-540-85986-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maple and Mathematica A Problem Solving Approach for Mathematicsent://SD_ILS/0/SD_ILS:1770232024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Shingareva, Inna. author. Lizàrraga-Celaya, Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-73265-6">http://dx.doi.org/10.1007/978-3-211-73265-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1878342024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77294-1">http://dx.doi.org/10.1007/978-3-540-77294-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Graph-Theoretic Approach to Enterprise Network Dynamicsent://SD_ILS/0/SD_ILS:1681752024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4519-9">http://dx.doi.org/10.1007/978-0-8176-4519-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematica GuideBook for Numericsent://SD_ILS/0/SD_ILS:1655642024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Trott, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28814-7">http://dx.doi.org/10.1007/0-387-28814-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Mathematica GuideBook for Symbolicsent://SD_ILS/0/SD_ILS:1655652024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Trott, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28815-5">http://dx.doi.org/10.1007/0-387-28815-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1851312024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Erlebach, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11922377">http://dx.doi.org/10.1007/11922377</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Optimization Theoretical and Practical Aspectsent://SD_ILS/0/SD_ILS:1842532024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Bonnans, J. Frédéric. author. Gilbert, J. Charles. author. Lemaréchal, Claude. author. Sagastizábal, Claudia A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-35447-5">http://dx.doi.org/10.1007/978-3-540-35447-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTAent://SD_ILS/0/SD_ILS:1812422024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138692">http://dx.doi.org/10.1007/b138692</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829462024-07-23T07:03:09Z2024-07-23T07:03:09ZAuthor López-Ortiz, Alejandro. editor. Hamel, Angèle M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527954">http://dx.doi.org/10.1007/11527954</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>