Search Results for Mathematics - Narrowed by: Compilers (Computer programs).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300?dt=list
2026-03-14T04:20:11Z
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616028
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608907
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94706-3">https://doi.org/10.1007/978-3-031-94706-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604171
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64285-2">https://doi.org/10.1007/978-3-031-64285-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ent://SD_ILS/0/SD_ILS:611240
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Analysis for Software Verification and Security
ent://SD_ILS/0/SD_ILS:611157
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning with R
ent://SD_ILS/0/SD_ILS:613255
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Ghatak, Abhijit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6808-9">https://doi.org/10.1007/978-981-10-6808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616013
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Graphics for Java Programmers
ent://SD_ILS/0/SD_ILS:613230
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Ammeraal, Leen. author. Zhang, Kang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63357-2">https://doi.org/10.1007/978-3-319-63357-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Programming Languages
ent://SD_ILS/0/SD_ILS:617555
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
ent://SD_ILS/0/SD_ILS:611797
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612022
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617139
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More Math Into LaTeX
ent://SD_ILS/0/SD_ILS:617748
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23796-1">https://doi.org/10.1007/978-3-319-23796-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Python and Computer Programming
ent://SD_ILS/0/SD_ILS:530614
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Zhang, Yue. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-287-609-6">https://doi.org/10.1007/978-981-287-609-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Optimization Techniques
ent://SD_ILS/0/SD_ILS:618577
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0292-0">https://doi.org/10.1007/978-1-4842-0292-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Mathematical Analysis
ent://SD_ILS/0/SD_ILS:618674
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0349-1">https://doi.org/10.1007/978-1-4842-0349-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Numerical Calculations
ent://SD_ILS/0/SD_ILS:618545
2026-03-14T04:20:11Z
2026-03-14T04:20:11Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0346-0">https://doi.org/10.1007/978-1-4842-0346-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>