Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(8)
McEnery, Tony, contributor.
(2)
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
(2)
Zhang, Lijun. editor. (orcid)0000-0002-3692-2088
(2)
Abdulrahim, Dana, contributor.
(1)
Dil
Konu
Software engineering.
(5)
Computer logic.
(4)
Mathematical logic.
(4)
Computer simulation.
(3)
Algorithms.
(2)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
16 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Theoretical analysis of information systems için kapak resmi
Theoretical analysis of information systems
Yazar 
Langefors, Börje, 1915-
Yer Numarası 
T 58.6 L35 1966
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2. 
Business systems analysis and design için kapak resmi
Business systems analysis and design
Yazar 
Shelly, Gary B. Cashman, Thomas J., ort. yaz.
Yer Numarası 
HF 5548.2 S442 1975
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
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 için kapak resmi
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
Yazar 
Brummitt, R. K. Royal Botanic Gardens, Kew. Herbarium.
Yer Numarası 
QK 96 B69 1992
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Yazar 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Human Activity Recognition and Behaviour Analysis For Cyber-Physical Systems in Smart Environments için kapak resmi
Human Activity Recognition and Behaviour Analysis For Cyber-Physical Systems in Smart Environments
Yazar 
Chen, Liming. author. (orcid)0000-0003-0200-7989 Nugent, Chris D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19408-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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 için kapak resmi
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
Yazar 
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)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Yazar 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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 için kapak resmi
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
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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 için kapak resmi
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
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Design Sensitivity Analysis and Optimization of Electromagnetic Systems için kapak resmi
Design Sensitivity Analysis and Optimization of Electromagnetic Systems
Yazar 
Park, Il Han. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-0230-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions için kapak resmi
Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions
Yazar 
Piórek, Michał. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94887-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Arabic Corpus Linguistics için kapak resmi
Arabic Corpus Linguistics
Yazar 
McEnery, Tony, author. Abdulrahim, Dana, contributor. Alsaif, Amal, contributor. Atwell, Eric, contributor. Hardie, Andrew, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9780748677382
https://www.degruyter.com/isbn/9780748677382
Cover https://www.degruyter.com/document/cover/isbn/9780748677382/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: