Last updated: 15 May 2017
| Call Number | Title |
|---|---|
| QA8-QA10.4 | Making it Formally Explicit [electronic resource] : Probability, Causality and Indeterminism / edited by Gábor Hofer-Szabó, LeszekWroński. |
| QA8.9-QA10.3 | Provably Correct Systems [electronic resource] / edited by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog. |
| QA8.9-QA10.3 | Theory and Applications of Models of Computation [electronicresource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / edited by T.V. Gopal, Gerhard Jäger,Silvia Steila. |
| QA9.58 | Barvinok, Alexander. author. Combinatorics and Complexity of Partition Functions [electronic resource] / by Alexander Barvinok. |
| QA21-27 | From Classical to Modern Algebraic Geometry [electronic resource] : Corrado Segre's Mastership and Legacy / edited by Gianfranco Casnati, Alberto Conte, Letterio Gatto, Livia Giacardi, Marina Marchisio, Alessandro Verra. |
| QA21-27 | von Plato, Jan. author. Saved from the Cellar [electronic resource] : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics / byJan von Plato. |
| QA21-27 | Sesiano, Jacques. author. Magic Squares in the Tenth Century [electronic resource] : Two Arabic Treatises by Anṭākī and Būzjānī / by Jacques Sesiano. |
| QA21-27 | Rice, Brian. author. The Life and Works of John Napier [electronic resource] / by Brian Rice, Enrique González-Velasco, Alexander Corrigan. |
| QA71-90 | Engineering Education 4.0 [electronic resource] : Excellent Teachingand Learning in Engineering Sciences / edited by Sulamith Frerich, Tobias Meisen, Anja Richert, Marcus Petermann, Sabina Jeschke, Uwe Wilkesmann, A. Erman Tekkaya. |
| QA71-90 | Meshfree Methods for Partial Differential Equations VIII [electronic resource] / edited by Michael Griebel, Marc Alexander Schweitzer. |
| QA71-90 | Domain Decomposition Methods in Science and Engineering XXIII [electronic resource] / edited by Chang-Ock Lee, Xiao-Chuan Cai, David E. Keyes, Hyea Hyun Kim, Axel Klawonn, Eun-Jae Park, Olof B. Widlund. |
| QA71-90 | Soize, Christian. author. Uncertainty Quantification [electronic resource] : An Accelerated Course with Advanced Applications in Computational Engineering / by Christian Soize. |
| QA71-90 | The Science and Art of Simulation I [electronic resource] : Exploring - Understanding - Knowing / edited by Michael M. Resch, Andreas Kaminski, Petra Gehring. |
| QA71-90 | Lottes, James. author. Towards Robust Algebraic Multigrid Methods for Nonsymmetric Problems [electronic resource] / by James Lottes. |
| QA71-90 | Langtangen, Hans Petter. author. Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I/ by Hans Petter Langtangen, Anders Logg. |
| QA75.5-76.95 | Pajankar, Ashwin. author. Raspberry Pi Image Processing Programming [electronic resource] : Develop Real-Life Examples with Python, Pillow, and SciPy / by Ashwin Pajankar. |
| QA75.5-76.95 | Ketkar, Nikhil. author. Deep Learning with Python [electronic resource] : A Hands-on Introduction / by Nikhil Ketkar. |
| QA75.5-76.95 | Bruni, Roberto. author. Models of Computation [electronic resource] / by Roberto Bruni, Ugo Montanari. |
| QA75.5-76.95 | Peddie, Jon. author. Augmented Reality [electronic resource] : Where We Will All Live / by Jon Peddie. |
| QA75.5-76.95 | Aggarwal, Charu C. author. Outlier Ensembles [electronic resource] : An Introduction / by Charu C. Aggarwal, Saket Sathe. |
| QA75.5-76.95 | Information Management and Big Data [electronic resource] : Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco,Peru, September 1-3, 2016, Revised Selected Papers / edited by Juan Antonio Lossio-Ventura, Hugo Alatrista-Salas. |
| QA75.5-76.95 | Gorrieri, Roberto. author. Process Algebras for Petri Nets [electronic resource] : The Alphabetization of Distributed Systems / by Roberto Gorrieri. |
| QA75.5-76.95 | Kizza, Joseph Migga. author. Guide to Computer Network Security [electronic resource] / by JosephMigga Kizza. 4th ed. 2017. |
| QA75.5-76.95 | Applied Reconfigurable Computing [electronic resource] : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / edited by Stephan Wong, Antonio Carlos Beck, KoenBertels, Luigi Carro. |
| QA75.5-76.95 | Context-Aware Systems and Applications [electronic resource] : 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings / edited by Phan Cong Vinh, Le Tuan Anh, Nguyen Thi Thuy Loan, Waralak Vongdoiwang Siricharoen. |
| QA75.5-76.95 | Advances in Information Retrieval [electronic resource] : 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings / edited by Joemon M Jose, Claudia Hauff, Ismail Sengor Altıngovde, Dawei Song, Dyaa Albakour, Stuart Watt, JohnTait. |
| QA75.5-76.95 | Yang, KwangSoo. author. Spatial Network Big Databases [electronic resource] : Queries and Storage Methods / by KwangSoo Yang, Shashi Shekhar. |
| QA75.5-76.95 | Draheim, Dirk. author. Semantics of the Probabilistic Typed Lambda Calculus [electronic resource] : Markov Chain Semantics, Termination Behavior, and Denotational Semantics / by Dirk Draheim. |
| QA75.5-76.95 | Smart Mobility – Connecting Everyone [electronic resource] : Trends, Concepts and Best Practices / edited by Barbara Flügge. |
| QA75.5-76.95 | Current Challenges in Patent Information Retrieval [electronic resource] / edited by Mihai Lupu, Katja Mayer, Noriko Kando, Anthony J. Trippe. 2nd ed. 2017. |
| QA75.5-76.95 | Geo-Spatial Knowledge and Intelligence [electronic resource] : 4th International Conference on Geo-Informatics in Resource Management andSustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I / edited by Hanning Yuan, Jing Geng, Fuling Bian. |
| QA75.5-76.95 | Geo-Spatial Knowledge and Intelligence [electronic resource] : 4th International Conference on Geo-Informatics in Resource Management andSustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II / edited by Hanning Yuan, JingGeng, Fuling Bian. |
| QA76.575 | Digital TV and Wireless Multimedia Communication [electronicresource] : 13th International Forum, IFTC 2016, Shanghai, China, November 9-10, 2016, Revised Selected Papers / edited by Xiaokang Yang, Guangtao Zhai. |
| QA76.6 | Videotape proceedings of the 24th international conference on Computergraphics and interactive techniques (Videotape) [electronicresource]. New York, NY : ACM, 1997. |
| QA76.6 | ACM SIGGRAPH 2006 teapot [electronic resource] New York, NY : ACM, 2006. |
| QA76.6 | Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / Radhia Cousot (ed.) |
| QA76.6-76.66 | Feiler, Jesse. author. Exploring Swift Playgrounds [electronic resource] : The Fastest and Most Effective Way to Learn to Code and to Teach Others to Use Your Code / by Jesse Feiler. |
| QA76.6-76.66 | Wang, Wallace. author. macOS Programming for Absolute Beginners [electronic resource] : Developing Apps Using Swift and Xcode / by Wallace Wang. |
| QA76.7-76.73 | Paranj, Bala. author. Test Driven Development in Ruby [electronic resource] : A Practical Introduction to TDD Using Problem and Solution Domain Analysis / by Bala Paranj. |
| QA76.7-76.73 | Mailund, Thomas. author. Functional Programming in R [electronic resource] : Advanced Statistical Programming for Data Science, Analysis and Finance / by Thomas Mailund. |
| QA76.7-76.73 | Watson, Des. author. A Practical Approach to Compiler Construction [electronicresource] / by Des Watson. |
| QA76.7-76.73 | Programming Languages and Systems [electronic resource] : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings / editedby Hongseok Yang. |
| QA76.758 | Evaluation of Novel Approaches to Software Engineering [electronic resource] : 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe. |
| QA76.758 | Engineering Trustworthy Software Systems [electronic resource] : Second International School, SETSS 2016, Chongqing, China, March28 - April 2, 2016, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang. |
| QA76.758 | NASA Formal Methods [electronic resource] : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / edited by Clark Barrett, Misty Davies, TemesghenKahsai. |
| QA76.758 | Formal Aspects of Component Software [electronic resource] : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers / edited by Olga Kouchnarenko, Ramtin Khosravi. |
| QA76.758 | Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan,November 15, 2016, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya. |
| QA76.758 | Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / edited by Jürgen Großmann, Michael Felderer, Fredrik Seehusen. |
| QA76.758 | Agile Modeling with UML [electronic resource] : Code Generation, Testing, Refactoring. |
| QA76.758 | Alebrahim, Azadeh. author. Bridging the Gap between Requirements Engineering and Software Architecture [electronic resource] : A Problem-Oriented and Quality-Driven Method / by Azadeh Alebrahim. |
| QA76.758 | Fundamental Approaches to Software Engineering [electronicresource] : 20th International Conference, FASE 2017, Held as Part ofthe European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin. |
| QA76.758 | Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings / edited by Hubert Baumeister, Horst Lichter, Matthias Riebisch. |
| QA76.76.A65 | De, Brajesh. author. API Management [electronic resource] : An Architect's Guide to Developing and Managing APIs for Your Organization / by Brajesh De. |
| QA76.76.A65 | Jackson, Wallace. author. Android Apps for Absolute Beginners [electronic resource] : CoveringAndroid 7 / by Wallace Jackson. 4th ed. |
| QA76.76.A65 | Delicato, Flávia C. author. Resource Management for Internet of Things [electronic resource] / by Flávia C. Delicato, Paulo F. Pires, Thais Batista. |
| QA76.76.A65 | On the Move to Meaningful Internet Systems: OTM 2016 Workshops [electronic resource] : Confederated International Workshops: EI2N,FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers / edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal. |
| QA76.76.A65 | Technological Innovation for Smart Systems [electronic resource] : 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings / edited by Luis M. Camarinha-Matos, Mafalda Parreira-Rocha, Javaneh Ramezani. |
| QA76.76.A65 | Digital Libraries and Multimedia Archives [electronic resource] : 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers / editedby Maristella Agosti, Marco Bertini, Stefano Ferilli, Simone Marinai, Nicola Orio. |
| QA76.76.A65 | Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / edited by Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano. |
| QA76.76.A65 | Ambient Intelligence [electronic resource] : 13th European Conference, AmI 2017, Malaga, Spain, April 26–28, 2017, Proceedings / edited by Andreas Braun, Reiner Wichert, Antonio Maña. |
| QA76.76.A65 | Business Modeling and Software Design [electronic resource] : 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers / edited by Boris Shishkov. |
| QA76.76.A65 | Data Management and Analytics for Medicine and Healthcare [electronicresource] : Second International Workshop, DMAH 2016, Held at VLDB 2016, New Delhi, India, September 9, 2016, Revised Selected Papers / edited by Fusheng Wang, Lixia Yao, Gang Luo. |
| QA76.76.A65 | Lankhorst, Marc. author. Enterprise Architecture at Work [electronic resource] : Modelling, Communication and Analysis / by Marc Lankhorst. 4th ed. 2017. |
| QA76.76.A65 | Symbiotic Interaction [electronic resource] : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers / edited by Luciano Gamberini, AnnaSpagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman. |
| QA76.76.D47 | 叶核亚. Delphi程序设计 [electronic resource] / 叶核亚编著. 第1版. 北京 : 人民邮电出版社, 2006. |
| QA76.76.D47 | UML 2000--the Unified Modeling Language : advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent, Bran Selic (eds.) |
| QA76.76.D47 | UML '99--the unified modeling language : beyond the standard : secondinternational conference, Fort Collins, CO, USA, October 28-30, 1999 :proceedings / Robert France, Bernhard Rumpe (eds.) |
| QA76.76.H94 | 秦鹏. HTML + Dreamweaver 8 网页制作技术完全掌握 [electronic resource] / 秦鹏编著. 第 1 版. 北京 : 中国青年出版社, 2007. |
| QA76.76.I58 | Cooperative control of multi-agent systems : theory andapplications / edited by Yue Wang, Eloy Garcia, David Casbeer, Fumin Zhang. |
| QA76.76.O63 | Matotek, Dennis. author. Pro Linux System Administration [electronic resource] : Learn to Build Systems for Your Business Using Free and Open Source Software / by Dennis Matotek, James Turnbull, Peter Lieverdink. 2nd ed. |
| QA76.76.O63 | Tidrow, Rob, author. Windows 10 Anniversary update bible / Rob Tidrow, Jim Boyce, Jeffrey R. Shapiro. |
| QA76.76.V47 | Verification, model checking, and abstract interpretation [electronicresource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / Ranjit Jhala, DavidSchmidt (eds.) Berlin : Springer, c2011. |
| QA76.8.R15 | Upton, Eben, author. Learning computer architecture with Raspberry Pi / Eben Upton, Jeffrey Duntemann, Ben Everard, Russell Davis. 1st. |
| QA76.87 | Börgers, Christoph. author. An Introduction to Modeling Neuronal Dynamics [electronicresource] / by Christoph Börgers. |
| QA76.88 | High performance computing [electronic resource] : HiPC 2008 : 15th international conference, Bangalore, India, December 17-20, 2008 : proceedings / Ponnuswamy Sadayappan ... [et al.] (eds.) Berlin : Springer-Verlag, c2008. |
| QA76.9.A25 | Cybersecurity for Industry 4.0 [electronic resource] : Analysis for Design and Manufacturing / edited by Lane Thames, Dirk Schaefer. |
| QA76.9.A25 | Smart Card Research and Advanced Applications [electronicresource] : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers / edited by Kerstin Lemke-Rust, Michael Tunstall. |
| QA76.9.A25 | Information Security and Cryptology [electronic resource] : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6,2016, Revised Selected Papers / edited by Kefei Chen, Dongdai Lin, Moti Yung. |
| QA76.9.A25 | Codes, Cryptology and Information Security [electronic resource] : Second International Conference, C2SI 2017, Rabat, Morocco, April10–12, 2017, Proceedings - In Honor of Claude Carlet / edited by Said El Hajji, Abderrahmane Nitaj, El Mamoun Souidi. |
| QA76.9.A25 | Lightweight Cryptography for Security and Privacy [electronic resource] : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers / edited by Andrey Bogdanov. |
| QA76.9.A25 | Privacy and Identity Management. Facing up to Next Steps [electronic resource] : 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised Selected Papers / edited by Anja Lehmann, Diane Whitehouse, Simone Fischer-Hübner, Lothar Fritsch, Charles Raab. |
| QA76.9.A25 | Information Security Applications [electronic resource] : 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers / edited by Dooho Choi, SylvainGuilley. |
| QA76.9.A25 | Advances in Cryptology – EUROCRYPT 2017 [electronicresource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II / edited by Jean-Sébastien Coron, Jesper Buus Nielsen. |
| QA76.9.A25 | Advances in Cryptology – EUROCRYPT 2017 [electronicresource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III / edited by Jean-SébastienCoron, Jesper Buus Nielsen. |
| QA76.9.A25 | Advances in Cryptology – EUROCRYPT 2017 [electronicresource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I / edited by Jean-Sébastien Coron, Jesper Buus Nielsen. |
| QA76.9.A25 | Principles of Security and Trust [electronic resource] : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Matteo Maffei, Mark Ryan. |
| QA76.9.A25 | Transactions on Computational Science XXIX [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan. |
| QA76.9.A25 | Allsopp, Wil, author. Advanced penetration testing : hacking the world's most secure networks / Wil Allsopp. |
| QA76.9.A25 | Bullock, Jessey, author. Wireshark for security professionals : using Wireshark and the Metasploit Framework / Jessey Bullock, Jeff T. Parker. |
| QA76.9.A43 | Genetic Programming [electronic resource] : 20th EuropeanConference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21,2017, Proceedings / edited by James McDermott, Mauro Castelli, Lukas Sekanina, Evert Haasdijk, Pablo García-Sánchez. |
| QA76.9.A43 | Computational Intelligence in Music, Sound, Art and Design [electronic resource] : 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19–21, 2017, Proceedings / edited by João Correia, Vic Ciesielski, AntoniosLiapis. |
| QA76.9.A43 | Applications of Evolutionary Computation [electronic resource] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II / edited by Giovanni Squillero, Kevin Sim. |
| QA76.9.A43 | Applications of Evolutionary Computation [electronic resource] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I / edited by Giovanni Squillero, Kevin Sim. |
| QA76.9.A43 | Algorithmic Aspects of Cloud Computing [electronic resource] : Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers / edited by Timos Sellis, Konstantinos Oikonomou. |
| QA76.9.A43 | Algorithms and Complexity [electronic resource] : 10th InternationalConference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings / edited by Dimitris Fotakis, Aris Pagourtzis, Vangelis Th. Paschos. |
| QA76.9.C643 | Fernandes, Stênio. author. Performance Evaluation for Network Services, Systems and Protocols [electronic resource] / by Stênio Fernandes. |
| QA76.9.C643 | High Performance Computing [electronic resource] : Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29–September 2, 2016, Revised Selected Papers / edited by Carlos Jaime Barrios Hernández, Isidoro Gitler, Jaime Klapp. |
| QA76.9.C65 | Group Processes [electronic resource] : Data-Driven Computational Approaches / edited by Andrew Pilny, Marshall Scott Poole. |
| QA76.9.C65 | Guide to Computational Modelling for Decision Processes [electronic resource] : Theory, Algorithms, Techniques and Applications / editedby Stuart Berry, Val Lowndes, Marcello Trovati. |
| QA76.9.C65 | Supercomputing [electronic resource] : Second Russian SupercomputingDays, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers / edited by Vladimir Voevodin, SergeySobolev. |
| QA76.9.C66 | Persuasive Technology: Development and Implementation of Personalized Technologies to Change Attitudes and Behaviors [electronicresource] : 12th International Conference, PERSUASIVE 2017,Amsterdam, The Netherlands, April 4–6, 2017, Proceedings / edited by Peter W. de Vries, Harri Oinas-Kukkonen, Liseth Siemons, Nienke Beerlage-de Jong, Lisette van Gemert-Pijnen. |
| QA76.9.D3 | 张婷. Access 2003数据库管理完全自学手册 [electronicresource] / 张婷编著. 第1版. 北京 : 中国青年出版社, 2007. |
| QA76.9.D3 | Ravikumar, Y V. author. Oracle Database Upgrade and Migration Methods [electronicresource] : Including Oracle 12c Release 2 / by Y V Ravikumar, K M Krishnakumar, Nassyam Basha. |
| QA76.9.D3 | Charalambides, Stelios. author. Oracle SQL Tuning with Oracle SQLTXPLAIN [electronic resource] : Oracle Database 12c Edition / by Stelios Charalambides. 2nd ed. |
| QA76.9.D3 | Drescher, Daniel. author. Blockchain Basics [electronic resource] : A Non-Technical Introduction in 25 Steps / by Daniel Drescher. |
| QA76.9.D3 | Tillmann, George. author. Usage-Driven Database Design [electronic resource] : From Logical Data Modeling through Physical Schema Definition / by GeorgeTillmann. |
| QA76.9.D3 | Database Systems for Advanced Applications [electronic resource] : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II / edited by Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua. |
| QA76.9.D3 | Database Systems for Advanced Applications [electronic resource] : DASFAA 2017 International Workshops: BDMS, BDQM, SeCoP, and DMMOOC, Suzhou, China, March 27-30, 2017, Proceedings / edited by ZhifengBao, Goce Trajcevski, Lijun Chang, Wen Hua. |
| QA76.9.D3 | Database Systems for Advanced Applications [electronic resource] : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I / edited by Selçuk Candan, Lei Chen, Torben Bach Pedersen, Lijun Chang, Wen Hua. |
| QA76.9.D3 | Web and Wireless Geographical Information Systems [electronic resource] : 15th International Symposium, W2GIS 2017, Shanghai,China, May 8-9, 2017, Proceedings / edited by David Brosset, Christophe Claramunt, Xiang Li, Tianzhen Wang. |
| QA76.9.D3 | Data Management on New Hardware [electronic resource] : 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, RevisedSelected Papers / edited by Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin Levandoski, Andrew Pavlo. |
| QA76.9.D343 | Mailund, Thomas. author. Beginning Data Science in R [electronic resource] : Data Analysis, Visualization, and Modelling for the Data Scientist / by Thomas Mailund. |
| QA76.9.D343 | Prediction and Inference from Social Networks and Social Media [electronic resource] / edited by Jalal Kawash, Nitin Agarwal, Tansel Özyer. |
| QA76.9.D343 | From Social Data Mining and Analysis to Prediction and Community Detection [electronic resource] / edited by Mehmet Kaya, ÖzcanErdoǧan, Jon Rokne. |
| QA76.9.D343 | Trends in Social Network Analysis [electronic resource] : Information Propagation, User Behavior Modeling, Forecasting, and Vulnerability Assessment / edited by Rokia Missaoui, TalelAbdessalem, Matthieu Latapy. |
| QA76.9.D343 | Doran, Derek. author. Network Role Mining and Analysis [electronic resource] / by Derek Doran. |
| QA76.9.D343 | Data Analytics and Management in Data Intensive Domains [electronic resource] : XVIII International Conference, DAMDID/RCDL 2016,Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers/ edited by Leonid Kalinichenko, Sergei O. Kuznetsov, Yannis Manolopoulos. |
| QA76.9.D343 | Advances in Knowledge Discovery and Data Mining [electronic resource]: 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May23-26, 2017, Proceedings, Part I / edited by Jinho Kim, Kyuseok Shim,Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon. |
| QA76.9.D343 | Advances in Knowledge Discovery and Data Mining [electronic resource]: 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May23-26, 2017, Proceedings, Part II / edited by Jinho Kim, KyuseokShim, Longbing Cao, Jae-Gil Lee, Xuemin Lin, Yang-Sae Moon. |
| QA76.9.D35 | Demirel, Denise. author. Privately and Publicly Verifiable Computing Techniques [electronic resource] : A Survey / by Denise Demirel, Lucas Schabhüser, JohannesBuchmann. |
| QA76.9.D35 | Tutorials on the Foundations of Cryptography [electronic resource] : Dedicated to Oded Goldreich / edited by Yehuda Lindell. |
| QA76.9.D5 | Fog for 5G and IoT / edited by Mung Chiang, Bharath Balasubramanian, Flavio Bonomi. |
| QA76.9.E94 | Al-Taie, Mohammed Zuhair. author. Python for Graph and Network Analysis [electronic resource] / by Mohammed Zuhair Al-Taie, Seifedine Kadry. |
| QA76.9.E94 | Bermbach, David. author. Cloud Service Benchmarking [electronic resource] : Measuring Qualityof Cloud Services from a Client Perspective / by David Bermbach, ErikWittern, Stefan Tai. |
| QA76.9.H85 | User modeling, adaptation, and personalization [electronicresource] : 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings / Judith Masthoff...[et al.] (eds.) Berlin ; New York : Springer, c2012. |
| QA76.9.L63 | ACM SIGLOG news. |
| QA76.9.L63 | Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. |
| QA76.9.L63 | Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria. |
| QA76.9.L63 | Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / edited by Axel Legay, Tiziana Margaria. |
| QA76.9.M3 | Product Lifecycle Management for Digital Transformation of Industries [electronic resource] : 13th IFIP WG 5.1 International Conference, PLM 2016, Columbia, SC, USA, July 11-13, 2016, Revised Selected Papers/ edited by Ramy Harik, Louis Rivest, Alain Bernard, Benoit Eynard, Abdelaziz Bouras. |
| QA76.9.M3 | Agile Methods [electronic resource] : 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers / edited by Tiago Silva da Silva, Bernardo Estácio, Josiane Kroll, Rafaela Mantovani Fontana. |
| QA76.9.M35 | Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016) [electronic resource] / edited by Visarath In, Patrick Longhini, Antonio Palacios. |
| QA76.9.M35 | Hester, Patrick T. author. Systemic Decision Making [electronic resource] : Fundamentals for Addressing Problems and Messes / by Patrick T. Hester, Kevin MacG. Adams. 2nd ed. 2017. |
| QA76.9.M35 | Arithmetic of Finite Fields [electronic resource] : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / edited by Sylvain Duquesne, Svetla Petkova-Nikova. |
| QA76.9.M35 | System Modeling and Optimization [electronic resource] : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July3, 2015, Revised Selected Papers / edited by Lorena Bociu, Jean-Antoine Désidéri, Abderrahmane Habbal. |
| QA76.9.M35 | Klyatskin, Valery I. author. Fundamentals of Stochastic Nature Sciences [electronic resource] / by Valery I. Klyatskin. |
| QA76.9.M35 | Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry [electronic resource] : 11th Italian Workshop, WIVACE2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers / edited by Federico Rossi, Stefano Piotto, Simona Concilio. |
| QA76.9.O35 | Object-oriented technology [electronic resource] : ECOOP 2007 workshop reader, ECOOP 2007 workshops, Berlin, Germany, July 30-31, 2007 : final reports / edited by Michael Cebulla. Berlin : Springer-Verlag, 2008. |
| QA76.9.O35 | System analysis and modeling [electronic resource] : about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5,2010 : revised selected papers / Frank Alexander Kraemer, Peter Herrmann (eds.) Berlin : Springer, c2011. |
| QA76.9.Q36 | Albers, Michael J. Introduction to quantitative data analysis in the behavioral and social sciences [electronic resource] / Michael J. Albers. Somerset : John Wiley & Sons, Incorporated, 2017. |
| QA76.9.U83 | Cognition Beyond the Brain [electronic resource] : Computation, Interactivity and Human Artifice / edited by Stephen J. Cowley, Frédéric Vallée-Tourangeau. 2nd ed. 2017. |
| QA76.9.U83 | Serious Games and Edutainment Applications [electronic resource] : Volume II / edited by Minhua Ma, Andreas Oikonomou. |
| QA76.9.U83 | The Handbook of Formal Methods in Human-Computer Interaction [electronic resource] / edited by Benjamin Weyers, Judy Bowen, AlanDix, Philippe Palanque. |
| QA76.9.U83 | Cotrina, Anibal. author. Toward Brain-Computer Interaction in Paralysis [electronicresource] : A New Approach Based on Visual Evoked Potentials and Depth-of-Field / by Anibal Cotrina. |
| QA76.9.U83 | Game Dynamics [electronic resource] : Best Practices in Procedural and Dynamic Game Content Generation / edited by Oliver Korn, Newton Lee. |
| QA76.9.U83 | Bähr, Benjamin. author. Prototyping of User Interfaces for Mobile Applications [electronic resource] / by Benjamin Bähr. |
| QA76.9.U83 | Smart Graphics [electronic resource] : 13th International Symposium,SG 2015, Chengdu, China, August 26-28, 2015, Revised SelectedPapers / edited by Yaxi Chen, Marc Christie, Wenrong Tan. |
| QA76.9.U83 | Earnshaw, Rae. author. Research and Development in the Academy, Creative Industries and Applications [electronic resource] / by Rae Earnshaw. |
| QA76.9.U83 | Brain-Computer Interface Research [electronic resource] : A State-of-the-Art Summary 5 / edited by Christoph Guger, Brendan Allison, Junichi Ushiba. |
| QA76.9.U83 | Human-Harmonized Information Technology, Volume 2 [electronic resource] : Horizontal Expansion / edited by Toyoaki Nishida. |
| QA184-205 | Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics [electronic resource] : The Albrecht Böttcher Anniversary Volume / edited by Dario A. Bini, Torsten Ehrhardt, Alexei Yu. Karlovich, Ilya Spitkovsky. |
| QA184-205 | Applied and Computational Matrix Analysis [electronic resource] : MAT-TRIAD, Coimbra, Portugal, September 2015 Selected, Revised Contributions / edited by Natália Bebiano. |
| QA184-205 | Pop, Vasile. author. Square Matrices of Order 2 [electronic resource] : Theory, Applications, and Problems / by Vasile Pop, Ovidiu Furdui. |
| QA241-247.5 | Huber, Annette. author. Periods and Nori Motives [electronic resource] / by Annette Huber, Stefan Müller-Stach. |
| QA241-247.5 | Soifer, Alexander. author. The Colorado Mathematical Olympiad: The Third Decade and Further Explorations [electronic resource] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer. |
| QA251.3 | Computations and Combinatorics in Commutative Algebra [electronic resource] : EACA School, Valladolid 2013 / edited by Anna M.Bigatti, Philippe Gimenez, Eduardo Sáenz-de-Cabezón. |
| QA251.5 | Krylov, Piotr. author. Formal Matrices [electronic resource] / by Piotr Krylov, Askar Tuganbaev. |
| QA273 | Steyer, Rolf, 1950- Probability and conditional expectation : fundamentals for the empirical sciences / Rolf Steyer, Werner Nagel. |
| QA273.A1-274.9 | Kallenberg, Olav. author. Random Measures, Theory and Applications [electronic resource] / by Olav Kallenberg. |
| QA273.A1-274.9 | Zimmermann, Georg. author. From Basic Survival Analytic Theory to a Non-Standard Application [electronic resource] / by Georg Zimmermann. |
| QA273.A1-274.9 | Rio, Emmanuel. author. Asymptotic Theory of Weakly Dependent Random Processes [electronic resource] / by Emmanuel Rio. |
| QA274 .K69 2016 | Kozachenko, ︠I︡U. V., 1940- Simulation of stochastic processes with given accuracy and reliability/ Yuriy Kozachenko, Oleksandr Pogorilyak, Iryna Rozora, Antonina Tegza. |
| QA274.23 | Panik, Michael J. Stochastic differential equations : an introduction with applicationsin population dynamics modeling / Michael J. Panik. 1st edition. |
| QA275 | Total survey error in practice / edited by Paul P. Biemer, Edith de Leeuw, Stephanie Eckman, Brad Edwards, Frauke Kreuter, Lars E. Lyberg,N. Clyde Tucker, Brady T. West. |
| QA276 | Kottemann, Jeffrey E. Illuminating statistical analysis using scenarios and simulations / Jeffrey E Kottemann, Ph.D. |
| QA276-280 | Gill, Libby. author. Capture the Mindshare and the Market Share Will Follow [electronic resource] : The Art and Science of Building Brands / by Libby Gill. |
| QA276-280 | Big and Complex Data Analysis [electronic resource] : Methodologies and Applications / edited by S. Ejaz Ahmed. |
| QA276-280 | De Gooijer, Jan G. author. Elements of Nonlinear Time Series Analysis and Forecasting [electronic resource] / by Jan G. De Gooijer. |
| QA276-280 | Dean, Angela. author. Design and Analysis of Experiments [electronic resource] / by AngelaDean, Daniel Voss, Danel Draguljić. 2nd ed. 2017. |
| QA276-280 | Carlton, Matthew A. author. Probability with Applications in Engineering, Science, and Technology [electronic resource] / by Matthew A. Carlton, Jay L. Devore. 2nd ed. 2017. |
| QA276-280 | Moon, Keon-Woong. author. Learn ggplot2 Using Shiny App [electronic resource] / by Keon-Woong Moon. |
| QA276-280 | Bayesian Statistics in Action [electronic resource] : BAYSM 2016, Florence, Italy, June 19-21 / edited by Raffaele Argiento, Ettore Lanzarone, Isadora Antoniano Villalobos, Alessandra Mattei. |
| QA276-280 | Baker, Frank B. author. The Basics of Item Response Theory Using R [electronic resource] / by Frank B. Baker, Seock-Ho Kim. |
| QA276-280 | Olive, David J. author. Linear Regression [electronic resource] / by David J. Olive. |
| QA276-280 | Functional Statistics and Related Fields [electronic resource] / edited by Germán Aneiros, Enea G. Bongiorno, Ricardo Cao, Philippe Vieu. |
| QA276-280 | Ahsanullah, Mohammad. author. Characterizations of Univariate Continuous Distributions [electronic resource] / by Mohammad Ahsanullah. |
| QA276-280 | Ting, Naitee. author. Phase II Clinical Development of New Drugs [electronic resource] / by Naitee Ting, Ding-Geng Chen, Shuyen Ho, Joseph C. Cappelleri. |
| QA279.5 | Shemyakin, Arkady. Introduction to Bayesian estimation and copula models of dependence / Arkady Shemyakin, Alexander Kniazev. |
| QA292 | Natarajan, P.N. author. Classical Summability Theory [electronic resource] / by P.N. Natarajan. |
| QA297-299.4 | Modern Solvers for Helmholtz Problems [electronic resource] / editedby Domenico Lahaye, Jok Tang, Kees Vuik. |
| QA297-299.4 | Evolutionary Computation in Combinatorial Optimization [electronic resource] : 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings / edited by Bin Hu, Manuel López-Ibáñez. |
| QA297-299.4 | Numerical Analysis and Its Applications [electronic resource] : 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. |
| QA298 | Rubinstein, Reuven Y. Simulation and the Monte Carlo Method. 3rd ed. Newark : Wiley, 2016. |
| QA299.6-433 | Acosta, Gabriel. author. Divergence Operator and Related Inequalities [electronic resource] / by Gabriel Acosta, Ricardo G. Durán. |
| QA299.6-433 | Bohner, Martin. author. Multivariable Dynamic Calculus on Time Scales [electronicresource] / by Martin Bohner, Svetlin G. Georgiev. |
| QA299.6-433 | Ahmad, Bashir. author. Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities [electronic resource] / by Bashir Ahmad, Ahmed Alsaedi,Sotiris K. Ntouyas, Jessada Tariboon. |
| QA313 | O'Reilly, Oliver M. author. Modeling Nonlinear Problems in the Mechanics of Strings and Rods [electronic resource] : The Role of the Balance Laws / by OliverM. O'Reilly. |
| QA313 | Zhao, Xiao-Qiang. author. Dynamical Systems in Population Biology [electronic resource] / by Xiao-Qiang Zhao. 2nd ed. 2017. |
| QA313 | Li, Zhiqiang. author. Ergodic Theory of Expanding Thurston Maps [electronic resource] / byZhiqiang Li. |
| QA315-316 | Bauschke, Heinz H. author. Convex Analysis and Monotone Operator Theory in Hilbert Spaces [electronic resource] / by Heinz H. Bauschke, Patrick L. Combettes. 2nd ed. 2017. |
| QA315-316 | Advances in Energy System Optimization [electronic resource] : Proceedings of the first International Symposium on Energy System Optimization / edited by Valentin Bertsch, Wolf Fichtner, Vincent Heuveline, Thomas Leibfried. |
| QA315-316 | Zaslavski, Alexander J. author. Discrete-Time Optimal Control and Games on Large Intervals [electronic resource] / by Alexander J. Zaslavski. |
| QA319-329.9 | Geometric Aspects of Functional Analysis [electronic resource] : Israel Seminar (GAFA) 2014–2016 / edited by Bo'az Klartag, Emanuel Milman. |
| QA319-329.9 | Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness [electronic resource] / edited by Józef Banaś, Mohamed Jleli, Mohammad Mursaleen, Bessem Samet, Calogero Vetro. |
| QA329-329.9 | Vasudeva, Harkrishan Lal. author. Elements of Hilbert Spaces and Operator Theory [electronicresource] / by Harkrishan Lal Vasudeva. |
| QA331-355 | New Trends in Analysis and Interdisciplinary Applications [electronicresource] : Selected Contributions of the 10th ISAAC Congress, Macau 2015 / edited by Pei Dang, Min Ku, Tao Qian, Luigi G. Rodino. |
| QA331.5 | Smorynski, Craig. author. MVT: A Most Valuable Theorem [electronic resource] / by Craig Smorynski. |
| QA331.5 | Caminha Muniz Neto, Antonio. author. An Excursion through Elementary Mathematics, Volume I [electronic resource] : Real Numbers and Functions / by Antonio Caminha Muniz Neto. |
| QA370-380 | Shocks, Singularities and Oscillations in Nonlinear Optics and Fluid Mechanics [electronic resource] / edited by Ferruccio Colombini, Daniele Del Santo, David Lannes. |
| QA370-380 | Dipierro, Serena. author. Fractional Elliptic Problems with Critical Growth in the Whole of ℝn [electronic resource] / by Serena Dipierro, María Medina, Enrico Valdinoci. |
| QA372 | Komornik, Vilmos. author. Topology, Calculus and Approximation [electronic resource] / by Vilmos Komornik. |
| QA372 | Surveys in Differential-Algebraic Equations IV [electronicresource] / edited by Achim Ilchmann, Timo Reis. |
| QA372 | Zhang, Xiang. author. Integrability of Dynamical Systems: Algebra and Analysis [electronic resource] / by Xiang Zhang. |
| QA401-425 | Bustamante, Jorge. author. Bernstein Operators and Their Properties [electronic resource] / by Jorge Bustamante. |
| QA401-425 | Modeling in Mathematics [electronic resource] : Proceedings of the Second Tbilisi-Salerno Workshop on Modeling in Mathematics / edited by Johan Gielis, Paolo Emilio Ricci, Ilia Tavkhelidze. |
| QA401-425 | Kodama, Yuji. author. KP Solitons and the Grassmannians [electronic resource] : Combinatorics and Geometry of Two-Dimensional Wave Patterns / by Yuji Kodama. |
| QA402-402.37 | Spatial Interaction Models [electronic resource] : Facility LocationUsing Game Theory / edited by Lina Mallozzi, Egidio D'Amato, Panos M.Pardalos. |
| QA402.5-402.6 | Progress in Approximation Theory and Applicable Complex Analysis [electronic resource] : In Memory of Q.I. Rahman / edited by Narendra Kumar Govil, Ram Mohapatra, Mohammed A. Qazi, Gerhard Schmeisser. |
| QA402.5-402.6 | Operations Research, Engineering, and Cyber Security [electronic resource] : Trends in Applied Mathematics and Technology / edited byNicholas J. Daras, Themistocles M. Rassias. |
| QA431 | Constanda, Christian. author. Differential Equations [electronic resource] : A Primer for Scientists and Engineers / by Christian Constanda. 2nd ed. 2017. |
| QA440-699 | Mazzotti, Angelo Alessandro. author. All Sides to an Oval [electronic resource] : Properties, Parameters,and Borromini's Mysterious Construction / by Angelo Alessandro Mazzotti. |
| QA440-699 | Kamada, Seiichi. author. Surface-Knots in 4-Space [electronic resource] : An Introduction / by Seiichi Kamada. |
| QA564-609 | Singularities and Computer Algebra [electronic resource] : Festschrift for Gert-Martin Greuel on the Occasion of his 70th Birthday / edited by Wolfram Decker, Gerhard Pfister, MathiasSchulze. |
| QA564-609 | Brauer Groups and Obstruction Problems [electronic resource] : Moduli Spaces and Arithmetic / edited by Asher Auel, Brendan Hassett, Anthony Várilly-Alvarado, Bianca Viray. |
| QA564-609 | Dimca, Alexandru. author. Hyperplane Arrangements [electronic resource] : An Introduction / by Alexandru Dimca. |
| QA614-614.97 | Geometry, Analysis and Probability [electronic resource] : In Honor of Jean-Michel Bismut / edited by Jean-Benoît Bost, Helmut Hofer, François Labourie, Yves Le Jan, Xiaonan Ma, Weiping Zhang. |
| QA614-614.97 | Savin, Anton. author. Introduction to Complex Theory of Differential Equations [electronic resource] / by Anton Savin, Boris Sternin. |
| QA639.5-640.7 | Convexity and Concentration [electronic resource] / edited by Eric Carlen, Mokshay Madiman, Elisabeth M. Werner. |
