Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(76)
Wiley InterScience (Online service)
(6)
Brand, Ludwig.
(2)
Cuzzocrea, Alfredo. editor.
(2)
Dobnikar, Andrej. editor.
(2)
Dil
Konu
Computer science.
(44)
Algorithms.
(32)
Computer software.
(27)
Computational complexity.
(20)
Engineering.
(20)
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ç
130 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
121. 
Treatise on Intuitionistic Type Theory için kapak resmi
Treatise on Intuitionistic Type Theory
Yazar 
Granström, Johan Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch için kapak resmi
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Yazar 
Westermann, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-12760-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Endliche Strukturen için kapak resmi
Endliche Strukturen
Yazar 
Reiss, Kristina. author. Stroth, Gernot. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17182-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry için kapak resmi
Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry
Yazar 
Richter-Gebert, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17286-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Yazar 
Alpuente, María. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Computer methods. Part C için kapak resmi
Computer methods. Part C
Yazar 
Johnson, Michael L., 1947- Brand, Ludwig.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/publication?issn=00766879&volume=487
ScienceDirect http://www.sciencedirect.com/science/book/9780123812704
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
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:
128. 
Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime için kapak resmi
Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime
Yazar 
Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7rzmb
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Modern anti-windup synthesis için kapak resmi
Modern anti-windup synthesis
Yazar 
Zaccarian, Luca. Teel, Andrew R., 1965-
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7t5z2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Algoritma geliştirme ve programlamaya giriş için kapak resmi
Algoritma geliştirme ve programlamaya giriş
Yazar 
Vatansever, Fahri.
Yer Numarası 
QA76.6 V56 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç