Search Results for Abstraction.

Studies in reflecting abstraction

2026-01-18T10:39:07Z

Author Piaget, Jean. Campbell, Robert L.
Preferred Shelf Number BF 723.A26 R4313 2000
Format: Books
Availability Beytepe Library~1

Robert Motherwell, abstraction, and philosophy

2026-01-18T10:39:07Z

Author Hobbs, Robert Carleton, 1946- author.
Preferred Shelf Number N6537 .M67
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429265082 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Qualitative Spatial Abstraction in Reinforcement Learning

2026-01-18T10:39:07Z

Author Frommberger, Lutz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16590-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering 1 Abstraction and Modelling

2026-01-18T10:39:07Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31288-9
Format: Electronic Resources
Availability Online Library~1

Painting abstraction : new elements in abstract painting

2026-01-18T10:39:07Z

Author Nickas, Robert, author.
Preferred Shelf Number ND196.A2 N53 2014
Format: Books
Availability Beytepe Library~1

Abstraction in Artificial Intelligence and Complex Systems

2026-01-18T10:39:07Z

Author Saitta, Lorenza. author. Zucker, Jean-Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332194.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7052-6
Format: Electronic Resources
Availability Online Library~1

What is a picture? depiction, realism, abstraction

2026-01-18T10:39:07Z

Author Newall, Michael, 1973-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=356753
Format: Electronic Resources
Availability Online Library~1

Data structures : abstraction and design using Java

2026-01-18T10:39:07Z

Author Koffman, Elliot B., author. Wolfgang, Paul A. T.
Preferred Shelf Number QA76.9.D35 K58 2010
Format: Books
Availability Beytepe Library~1

Problem solving, abstraction, and design using C++

2026-01-18T10:39:07Z

Author Friedman, Frank L. Koffman, Elliot B.
Preferred Shelf Number QA76.73.C153 F754 2007
Format: Books
Availability Beytepe Library~1

Abstraction Refinement for Large Scale Model Checking

2026-01-18T10:39:07Z

Author Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34600-7
Format: Electronic Resources
Availability Online Library~1

Abstraction, Refinement and Proof for Probabilistic Systems

2026-01-18T10:39:07Z

Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138392
Format: Electronic Resources
Availability Online Library~1

ABSTRACTION IN MEDIEVAL ART beyond the ornament.

2026-01-18T10:39:07Z

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

Data abstraction & problem solving with C++ : walls & mirrors

2026-01-18T10:39:07Z

Author Carrano, Frank M., author. Henry, Timothy, author.
Preferred Shelf Number QA76.73.C153 C38 2013
Format: Books
Availability Beytepe Library~1

Transnational perspectives on the art of Piero Manzoni and He??lio Oiticica : from abstraction to participation

2026-01-18T10:39:07Z

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

The iconology of abstraction : non-figurative images and the modern world

2026-01-18T10:39:07Z

Author Purgar, Krešimir, editor.
Preferred Shelf Number P99.4 .V57
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429262500 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Türk resminin soyutlama ve soyut serüveninde Abidin Elderoğlu = Abidin Elderoğlu in the Adventure of Turkish Abstraction and Abstract Painting

2026-01-18T10:39:07Z

Author Gören, Ahmet Kamil, 1956- author. Öztek, Çiçek editor. Eralp, Feride. editor. Sağdıç, İdil editor. Sağdıç, Ozan.
Preferred Shelf Number ND873.E43 T4 2018
Format: Books
Availability Beytepe Library~1

Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques

2026-01-18T10:39:07Z

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

From knowledge abstraction to management using Ranganathan's faceted schema to develop conceptual frameworks for digital libraries

2026-01-18T10:39:07Z

Author Suman, Aparajita.
Preferred Shelf Number ONLINE(355833.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781843347033
Format: Electronic Resources
Availability Online Library~1

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control

2026-01-18T10:39:07Z

Author Mellodge, Patricia. author. Kachroo, Pushkin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70799-8
Format: Electronic Resources
Availability Online Library~1

Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments

2026-01-18T10:39:07Z

Author Galindo, Cipriano. author. Fernández-Madrigal, Juan-Antonio. author. Gonzáez, Javier. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72690-6
Format: Electronic Resources
Availability Online Library~1

The Arché Papers on the Mathematics of Abstraction

2026-01-18T10:39:07Z

Author Cook, Roy T. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-4265-2
Format: Electronic Resources
Availability Online Library~1

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2026-01-18T10:39:07Z

Author Miguel, Ian. editor. Ruml, Wheeler. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Electronic Resources
Availability Online Library~1

The sociology of the body mapping the abstraction of embodiment

2026-01-18T10:39:07Z

Author Cregan, Kate.
Preferred Shelf Number ONLINE(369732.1)
Electronic Access SAGE knowledge http://sk.sagepub.com/books/the-sociology-of-the-body
Format: Electronic Resources
Availability Online Library~1

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

2026-01-18T10:39:07Z

Author Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527862
Format: Electronic Resources
Availability Online Library~1

Logical frameworks for truth and abstraction an axiomatic study

2026-01-18T10:39:07Z

Author Cantini, Andrea.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: Electronic Resources
Availability Online Library~1

The action of English comedy : studies in the encounter of abstraction and experience from Shakespeare to Shaw

2026-01-18T10:39:07Z

Author Kaul, A. N.
Preferred Shelf Number PR 631 K3
Format: Books
Availability Beytepe Library~1

Abstraction and empathy : a conribution to the psychology of style

2026-01-18T10:39:07Z

Author Worringer, Wilhelm, 1881-1965.
Preferred Shelf Number N 68 W613 1967
Format: Books
Availability Beytepe Library~1

Experimental politics : work, welfare, and creativity in the neoliberal age

2026-01-18T10:39:07Z

Author Lazzarato, M. (Maurizio). Bove, Arianna. Gilbert, Jeremy.
Preferred Shelf Number HD8039.E652 F8613 2017
Format: Books
Availability Beytepe Library~1

Do numbers exist? : a debate about abstract objects

2026-01-18T10:39:07Z

Author Van Inwagen, Peter, author. Craig, William Lane, author.
Preferred Shelf Number QA241 .V36 2024 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003008712 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

2026-01-18T10:39:07Z

Author Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36840-0
Format: Electronic Resources
Availability Online Library~1

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

2026-01-18T10:39:07Z

Author Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26886-1
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2026-01-18T10:39:07Z

Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33620-1
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

2026-01-18T10:39:07Z

Author Prevosto, Virgile. editor. Seceleanu, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38828-6
Format: Electronic Resources
Availability Online Library~1

Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

2026-01-18T10:39:07Z

Author Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-41620-0
Format: Electronic Resources
Availability Online Library~1

Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings

2026-01-18T10:39:07Z

Author Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43360-3
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

2026-01-18T10:39:07Z

Author Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43835-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

2026-01-18T10:39:07Z

Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30648-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Machine Learning 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers

2026-01-18T10:39:07Z

Author Calders, Toon. editor. Vens, Celine. editor. Lijffijt, Jefrey. editor. Goethals, Bart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39144-6
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2022 International Workshops, Münster, Germany, September 11-16, 2022, Revised Selected Papers

2026-01-18T10:39:07Z

Author Cabanillas, Cristina. editor. Garmann-Johnsen, Niels Frederik. editor. Koschmider, Agnes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25383-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages: Principles and Paradigms

2026-01-18T10:39:07Z

Author Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34144-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

2026-01-18T10:39:07Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2026-01-18T10:39:07Z

Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31476-6
Format: Electronic Resources
Availability Online Library~1

MultiMedia Modeling 29th International Conference, MMM 2023, Bergen, Norway, January 9-12, 2023, Proceedings, Part I

2026-01-18T10:39:07Z

Author Dang-Nguyen, Duc-Tien. editor. Gurrin, Cathal. editor. Larson, Martha. editor. Smeaton, Alan F. editor. Rudinac, Stevan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27077-2
Format: Electronic Resources
Availability Online Library~1

MultiMedia Modeling 29th International Conference, MMM 2023, Bergen, Norway, January 9-12, 2023, Proceedings, Part II

2026-01-18T10:39:07Z

Author Dang-Nguyen, Duc-Tien. editor. Gurrin, Cathal. editor. Larson, Martha. editor. Smeaton, Alan F. editor. Rudinac, Stevan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27818-1
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-01-18T10:39:07Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers

2026-01-18T10:39:07Z

Author Aramaki, Mitsuko. editor. Hirata, Keiji. editor. Kitahara, Tetsuro. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35382-6
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

2026-01-18T10:39:07Z

Author Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47262-6
Format: Electronic Resources
Availability Online Library~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2026-01-18T10:39:07Z

Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33163-3
Format: Electronic Resources
Availability Online Library~1

Computational Cognition

2026-01-18T10:39:07Z

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

Handbook of Applied Cryptography

2026-01-18T10:39:07Z

Author Menezes, Alfred J., author. Katz, Jonathan, author. van Oorschot, Paul C., author. Vanstone, Scott A., author. Taylor and Francis.
Preferred Shelf Number QA76.9 .A25
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Testing Complex and Embedded Systems

2026-01-18T10:39:07Z

Author Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Preferred Shelf Number TK7895 .E42
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Introduction to sustainable infrastructure engineering design

2026-01-18T10:39:07Z

Author Neumann, Edward S., author.
Preferred Shelf Number TA170 N48 2016
Format: Books
Availability Beytepe Library~1

Correct Software in Web Applications and Web Services

2026-01-18T10:39:07Z

Author Thalheim, Bernhard. editor. Schewe, Klaus-Dieter. editor. Prinz, Andreas. editor. Buchberger, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17112-8
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

2026-01-18T10:39:07Z

Author Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48119-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-01-18T10:39:07Z

Author Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46669-8
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2026-01-18T10:39:07Z

Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XX

2026-01-18T10:39:07Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27543-7
Format: Electronic Resources
Availability Online Library~1

Hybrid Dynamical Systems Observation and Control

2026-01-18T10:39:07Z

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

Visualization analysis and design

2026-01-18T10:39:07Z

Author Munzner, Tamara, author. Maguire, Eamonn, illustrator.
Preferred Shelf Number QA76.9 .I52 M86 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design

2026-01-18T10:39:07Z

Author Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19872-9
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2026-01-18T10:39:07Z

Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19237-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2026-01-18T10:39:07Z

Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

2026-01-18T10:39:07Z

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

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2026-01-18T10:39:07Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21690-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2026-01-18T10:39:07Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2026-01-18T10:39:07Z

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

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2026-01-18T10:39:07Z

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

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2026-01-18T10:39:07Z

Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15702-3
Format: Electronic Resources
Availability Online Library~1

Studying Visual and Spatial Reasoning for Design Creativity

2026-01-18T10:39:07Z

Author Gero, John S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9297-4
Format: Electronic Resources
Availability Online Library~1

Software defined networking : design and deployment

2026-01-18T10:39:07Z

Author Morreale, Patricia, author. Anderson, James, author.
Preferred Shelf Number TK5105.5833 .M67 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software essentials : design and construction

2026-01-18T10:39:07Z

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

A first course in abstract algebra : rings, groups, and fields

2026-01-18T10:39:07Z

Author Anderson, Marlow, 1950- author. Feil, Todd, 1951- author. Taylor and Francis.
Preferred Shelf Number QA162
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Nitrates in Groundwater : IAH Selected Papers on Hydrogeology 5

2026-01-18T10:39:07Z

Author Razowska-Jaworek, Lidia, editor. Sadurski, Andrezj, editor.
Preferred Shelf Number GB1001 .N587 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Assessing and managing groundwater in different environments

2026-01-18T10:39:07Z

Author Geological Society of South Africa. Ground Water Division. Biennial Conference (2011 : Pretoria, South Africa) Cobbing, J. (Jude), 1971- International Association of Hydrogeologists.
Preferred Shelf Number TD403 .G455 2013
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315886220 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Meanings of abstract art between nature and theory

2026-01-18T10:39:07Z

Author Crowther, Paul. Wünsche, Isabel.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Evolution and the emergent self : the rise of complexity and behavioral versatility in nature

2026-01-18T10:39:07Z

Author Neubauer, Raymond L., 1942-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7312/neub15070
Format: Electronic Resources
Availability Online Library~1

Taxation a fieldwork research handbook

2026-01-18T10:39:07Z

Author Oats, Lynne.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Hand of fire : the comics art of Jack Kirby

2026-01-18T10:39:07Z

Author Hatfield, Charles, 1965-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt12f68z
Format: Electronic Resources
Availability Online Library~1

Circles disturbed : the interplay of mathematics and narrative

2026-01-18T10:39:07Z

Author Doxiadēs, Apostolos K., 1953- Mazur, Barry.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7tbz4
Format: Electronic Resources
Availability Online Library~1

Into the universe of technical images

2026-01-18T10:39:07Z

Author Flusser, Vilém, 1920-1991.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.5749/j.cttttcq8
Format: Electronic Resources
Availability Online Library~1

Applications of cognitive work analysis

2026-01-18T10:39:07Z

Author Bisantz, Ann M. Burns, Catherine M.
Preferred Shelf Number TA167 .A658 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Networks-on-Chips : Theory and Practice

2026-01-18T10:39:07Z

Author El-Kharashi, Mohamed Watheq, editor. Elmiligi, Haytham, editor. Gebali, Fayez, editor. Taylor and Francis.
Preferred Shelf Number TK5105.546
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Distributed antenna systems : open architecture for future wireless communications

2026-01-18T10:39:07Z

Author Hu, Honglin, 1975- Zhang, Yan, 1977- Luo, Jijun.
Preferred Shelf Number TK6565 .A6 D57 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Synthetic organic photochemistry

2026-01-18T10:39:07Z

Author Griesbeck, Axel G. Mattay, J. (Jochen)
Preferred Shelf Number QD275 .S95 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Groundwater intensive use : IAH Selected Papers on Hydrogeology 7

2026-01-18T10:39:07Z

Author Sahuquillo, A. (Andrés), editor. Capilla, J., editor. Martínez-Cortina, Luis, editor. Sánchez-Vila, Xavier, editor.
Preferred Shelf Number GB1003.2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367803384 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Conditional measures and applications

2026-01-18T10:39:07Z

Author Rao, M. M. (Malempati Madhusudana), 1929, author.
Preferred Shelf Number QA273.6 .R36 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Value engineering : analysis and methodology

2026-01-18T10:39:07Z

Author Younker, Del L., author.
Preferred Shelf Number TS168 .Y68 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Renaissance music : music in Western Europe, 1400-1600

2026-01-18T10:39:07Z

Author Atlas, Allan W.
Preferred Shelf Number ML172 .A84 1998
Format: Books
Availability Conservatory Library~1