Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(26)
Iliopoulos, Costas S. editor.
(2)
Smyth, William F. editor.
(2)
Alinovi, Francesco. author.
(1)
Almeida, José Bacelar. author.
(1)
Dil
Konu
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ç
26 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Rigorous Software Development An Introduction to Program Verification için kapak resmi
Rigorous Software Development An Introduction to Program Verification
Yazar 
Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-018-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings için kapak resmi
Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings
Yazar 
Tannier, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16181-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings için kapak resmi
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Yazar 
Winkler, Franz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21493-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings için kapak resmi
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
Yazar 
Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22944-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions için kapak resmi
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Yazar 
Kaiser, Łukasz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings için kapak resmi
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Yazar 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings için kapak resmi
Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23568-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings için kapak resmi
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Yazar 
Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25873-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Guide to Geometric Algebra in Practice için kapak resmi
Guide to Geometric Algebra in Practice
Yazar 
Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-811-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Game Start! Strumenti per comprendere i videogiochi için kapak resmi
Game Start! Strumenti per comprendere i videogiochi
Yazar 
Alinovi, Francesco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-1956-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers için kapak resmi
Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
Yazar 
Groote, Philippe. editor. Egg, Markus. editor. Kallmeyer, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20169-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Yazar 
Mariño, Julio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: