Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(594)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Dil
Yayın Yılı
-
Konu
Computer science.
(568)
Computer software.
(545)
Computer Communication Networks.
(200)
Data structures (Computer science).
(187)
Electronic data processing.
(169)
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ç
594 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings için kapak resmi
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Yazar 
Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11944836
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings için kapak resmi
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Yazar 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11590156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings için kapak resmi
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Yazar 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104325
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers için kapak resmi
Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers
Yazar 
Gilbert, Henri. editor. Handschuh, Helena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137506
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday için kapak resmi
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Yazar 
Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106390
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications için kapak resmi
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Yazar 
Downey, Rod. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Spiking Neural P Systems Theory, Applications and Implementations için kapak resmi
Spiking Neural P Systems Theory, Applications and Implementations
Yazar 
Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-9282-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers için kapak resmi
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Yazar 
Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73915-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
The Discrete Math Workbook A Companion Manual for Practical Study için kapak resmi
The Discrete Math Workbook A Companion Manual for Practical Study
Yazar 
Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92645-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings için kapak resmi
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Yazar 
Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00256-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings için kapak resmi
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Yazar 
Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04618-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç