Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(610)
Project Muse.
(181)
Wiley InterScience (Online service)
(11)
France, Anatole, 1844-1924.
(10)
Foucault, Michel, 1926-1984.
(9)
Dil
Yayın Yılı
-
2011
(226)
2012
(210)
2013
(183)
2014
(173)
2010
(155)
Konu
Computer science.
(358)
Software engineering.
(181)
Artificial intelligence.
(175)
Computer Communication Networks.
(115)
Information systems.
(108)
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ç
2302 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
169. 
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 için kapak resmi
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
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası 
XX(520841.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Yer Numarası 
XX(520842.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
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 I için kapak resmi
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 I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings için kapak resmi
Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings
Yazar 
Chavarrías, Miguel. editor. Rodríguez, Alfonso. editor. SpringerLink (Online service)
Yer Numarası 
XX(520845.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29970-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings için kapak resmi
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Yazar 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520854.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings
Yazar 
Cire, Andre A. editor. SpringerLink (Online service)
Yer Numarası 
XX(520870.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33271-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Security Standardisation Research 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings için kapak resmi
Security Standardisation Research 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings
Yazar 
Günther, Felix. editor. Hesse, Julia. editor. SpringerLink (Online service)
Yer Numarası 
XX(520929.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30731-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II için kapak resmi
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II
Yazar 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Yer Numarası 
XX(520938.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30617-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III için kapak resmi
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III
Yazar 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Yer Numarası 
XX(520939.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30620-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV için kapak resmi
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV
Yazar 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Yer Numarası 
XX(520940.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30634-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Wies, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
XX(520944.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç