Giriş Yapılıyor...
Kullanıcı adı
:
Şifre
:
Kayıt
Forgot your PIN?
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
Not
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Gelişmiş Arama
39 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Tümünü Seç
1
2
3
4
000
DEFAULTTR
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
One or more items could not be added because you are not logged in.
37.
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Yazar
Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format:
Electronic Resources
38.
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
Yazar
Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format:
Electronic Resources
39.
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings
Yazar
Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
Format:
Electronic Resources
Tümünü Seç
1
2
3
4
39 sonuç bulundu
İşlemler:
Listelerime ekle
Eposta
Yazdır
Ayırt
Sırala:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
Included
Konu: Computer logic.
Included
Konu: Computer science.
Included
Konu: Discrete Mathematics in Computer Science.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(39)
Kahl, Wolfram. editor.
(2)
Okhotin, Alexander. editor.
(2)
Shallit, Jeffrey. editor.
(2)
Banerjee, Mohua. editor.
(1)
Bansal, Nikhil. editor.
(1)
Barkatou, Moulay. editor.
(1)
Beierle, Christoph. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Bourgeois, Anu. editor.
(1)
Brlek, Srečko. editor.
(1)
Cai, Zhipeng. editor.
(1)
Calimeri, Francesco. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Ciobanu, Gabriel. editor.
(1)
Cluzeau, Thomas. editor.
(1)
Colinet, Margot. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
De Nivelle, Hans. editor.
(1)
Deng, Yuxin. author.
(1)
Diaz, Josep. editor.
(1)
Du, Dingzhu. editor.
(1)
Du, Donglei. editor.
(1)
Durand-Lose, Jerome. editor.
(1)
Echahed, Rachid. editor.
(1)
Falaschi, Moreno. editor.
(1)
Finocchi, Irene. editor.
(1)
Giese, Holger. editor.
(1)
Grossi, Davide. editor.
(1)
Gupta, Gopal. editor.
(1)
Han, Yo-Sub. editor.
(1)
Hinze, Ralf. editor.
(1)
Hirsch, Edward A. editor.
(1)
Holliday, Wesley H. editor.
(1)
Höfner, Peter. editor.
(1)
Ianni, Giovambattista. editor.
(1)
Jipsen, Peter. editor.
(1)
Jürgensen, Helmut. editor.
(1)
Karhumäki, Juhani. editor.
(1)
Karydis, Ioannis. editor.
(1)
Katrenko, Sophia. editor.
(1)
Kosowski, Adrian. editor.
(1)
Krishna, Shankara Narayanan. editor.
(1)
Kulikov, Alexander S. editor.
(1)
Kuznetsov, Sergei O. editor.
(1)
König, Barbara. editor.
(1)
Lanese, Ivan. editor.
(1)
Leucker, Martin. editor.
(1)
Majkić, Zoran. author.
(1)
Maletti, Andreas. editor.
(1)
Manea, Florin. editor.
(1)
Meghini, Carlo. editor.
(1)
Meheus, Joke. editor.
(1)
Minas, Mark. editor.
(1)
Musatov, Daniil V. editor.
(1)
Méry, Dominique. editor.
(1)
Müller, Martin Eric. editor.
(1)
Nagy, Benedek. editor.
(1)
O'Regan, Gerard. author.
(1)
Oliveira, José. editor.
(1)
Parent, Xavier. editor.
(1)
Parisi-Presicce, Francesco. editor.
(1)
Peña, Ricardo. editor.
(1)
Pin, Jean-Éric. editor.
(1)
Proietti, Maurizio. editor.
(1)
Regensburger, Georg. editor.
(1)
Rendsvig, Rasmus K. editor.
(1)
Reutenauer, Christophe. editor.
(1)
Rosenkranz, Markus. editor.
(1)
Rueda, Camilo. editor.
(1)
Salomaa, Kai. editor.
(1)
Sangiorgi, Davide. editor.
(1)
Seki, Hirohisa. editor.
(1)
Sioutas, Spyros. editor.
(1)
Skrzypczak, Michał. author.
(1)
Triantafillou, Peter. editor.
(1)
Truszczynski, Miroslaw. editor.
(1)
Tsoumakos, Dimitrios. editor.
(1)
Valencia, Frank D. editor.
(1)
Vereshchagin, Nikolay K. editor.
(1)
Voigtländer, Janis. editor.
(1)
Walukiewicz, Igor. editor.
(1)
Wang, Wen-fang. editor.
(1)
Westfechtel, Bernhard. editor.
(1)
Winter, Michael. editor.
(1)
Woeginger, Gerhard J. editor.
(1)
Xu, Dachuan. editor.
(1)
Zelikovsky, Alex. editor.
(1)
van der Hoek, Wiebe. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Format
Dahil
Hariç
Electronic Resources
(39)
Dil
Dahil
Hariç
English
(39)
Basım Yılı
Dahil
Hariç
2014
(14)
2015
(17)
2016
(8)
Konu
Dahil
Hariç
Computer science -- Mathematics.
(39)
Logics and Meanings of Programs.
(39)
Mathematical Logic and Formal Languages.
(33)
Mathematical logic.
(33)
Algorithm Analysis and Problem Complexity.
(20)
Algorithms.
(20)
Software engineering.
(18)
Computers.
(15)
Artificial Intelligence (incl. Robotics).
(14)
Artificial intelligence.
(14)
Computation by Abstract Devices.
(14)
Computer programming.
(4)
Data Structures.
(4)
Data structures (Computer science).
(4)
Numeric Computing.
(4)
Numerical analysis.
(4)
Programming Languages, Compilers, Interpreters.
(4)
Programming Techniques.
(4)
Programming languages (Electronic computers).
(4)
Symbolic and Algebraic Manipulation.
(4)
Computer Communication Networks.
(3)
Computer communication systems.
(3)
Software Engineering/Programming and Operating Systems.
(3)
Application software.
(2)
Computer Appl. in Administrative Data Processing.
(2)
Math Applications in Computer Science.
(2)
Mathematical Logic and Foundations.
(2)
Arithmetic and Logic Structures.
(1)
Arithmetic and logic units, Computer.
(1)
Computational linguistics.
(1)
Computer mathematics.
(1)
Data Encryption.
(1)
Data encryption (Computer science).
(1)
Database management.
(1)
History of Computing.
(1)
Language Translation and Linguistics.
(1)
Management information systems.
(1)
Management of Computing and Information Systems.
(1)
Mathematical Applications in Computer Science.
(1)
Mathematical statistics.
(1)
Mathematics of Computing.
(1)
Partial differential equations.
(1)
Probability and Statistics in Computer Science.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Electronic Book
(39)
Lokasyon
Dahil
Hariç
Springer E-Book Collection
(39)
Kütüphane
Dahil
Hariç
TEDU library
(39)
true
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}