Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(25)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(15)
Formal methods (Computer science)
(14)
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(10)
Theory of Computation.
(10)
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ç
42 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Self-Aware Computing Systems için kapak resmi
Self-Aware Computing Systems
Yazar 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings için kapak resmi
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Yazar 
Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51963-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Current Trends on Knowledge-Based Systems için kapak resmi
Current Trends on Knowledge-Based Systems
Yazar 
Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51905-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings için kapak resmi
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Yazar 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers için kapak resmi
Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
Yazar 
Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56300-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Yazar 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings için kapak resmi
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Yazar 
Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34171-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday için kapak resmi
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Yazar 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production için kapak resmi
New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
Yazar 
Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23338-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications için kapak resmi
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Linear and Integer Programming Made Easy için kapak resmi
Linear and Integer Programming Made Easy
Yazar 
Hu, T. C. author. Kahng, Andrew B. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24001-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: