Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(55)
Carette, Jacques. editor.
(3)
Groote, Philippe. editor.
(2)
Ida, Tetsuo. editor.
(2)
Leung, Ho-fung. author.
(2)
Dil
Yayın Yılı
-
Konu
Algebra -- Data processing.
(53)
Computer science.
(52)
Logic design.
(25)
Software engineering.
(19)
Computational complexity.
(8)
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ç
55 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings için kapak resmi
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Yazar 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings için kapak resmi
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Yazar 
Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85110-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings için kapak resmi
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Yazar 
Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings için kapak resmi
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Yazar 
Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers için kapak resmi
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Yazar 
Kapur, Deepak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87827-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings için kapak resmi
Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
Yazar 
Teixeira, António. editor. Lima, Vera Lúcia Strube. editor. Oliveira, Luís Caldas. editor. Quaresma, Paulo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85980-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures için kapak resmi
Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
Yazar 
Marinaro, Maria. editor. Scarpetta, Silvia. editor. Yamaguchi, Yoko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88853-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers için kapak resmi
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Yazar 
Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings için kapak resmi
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
Yazar 
Baader, Franz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings için kapak resmi
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Yazar 
Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11784180
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers için kapak resmi
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Yazar 
Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11617990
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers için kapak resmi
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Yazar 
MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11734673
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç