Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(24)
Aspinall, David. editor.
(1)
Blümlein, Johannes. editor.
(1)
Carette, Jacques. editor.
(1)
Chan, Chi-kong. author.
(1)
Dil
Yayın Yılı
-
Konu
Symbolic and Algebraic Manipulation.
(24)
Algebra -- Data processing.
(21)
Computer science.
(18)
Mathematical Logic and Formal Languages.
(9)
Computational complexity.
(7)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
24 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Verification of Structurally Complex Multipliers için kapak resmi
Formal Verification of Structurally Complex Multipliers
Yazar 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Fuzzy Logic An Introductory Course for Engineering Students için kapak resmi
Fuzzy Logic An Introductory Course for Engineering Students
Yazar 
Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14203-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Fuzzy Algebraic Hyperstructures An Introduction için kapak resmi
Fuzzy Algebraic Hyperstructures An Introduction
Yazar 
Davvaz, Bijan. author. Cristea, Irina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14762-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Probabilistic Group Theory, Combinatorics, and Computing Lectures from the Fifth de Brún Workshop için kapak resmi
Probabilistic Group Theory, Combinatorics, and Computing Lectures from the Fifth de Brún Workshop
Yazar 
Detinko, Alla. editor. Flannery, Dane. editor. O'Brien, Eamonn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331066.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4814-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Polyhedral and Algebraic Methods in Computational Geometry için kapak resmi
Polyhedral and Algebraic Methods in Computational Geometry
Yazar 
Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331067.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4817-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings için kapak resmi
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332910.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective için kapak resmi
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Yazar 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334558.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings için kapak resmi
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Yazar 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334875.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings için kapak resmi
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Yazar 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334877.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings için kapak resmi
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Yazar 
Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334910.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers için kapak resmi
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Yazar 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335202.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets