Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(142)
Artho, Cyrille. editor.
(2)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Chaudhuri, Swarat. editor.
(2)
Dil
Konu
Computer science.
(106)
Computer Science Logic and Foundations of Programming.
(100)
Software engineering.
(94)
Formal Languages and Automata Theory.
(71)
Machine theory.
(71)
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ç
162 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Yazar 
Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28228-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Towards Paraconsistent Engineering için kapak resmi
Towards Paraconsistent Engineering
Yazar 
Akama, Seiki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40418-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings için kapak resmi
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Yazar 
Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45994-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Understanding Control Flow Concurrent Programming Using μC++ için kapak resmi
Understanding Control Flow Concurrent Programming Using μC++
Yazar 
Buhr, Peter A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Thiemann, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49498-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings için kapak resmi
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Yazar 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47846-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Systems Biology in Animal Production and Health, Vol. 2 için kapak resmi
Systems Biology in Animal Production and Health, Vol. 2
Yazar 
Kadarmideen, Haja N. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43332-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
An Introduction to Data Analysis using Aggregation Functions in R için kapak resmi
An Introduction to Data Analysis using Aggregation Functions in R
Yazar 
James, Simon. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46762-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence için kapak resmi
From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence
Yazar 
Zielesny, Achim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32545-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Retrogame Archeology Exploring Old Computer Games için kapak resmi
Retrogame Archeology Exploring Old Computer Games
Yazar 
Aycock, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30004-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers için kapak resmi
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Yazar 
Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40566-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings için kapak resmi
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Yazar 
Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48989-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç