Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
12 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theoretical analysis of information systems
Theoretical analysis of information systems
Author 
Langefors, Börje, 1915-
Preferred Shelf Number 
T 58.6 L35 1966
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
2. 
Cover image for Business systems analysis and design
Business systems analysis and design
Author 
Shelly, Gary B. Cashman, Thomas J., ort. yaz.
Preferred Shelf Number 
HF 5548.2 S442 1975
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification
Vascular plant families and genera : A listing of the genera of vascular plants of the world according to their families, as recognised in the Kew Herbarium, with an analysis of relationships of the flowering plant families according to eight systems of classification
Author 
Brummitt, R. K. Royal Botanic Gardens, Kew. Herbarium.
Preferred Shelf Number 
QK 96 B69 1992
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Design Sensitivity Analysis and Optimization of Electromagnetic Systems
Design Sensitivity Analysis and Optimization of Electromagnetic Systems
Author 
Park, Il Han. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0230-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Human Activity Recognition and Behaviour Analysis For Cyber-Physical Systems in Smart Environments
Human Activity Recognition and Behaviour Analysis For Cyber-Physical Systems in Smart Environments
Author 
Chen, Liming. author. (orcid)0000-0003-0200-7989 Nugent, Chris D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19408-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions
Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions
Author 
Piórek, Michał. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94887-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Çok kriterli karar verme : bilgisayar uygulamalı çözümler
Çok kriterli karar verme : bilgisayar uygulamalı çözümler
Author 
Ayçin, Ejder.
Preferred Shelf Number 
T57.95 A93 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies: