Search Results for COMPUTERS -- Mathematical

Mathematical methods for digital computers

2026-05-11T08:41:47Z

Author Ralston, Anthony, ed. Wilf, Herbert S., ed.
Preferred Shelf Number QA 76.5 R3 1960- V.1
Format: Books
Availability Beytepe Library~2

Calculated Bets Computers, Gambling, and Mathematical Modeling to Win

2026-05-11T08:41:47Z

Author Skiena, Steven.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Windows on mathematical meanings : learning cultures and computers

2026-05-11T08:41:47Z

Author Noss, Richard. Hoyles, Celia, 1946-
Preferred Shelf Number QA11 .N65 1996
Format: Books
Availability Beytepe Library~1

Robotics Goes MOOC Knowledge

2026-05-11T08:41:47Z

Author Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74095-9
Format: Electronic Resources
Availability Online Library~1

COLLECTIVE INTELLIGENCE the rise of swarm systems and their impact on society.

2026-05-11T08:41:47Z

Author Seebacher, Uwe G. Legat, Christoph.
Preferred Shelf Number Q337.3
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032690711 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Advanced Mathematics for the Modeling and Solution of Challenging Problems in Engineering

2026-05-11T08:41:47Z

Author Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 Çuvalcıoğlu, Gökhan. editor. Tuğrul, Feride. editor. (orcid)0000-0001-7690-8080 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82342-8
Format: Electronic Resources
Availability Online Library~1

Random Number Generators on Computers

2026-05-11T08:41:47Z

Author Nakazawa, Naoya, author. Nakazawa, Hiroshi, author.
Preferred Shelf Number QA276.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003410607 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

APPLIED STATISTICS WITH PYTHON

2026-05-11T08:41:47Z

Author Kaganovskiy, Leon.
Preferred Shelf Number QA276
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003473114 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Challenging Programming in Python: A Problem Solving Perspective

2026-05-11T08:41:47Z

Author Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39999-2
Format: Electronic Resources
Availability Online Library~1

Applied machine learning using mlr3 in R

2026-05-11T08:41:47Z

Author Bischl, Bernd, editor. Sonabend, Raphael, editor. Kotthoff, Lars, editor. Lang, Michel, editor.
Preferred Shelf Number Q325.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003402848 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

R Programming Statistical Data Analysis in Research

2026-05-11T08:41:47Z

Author Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3385-9
Format: Electronic Resources
Availability Online Library~1

PROBABILITY THEORY an introduction using r.

2026-05-11T08:41:47Z

Author Deshmukh, Shailaja R. Kashikar, Akanksha S.
Preferred Shelf Number QA273.19 .E4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032619057 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SMART MEDICAL IMAGING FOR DIAGNOSIS AND TREATMENT PLANNING

2026-05-11T08:41:47Z

Author Dey, Nilanjan, 1984- editor. Misra, Bitan, editor. Chakraborty, Sayan, PhD, editor.
Preferred Shelf Number R859
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003464884 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Foundation Mathematics for Computer Science A Visual Approach

2026-05-11T08:41:47Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66549-3
Format: Electronic Resources
Availability Online Library~1

Learn R : as a language

2026-05-11T08:41:47Z

Author Aphalo, Pedro J., author.
Preferred Shelf Number QA76.73 .R3 2024
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003404187 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer models of process dynamics : from Newton to energy fields

2026-05-11T08:41:47Z

Author Rubin, Olis, author.
Preferred Shelf Number QC52 .R83 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: Electronic Resources
Availability Online Library~1

Blockchain for real world applications

2026-05-11T08:41:47Z

Author Garg, Rishabh, author.
Preferred Shelf Number QA76.9 .B56 G37 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119903765
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Safety Assessment for Critical Systems Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022)

2026-05-11T08:41:47Z

Author Senthil Kumar, C. editor. Sujatha, R. editor. Muthukumar, R. editor. Rao, K. Balaji. editor. Prakash, Raghu V. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5049-2
Format: Electronic Resources
Availability Online Library~1

Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings

2026-05-11T08:41:47Z

Author Uden, Lorna. editor. Liberona, Dario. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34754-2
Format: Electronic Resources
Availability Online Library~1

Numerical calculations in Clifford algebra : a practical guide for engineers and scientists

2026-05-11T08:41:47Z

Author Seagar, Andrew, author. John Wiley & Sons, publisher.
Preferred Shelf Number QA199 .S43 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173273
Format: Electronic Resources
Availability Online Library~1

M-statistics : optimal statistical inference for a small sample

2026-05-11T08:41:47Z

Author Demidenko, Eugene, 1948- author.
Preferred Shelf Number QA276 .A2 D46 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119891826
Format: Electronic Resources
Availability Online Library~1

The physical chemist's toolbox

2026-05-11T08:41:47Z

Author Metzger, R. M. (Robert M.), 1940-
Preferred Shelf Number QD453.3 .M48 2023 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119755821
Format: Electronic Resources
Availability Online Library~1

Topological dynamics in metamodel discovery with artificial intelligence : from biomedical to cosmological technologies

2026-05-11T08:41:47Z

Author Fernández Stigliano, Ariel, author.
Preferred Shelf Number Q335 .F468 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003333012 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

COMPUTER ARITHMETIC IN PRACTICE exercises and programming.

2026-05-11T08:41:47Z

Author Gryś, Sławomir, author.
Preferred Shelf Number QA76.9 .C62
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003363286 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

STEM PROBLEMS WITH MATHCAD AND PYTHON

2026-05-11T08:41:47Z

Author Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.
Preferred Shelf Number QA303.2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003228356 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Advanced R Solutions

2026-05-11T08:41:47Z

Author Grosser, Malte. Bumann, Henning, author. Wickham, Hadley, author.
Preferred Shelf Number QA276.45 .R3 G76 2022
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003175414 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Bayesian Modelling of Spatio-Temporal Data with R.

2026-05-11T08:41:47Z

Author Sahu, Sujit Kumar
Preferred Shelf Number QA279.5
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429318443 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Hybrid genetic optimization for IC chips thermal control : with MATLAB applications

2026-05-11T08:41:47Z

Author Karvinkoppa, Mathew, author. Hotta, Tapano Kumar, author.
Preferred Shelf Number TK7874
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/e/9781003188506 Taylor & Francis https://www.taylorfrancis.com/books/9781003188506 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Valuing businesses using regression analysis : a quantitative approach to the guideline company transaction method

2026-05-11T08:41:47Z

Author Hall, C. Fred, author.
Preferred Shelf Number HG4028 .V3 H235 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119797432
Format: Electronic Resources
Availability Online Library~1

Supervised machine learning : optimization framework and applications with SAS and R

2026-05-11T08:41:47Z

Author Kolosova, Tanya, author. Berestizhevsky, Samuel, author.
Preferred Shelf Number Q325.75 .K65 2021 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429297595 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Design and optimization for 5G wireless communications

2026-05-11T08:41:47Z

Author Kim, Haesik, author.
Preferred Shelf Number TK5103.25 .K56 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492
Format: Electronic Resources
Availability Online Library~1

25 problems for STEM education

2026-05-11T08:41:47Z

Author Ochkov, V. F. (Valeriĭ Fedorovich)
Preferred Shelf Number QA76.27
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429344251 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

R for health data science

2026-05-11T08:41:47Z

Author Harrison, Ewen, author. Pius, Riinu, author.
Preferred Shelf Number QH324.2 .H37 2020
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367855420 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Applied spatial statistics and econometrics : data analysis in R

2026-05-11T08:41:47Z

Author Kopczewska, Katarzyna, editor.
Preferred Shelf Number HA30.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003033219 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Iterative optimizers : difficulty measures and benchmarks

2026-05-11T08:41:47Z

Author Clerc, Maurice, author.
Preferred Shelf Number QA402.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119612476
Format: Electronic Resources
Availability Online Library~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2026-05-11T08:41:47Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2026-05-11T08:41:47Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

2026-05-11T08:41:47Z

Author Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35166-3
Format: Electronic Resources
Availability Online Library~1

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

2026-05-11T08:41:47Z

Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17938-0
Format: Electronic Resources
Availability Online Library~1

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

2026-05-11T08:41:47Z

Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17935-9
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-05-11T08:41:47Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

2026-05-11T08:41:47Z

Author Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33749-0
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2026-05-11T08:41:47Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2026-05-11T08:41:47Z

Author Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2026-05-11T08:41:47Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources
Availability Online Library~1

Advanced numerical methods with Matlab1 : function approximation and system resolution

2026-05-11T08:41:47Z

Author Radi, Bouchaïb, author. El Hami, Abdelkhalak, author.
Preferred Shelf Number QA297
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119453611
Format: Electronic Resources
Availability Online Library~1

Advances in Unconventional Computing Volume 1: Theory

2026-05-11T08:41:47Z

Author Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33924-5
Format: Electronic Resources
Availability Online Library~1

SPSS statistics for data analysis and visualization

2026-05-11T08:41:47Z

Author McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number HA32
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Algorithms

2026-05-11T08:41:47Z

Author Kao, Ming-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-2864-4
Format: Electronic Resources
Availability Online Library~1

Computational Creativity Research: Towards Creative Machines

2026-05-11T08:41:47Z

Author Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.2991/978-94-6239-085-0
Format: Electronic Resources
Availability Online Library~1

A handbook of statistical graphics using SAS ODS

2026-05-11T08:41:47Z

Author Der, Geoff, author. Everitt, Brian Sidney, author. Taylor and Francis.
Preferred Shelf Number QA276.4 .D474
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Concrete Semantics With Isabelle/HOL

2026-05-11T08:41:47Z

Author Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10542-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2026-05-11T08:41:47Z

Author Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2026-05-11T08:41:47Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-05-11T08:41:47Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

2026-05-11T08:41:47Z

Author Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2026-05-11T08:41:47Z

Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

2026-05-11T08:41:47Z

Author Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources
Availability Online Library~1

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

2026-05-11T08:41:47Z

Author Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources
Availability Online Library~1

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2026-05-11T08:41:47Z

Author Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

2026-05-11T08:41:47Z

Author Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources
Availability Online Library~1

Regulated Grammars and Automata

2026-05-11T08:41:47Z

Author Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2026-05-11T08:41:47Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2026-05-11T08:41:47Z

Author George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08311-7
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

2026-05-11T08:41:47Z

Author Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2026-05-11T08:41:47Z

Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

2026-05-11T08:41:47Z

Author Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources
Availability Online Library~1

Dynamic documents with R and KNITR

2026-05-11T08:41:47Z

Author Xie, Yihui., author. Taylor and Francis.
Preferred Shelf Number QA276.4
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Discrete dynamical systems and chaotic machines : theory and applications

2026-05-11T08:41:47Z

Author Bahi, Jacques Mohcine., author. Guyeux, Christophe.
Preferred Shelf Number QA76.9 .A25 B344 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Invisible in the storm : the role of mathematics in understanding weather

2026-05-11T08:41:47Z

Author Roulstone, Ian. Norbury, John, 1945-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt1r2dvw
Format: Electronic Resources
Availability Online Library~1

In pursuit of the traveling salesman : mathematics at the limits of computation

2026-05-11T08:41:47Z

Author Cook, William, 1957-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7t8kc
Format: Electronic Resources
Availability Online Library~1

A Numerical library in C for scientists and engineers

2026-05-11T08:41:47Z

Author Lau, H. T. (Hang Tong), 1952-
Preferred Shelf Number QA76.73 .C15 L38 1995 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420050103 Taylor & Francis https://www.taylorfrancis.com/books/9780367802387 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1