Search Results for Programming. - Narrowed by: 2014

Bayesian programming

2025-12-10T17:01:54Z

Author Bessiere, Pierre.
Preferred Shelf Number QA76.6 B4764 2014
Format: Books
Availability Beytepe Library~1

Python Programming Fundamentals

2025-12-10T17:01:54Z

Author Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6642-9
Format: Electronic Resources
Availability Online Library~1

Introduction to programming languages

2025-12-10T17:01:54Z

Author Bansal, Arvind Kumar.
Preferred Shelf Number QA76.5 B36 2014
Format: Books
Availability Beytepe Library~1

Foundations of Programming Languages

2025-12-10T17:01:54Z

Author Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13314-0
Format: Electronic Resources
Availability Online Library~1

The art of computer programming

2025-12-10T17:01:54Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Programming principles in computer graphics

2025-12-10T17:01:54Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

Constraint Programming and Decision Making

2025-12-10T17:01:54Z

Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04280-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XI

2025-12-10T17:01:54Z

Author Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources
Availability Online Library~1

Beginning programming with Python® for dummies®

2025-12-10T17:01:54Z

Author Mueller, John, 1958- author.
Preferred Shelf Number QA76.73.P98 M839 2014
Format: Books
Availability Beytepe Library~1

Programming : principles and practice using C++

2025-12-10T17:01:54Z

Author Stroustrup, Bjarne, author.
Preferred Shelf Number QA76.73.C153 S82 2014
Format: Books
Availability Beytepe Library~1

Hormones, Intrauterine Health and Programming

2025-12-10T17:01:54Z

Author Seckl, Jonathan R. editor. Christen, Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-02591-9
Format: Electronic Resources
Availability Online Library~1

Service Systems Concepts, Modeling, and Programming

2025-12-10T17:01:54Z

Author Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10813-1
Format: Electronic Resources
Availability Online Library~1

Programming the World Wide Web

2025-12-10T17:01:54Z

Author Sebesta, Robert W.
Preferred Shelf Number QA76.625 S42 2014
Format: Books
Availability Beytepe Library~3

Gpgpu programming for games and science

2025-12-10T17:01:54Z

Author Eberly, David H., author. Taylor and Francis.
Preferred Shelf Number T385
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microcontrollers : high-performance systems and programming

2025-12-10T17:01:54Z

Author Sanchez, Julio, 1938- author. Canton, Maria P., author.
Preferred Shelf Number TJ223 .P76 S362 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

High performance programming for soft computing

2025-12-10T17:01:54Z

Author Montiel Ross, Oscar, editor. of compilation. Sepulveda Cruz, Roberto, editor. of compilation.
Preferred Shelf Number QA76.9 .S63 H54 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mathematical programming solver based on local search

2025-12-10T17:01:54Z

Author Gardi, Frédéric.
Preferred Shelf Number ONLINE(342088.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1734304 ebrary http://site.ebrary.com/id/10892223 John Wiley http://dx.doi.org/10.1002/9781118966464 MyiLibrary http://www.myilibrary.com?id=627080
Format: Electronic Resources
Availability Online Library~1

Computing for biologists : python programming and principles

2025-12-10T17:01:54Z

Author Libeskind-Hadas, Ran. Bush, Eliot.
Preferred Shelf Number QH324.2 L53 2014
Format: Books
Availability Beytepe Library~1

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2025-12-10T17:01:54Z

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

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

2025-12-10T17:01:54Z

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

Programming languages for MIS : concepts and practice

2025-12-10T17:01:54Z

Author Wang, Hai, author. Wang, Shouhong, 1962- author. Taylor and Francis.
Preferred Shelf Number T58.6
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

2025-12-10T17:01:54Z

Author O'Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2025-12-10T17:01:54Z

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

Introduction to scientific programming and simulation using R

2025-12-10T17:01:54Z

Author Jones, Owen (Owen Dafydd), author. Maillardet, Robert, author. Robinson, Andrew (Andrew P.), author.
Preferred Shelf Number Q183.9 J65 2014
Format: Books
Availability Beytepe Library~1

An introduction to MATLAB® programming and numerical methods for engineers

2025-12-10T17:01:54Z

Author Siauw, Timmy, author. Bayen, Alexandre M., author.
Preferred Shelf Number ONLINE(355827.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124202283
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Operational Semantics A Concise Overview

2025-12-10T17:01:54Z

Author Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

2025-12-10T17:01:54Z

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2025-12-10T17:01:54Z

Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43948-7
Format: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2025-12-10T17:01:54Z

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

Embedded C programming : techniques and applications of C and PIC MCUS

2025-12-10T17:01:54Z

Author Siegesmund, Mark, author.
Preferred Shelf Number ONLINE(355476.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128013144
Format: Electronic Resources
Availability Online Library~1

Using MPI : portable parallel programming with the Message-Passing-Interface

2025-12-10T17:01:54Z

Author Gropp, William, author. Lusk, Ewing, author. Skjellum, Anthony, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364985.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847
Format: Electronic Resources
Availability Online Library~1

Processing : a programming handbook for visual designers and artists

2025-12-10T17:01:54Z

Author Reas, Casey, author. Fry, Ben. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364987.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153
Format: Electronic Resources
Availability Online Library~1

Exam ref 70-480 : programming in HTML5 with Javascript and CSS3

2025-12-10T17:01:54Z

Author Delorme, Rick, author.
Preferred Shelf Number QA76.76.H94 D46 2014
Format: Books
Availability Beytepe Library~1

Arduino sketches : tools and techniques for programming wizardry

2025-12-10T17:01:54Z

Author Langbridge, James A., author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap

2025-12-10T17:01:54Z

Author Castrillón Mazo, Jerónimo. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-00675-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2025-12-10T17:01:54Z

Author Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

2025-12-10T17:01:54Z

Author Janjua, Naeem Khalid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03949-7
Format: Electronic Resources
Availability Online Library~1

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2025-12-10T17:01:54Z

Author Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2025-12-10T17:01:54Z

Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources
Availability Online Library~1

Guide to Java A Concise Introduction to Programming

2025-12-10T17:01:54Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6317-6
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2025-12-10T17:01:54Z

Author Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings

2025-12-10T17:01:54Z

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

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2025-12-10T17:01:54Z

Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-12-10T17:01:54Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

2025-12-10T17:01:54Z

Author Lee, Jon. editor. Vygen, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07557-0
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2025-12-10T17:01:54Z

Author Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11295-4
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

2025-12-10T17:01:54Z

Author Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

2025-12-10T17:01:54Z

Author Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

2025-12-10T17:01:54Z

Author Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11587-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2025-12-10T17:01:54Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
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

2025-12-10T17:01:54Z

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

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2025-12-10T17:01:54Z

Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

2025-12-10T17:01:54Z

Author Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45391-9
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

2025-12-10T17:01:54Z

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

Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

2025-12-10T17:01:54Z

Author Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07221-0
Format: Electronic Resources
Availability Online Library~1

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2025-12-10T17:01:54Z

Author Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources
Availability Online Library~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2025-12-10T17:01:54Z

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

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

2025-12-10T17:01:54Z

Author Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04126-1
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

2025-12-10T17:01:54Z

Author Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06859-6
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2025-12-10T17:01:54Z

Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2025-12-10T17:01:54Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources
Availability Online Library~1

Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

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

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2025-12-10T17:01:54Z

Author Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

2025-12-10T17:01:54Z

Author Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources
Availability Online Library~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2025-12-10T17:01:54Z

Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54338-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

2025-12-10T17:01:54Z

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

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

2025-12-10T17:01:54Z

Author Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10702-8
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2025-12-10T17:01:54Z

Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2025-12-10T17:01:54Z

Author Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources
Availability Online Library~1

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

2025-12-10T17:01:54Z

Author Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12214-4
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

2025-12-10T17:01:54Z

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

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

2025-12-10T17:01:54Z

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 for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2025-12-10T17:01:54Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

2025-12-10T17:01:54Z

Author Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

2025-12-10T17:01:54Z

Author Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10506-2
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

2025-12-10T17:01:54Z

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

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources
Availability Online Library~1

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

2025-12-10T17:01:54Z

Author Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07076-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2025-12-10T17:01:54Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53956-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

2025-12-10T17:01:54Z

Author Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2025-12-10T17:01:54Z

Author Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2025-12-10T17:01:54Z

Author Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2025-12-10T17:01:54Z

Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2025-12-10T17:01:54Z

Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

2025-12-10T17:01:54Z

Author Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55149-9
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

2025-12-10T17:01:54Z

Author Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10557-4
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

2025-12-10T17:01:54Z

Author Villari, Massimo. editor. Zimmermann, Wolf. editor. Lau, Kung-Kiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44879-3
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2025-12-10T17:01:54Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources
Availability Online Library~1

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2025-12-10T17:01:54Z

Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources
Availability Online Library~1

Models@run.time Foundations, Applications, and Roadmaps

2025-12-10T17:01:54Z

Author Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08915-7
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

2025-12-10T17:01:54Z

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

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2025-12-10T17:01:54Z

Author Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources
Availability Online Library~1

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2025-12-10T17:01:54Z

Author DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2025-12-10T17:01:54Z

Author Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources
Availability Online Library~1

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

2025-12-10T17:01:54Z

Author Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09870-8
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

2025-12-10T17:01:54Z

Author Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

2025-12-10T17:01:54Z

Author Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

2025-12-10T17:01:54Z

Author Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2025-12-10T17:01:54Z

Author Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10181-1
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

2025-12-10T17:01:54Z

Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13835-0
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2025-12-10T17:01:54Z

Author Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43376-8
Format: Electronic Resources
Availability Online Library~1

Game engine gems

2025-12-10T17:01:54Z

Author Lengyel, Eric.
Preferred Shelf Number QA76.76 .C672 G3588 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Using R for Numerical Analysis in Science and Engineering

2025-12-10T17:01:54Z

Author Bloomfield, Victor A., author. Taylor and Francis.
Preferred Shelf Number Q183.9
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Implementing Reproducible Research

2025-12-10T17:01:54Z

Author Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.
Preferred Shelf Number Q180.55 .S7
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Algoritma ve programlama mantığı

2025-12-10T17:01:54Z

Author Tungut, H. Burak
Preferred Shelf Number QA76.9.A43 T86 2016
Format: Books
Availability Beytepe Library~2

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

2025-12-10T17:01:54Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2025-12-10T17:01:54Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2025-12-10T17:01:54Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14240-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2025-12-10T17:01:54Z

Author Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Quality

2025-12-10T17:01:54Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

2025-12-10T17:01:54Z

Author Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

2025-12-10T17:01:54Z

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

Practical Analysis of Algorithms

2025-12-10T17:01:54Z

Author Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09888-3
Format: Electronic Resources
Availability Online Library~1

Real-time UML workshop for embedded systems

2025-12-10T17:01:54Z

Author Douglass, Bruce Powel.
Preferred Shelf Number ONLINE(355949.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124077812
Format: Electronic Resources
Availability Online Library~1

Yöneylem araştırması I : (bilgisayar destekli doğrusal ve parametrik programlama)

2025-12-10T17:01:54Z

Author Özden, Kenan. Gül, Sait.
Preferred Shelf Number T57.6 .O93 2014
Format: Books
Availability Beytepe Library~2

Hackerlar : bilgisayar devriminin kahramanları

2025-12-10T17:01:54Z

Author Levy, Steven Aslan, Emel.
Preferred Shelf Number QA76.6 L489 2014
Format: Books
Availability Beytepe Library~1

Ratings analysis : audience measurement and analytics

2025-12-10T17:01:54Z

Author Webster, James G. Phalen, Patricia F. Lichty, Lawrence Wilson.
Preferred Shelf Number HE8700.65 W42 2014
Format: Books
Availability Beytepe Library~1

Using R for introductory statistics

2025-12-10T17:01:54Z

Author Verzani, John.
Preferred Shelf Number QA276.4 V47 2014
Format: Books
Availability Beytepe Library~1

Relevance ranking for vertical search engines

2025-12-10T17:01:54Z

Author Long, Bo, editor. Chang, Yi (Computer expert), editor.
Preferred Shelf Number ONLINE(356033.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124071711
Format: Electronic Resources
Availability Online Library~1

Sams teach yourself Java in 24 hours

2025-12-10T17:01:54Z

Author Cadenhead, Rogers, author.
Preferred Shelf Number QA76.73.J38 C335 2014
Format: Books
Availability Beytepe Library~1

Spreadsheet implementation technology : basics and extensions

2025-12-10T17:01:54Z

Author Sestoft, Peter, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364973.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940404
Format: Electronic Resources
Availability Online Library~1

Developer's dilemma : the secret world of videogame creators

2025-12-10T17:01:54Z

Author O'Donnell, Casey, 1979-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364983.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981845
Format: Electronic Resources
Availability Online Library~1

Using advanced MPI : modern features of the Message-Passing-Interface

2025-12-10T17:01:54Z

Author Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number ONLINE(364986.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: Electronic Resources
Availability Online Library~1

Algoritma ve programlama mantığı

2025-12-10T17:01:54Z

Author Tungut, H. Burak
Preferred Shelf Number QA76.9.A43 T86 2014
Format: Books
Availability Beytepe Library~1

Designing and developing library intranets

2025-12-10T17:01:54Z

Author McHale, Nina, editor.
Preferred Shelf Number Z674.7 D475 2014
Format: Books
Availability Beytepe Library~1

Optimization in engineering sciences : approximate and metaheuristic methods

2025-12-10T17:01:54Z

Author Stefanoiu, Dan, author.
Preferred Shelf Number ONLINE(341642.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118648766
Format: Electronic Resources
Availability Online Library~1

Concepts of combinatorial optimization

2025-12-10T17:01:54Z

Author Paschos, Vangelis Th.
Preferred Shelf Number ONLINE(342138.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765108 John Wiley http://dx.doi.org/10.1002/9781119005216
Format: Electronic Resources
Availability Online Library~1

Paradigms of combinatorial optimization

2025-12-10T17:01:54Z

Author Paschos, Vangelis Th.
Preferred Shelf Number ONLINE(342140.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765110 John Wiley http://dx.doi.org/10.1002/9781119005353
Format: Electronic Resources
Availability Online Library~1

Applications of combinatorial optimization

2025-12-10T17:01:54Z

Author Paschos, Vangelis Th.
Preferred Shelf Number ONLINE(342141.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765113 John Wiley http://dx.doi.org/10.1002/9781119005384
Format: Electronic Resources
Availability Online Library~1

Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words

2025-12-10T17:01:54Z

Author Rigo, Michel.
Preferred Shelf Number ONLINE(342165.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119008200 John Wiley http://dx.doi.org/10.1002/9781119042853
Format: Electronic Resources
Availability Online Library~1

Java for dummies

2025-12-10T17:01:54Z

Author Burd, Barry A.
Preferred Shelf Number QA76.73.J38 B87 2014
Format: Books
Availability Beytepe Library~1

Big data, big innovation : enabling competitive differentiation through business analytics

2025-12-10T17:01:54Z

Author Stubbs, Evan.
Preferred Shelf Number ONLINE(342017.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118724644.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1729078 ebrary http://site.ebrary.com/id/10891188 John Wiley http://dx.doi.org/10.1002/9781118914984 http://onlinelibrary.wiley.com/book/10.1002/9781118914984
Format: Electronic Resources
Availability Online Library~1

Java Se8 for Programmers

2025-12-10T17:01:54Z

Author Deitel, Paul J. author. Deitel, Harvey M., 1945- author.
Preferred Shelf Number QA76.73.J38 D457 2014
Format: Books
Availability Beytepe Library~1

Introduction to linear optimization and extensions with MATLAB®

2025-12-10T17:01:54Z

Author Kwon, Roy H.
Preferred Shelf Number T57.74 K96 2014
Format: Books
Availability Beytepe Library~1

JRuby Rails Web Application Development

2025-12-10T17:01:54Z

Author Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources
Availability Online Library~1

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-12-10T17:01:54Z

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

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2025-12-10T17:01:54Z

Author Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-12-10T17:01:54Z

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

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2025-12-10T17:01:54Z

Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

2025-12-10T17:01:54Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04915-1
Format: Electronic Resources
Availability Online Library~1

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2025-12-10T17:01:54Z

Author Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2025-12-10T17:01:54Z

Author Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources
Availability Online Library~1

İnternet tabanlı programlama

2025-12-10T17:01:54Z

Author Korkmaz, Özgen
Preferred Shelf Number QA76.625 K67 2014
Format: Books
Availability Beytepe Library~2

Algoritmalar

2025-12-10T17:01:54Z

Author Uzunköprü, Süleyman.
Preferred Shelf Number QA76.9.D35 U98 2014
Format: Books
Availability Beytepe Library~2

Object-oriented software engineering : using UML, patterns, and Java

2025-12-10T17:01:54Z

Author Bruegge, Bernd. Dutoit, Allen H.
Preferred Shelf Number QA76.758 B785 2014
Format: Books
Availability Beytepe Library~1

Basic data analysis for time series with R

2025-12-10T17:01:54Z

Author Derryberry, DeWayne R., author.
Preferred Shelf Number ONLINE(341606.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1719581 John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118593233 John Wiley http://dx.doi.org/10.1002/9781118593233 MyiLibrary http://www.myilibrary.com?id=632010 http://swb.eblib.com/patron/FullRecord.aspx?p=1719581
Format: Electronic Resources
Availability Online Library~1

Handbook for construction planning and scheduling

2025-12-10T17:01:54Z

Author Baldwin, Andrew, 1950- author. Bordoli, David, author.
Preferred Shelf Number ONLINE(341862.1)
Electronic Access http://onlinelibrary.wiley.com/book/10.1002/9781118838167 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg John Wiley http://dx.doi.org/10.1002/9781118838167
Format: Electronic Resources
Availability Online Library~1

Discovering knowledge in data : an introduction to data mining

2025-12-10T17:01:54Z

Author Larose, Daniel T., author. Larose, Chantal D., author. IEEE Computer Society.
Preferred Shelf Number ONLINE(341929.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1699137 John Wiley http://dx.doi.org/10.1002/9781118874059 Books24x7 http://www.books24x7.com/marc.asp?bookid=63521
Format: Electronic Resources
Availability Online Library~1

Computational design of lightweight structures : form finding and optimization

2025-12-10T17:01:54Z

Author Descamps, Benoît, author.
Preferred Shelf Number ONLINE(341998.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1650850 ebrary http://site.ebrary.com/id/10849300 John Wiley http://dx.doi.org/10.1002/9781118908860 MyiLibrary http://www.myilibrary.com?id=584585
Format: Electronic Resources
Availability Online Library~1

Android programlama

2025-12-10T17:01:54Z

Author Narman, Aysan Ethem
Preferred Shelf Number QA76.7 .A65 N37 2014
Format: Books
Availability Beytepe Library~3

HTML5 game engines : app development and distribution

2025-12-10T17:01:54Z

Author Nagle, Dan.
Preferred Shelf Number QA76.76.C672 N34 2014
Format: Books
Availability Beytepe Library~1

iOS game development : developing games for iPad, iPhone, and iPod Touch

2025-12-10T17:01:54Z

Author Lucka, Thomas.
Preferred Shelf Number QA76.76.C672 L75 2014
Format: Books
Availability Beytepe Library~1

Raspberry pi

2025-12-10T17:01:54Z

Author Kılıçdağı, Arda Dalıcı, Rahmi
Preferred Shelf Number QA76.76.A65 A73 2014
Format: Books
Availability Beytepe Library~3

Matlab ile programlama : çözümlü ve açıklamalı uygulamalar

2025-12-10T17:01:54Z

Author Dal, Deniz
Preferred Shelf Number QA76 .7 D25 2014
Format: Books
Availability Beytepe Library~2

Numerical Computations with GPUs

2025-12-10T17:01:54Z

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

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

2025-12-10T17:01:54Z

Author Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2025-12-10T17:01:54Z

Author Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources
Availability Online Library~1

Practical Gas Chromatography A Comprehensive Reference

2025-12-10T17:01:54Z

Author Dettmer-Wilde, Katja. editor. Engewald, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54640-2
Format: Electronic Resources
Availability Online Library~1

A first course in optimization

2025-12-10T17:01:54Z

Author Byrne, Charles L., 1947- author. Taylor and Francis.
Preferred Shelf Number QA402.5
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

PASCAL for electronics and communications

2025-12-10T17:01:54Z

Author Meadows, R. G. (Richard Guy), author.
Preferred Shelf Number QA76.73 .P2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315274782 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

GPU pro 5 : advanced rendering techniques

2025-12-10T17:01:54Z

Author Engel, Wolfgang, editor. of compilation.
Preferred Shelf Number T385 .G8873 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Parallel science and engineering applications : the Charm++ approach

2025-12-10T17:01:54Z

Author Kale, Laxmikant V., editor. Bhatele, Abhinav, editor.
Preferred Shelf Number TA345.5 .P37 P37 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The essential guide to game audio : the theory and practice of sound for games

2025-12-10T17:01:54Z

Author Horowitz, Steve, 1964-, author. Looney, Scott.
Preferred Shelf Number QA76.76 .C672 H678 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computing handbook : computer science and software engineering

2025-12-10T17:01:54Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C57315 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Iterative optimization in inverse problems

2025-12-10T17:01:54Z

Author Byrne, Charles L., 1947, author.
Preferred Shelf Number QA297.8 .B974 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Game engine architecture

2025-12-10T17:01:54Z

Author Gregory, Jason, 1970, author.
Preferred Shelf Number QA76.76 .C672 G77 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multithreading for visual effects

2025-12-10T17:01:54Z

Author Watt, Martin, author. Coumans, Erwin, author. ElKoura, George, author. Henderson, Ronald, author. Kraemer, Manuel, author.
Preferred Shelf Number TR897.7
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

GeoComputation

2025-12-10T17:01:54Z

Author Abrahart, Robert J., 1956- editor. See, Linda M., 1966- editor.
Preferred Shelf Number G70.2 .G432 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Numerical methods and optimization : an introduction

2025-12-10T17:01:54Z

Author Butenko, Sergiy, author. Pardalos, Panos M., 1954- author. Taylor and Francis.
Preferred Shelf Number QA297
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Designing apps for success : developing consistent app design practices

2025-12-10T17:01:54Z

Author David, Matthew, 1971-, author. Murman, Chris.
Preferred Shelf Number QA76.59 .D3875 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The green computing book : tackling energey efficiency at large scale

2025-12-10T17:01:54Z

Author Feng, Wu-chun, 1966- editor.
Preferred Shelf Number QA76.9 .E58 I58 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computing handbook

2025-12-10T17:01:54Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C5732 2014 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429171529 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Convergence of Communications, Navigation, Sensing and Services.

2025-12-10T17:01:54Z

Author Ligthart, L. P. Prasad, Ramjee.
Preferred Shelf Number TK5103.485 .C668 2014 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003337713 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

3D game textures : create professional game art using photoshop

2025-12-10T17:01:54Z

Author Ahearn, Luke., author.
Preferred Shelf Number QA76.76 .C672 A34 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Game Design Workshop

2025-12-10T17:01:54Z

Author Fullerton, Tracy, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429188015 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SAS and R : data management, statistical analysis, and graphics

2025-12-10T17:01:54Z

Author Kleinman, Ken, author. Horton, Nicholas J., author.
Preferred Shelf Number QA76.73 .S27 K54 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Production pipeline fundamentals for film and game

2025-12-10T17:01:54Z

Author Dunlop, Renee.
Preferred Shelf Number QA76.76 .C672 D863 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Essential MATLAB and Octave

2025-12-10T17:01:54Z

Author Rogel-Salazar, Jesus, author. Taylor and Francis.
Preferred Shelf Number QA76.95 .R59
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Data Mining : Technologies, Techniques, Tools, and Trends

2025-12-10T17:01:54Z

Author Thuraisingham, Bhavani, author.
Preferred Shelf Number QA76.9 .D3 T487 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Environmental and hydrological systems modelling

2025-12-10T17:01:54Z

Author Jayawardena, A W, author. CRC Press.
Preferred Shelf Number GB656.2 .H9 J393 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Formal languages and computation : models and their applications

2025-12-10T17:01:54Z

Author Meduna, Alexander, 1957- author. Taylor and Francis.
Preferred Shelf Number QA267.3
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-12-10T17:01:54Z

Author Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T17:01:54Z

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

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2025-12-10T17:01:54Z

Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources
Availability Online Library~1

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2025-12-10T17:01:54Z

Author Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2025-12-10T17:01:54Z

Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources
Availability Online Library~1

Concrete Semantics With Isabelle/HOL

2025-12-10T17:01:54Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2025-12-10T17:01:54Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy multiple objective decision making

2025-12-10T17:01:54Z

Author Tzeng, Gwo-Hshiung, author. Huang, Jih-Jeng, author.
Preferred Shelf Number T57.95 .H83 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Tempature-Programmed Reduction for Solid Materials Characterization

2025-12-10T17:01:54Z

Author Jones, Alan, author.
Preferred Shelf Number QD63 .R4 J664 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Large scale and big data : processing and management

2025-12-10T17:01:54Z

Author Sakr, Sherif, 1979- editor. Gaber, Mohamed Medhat, editor.
Preferred Shelf Number QA76.9 .D3 L3667 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software essentials : design and construction

2025-12-10T17:01:54Z

Author Dingle, Adair, author.
Preferred Shelf Number QA76.76 .D47 D545 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Electricity markets and power system economics

2025-12-10T17:01:54Z

Author Gan, Deqiang, 1966, author. Feng, Donghan, 1966- author. Xie, Jun, author.
Preferred Shelf Number HD9685 .A2 G363 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1