Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
8
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Konu: Computer software.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(241)
Rozenberg, Grzegorz. editor.
(7)
Löwe, Benedikt. editor.
(6)
Queiroz, Ruy. editor.
(6)
Fages, François. editor.
(5)
Potapov, Igor. editor.
(5)
Rossi, Francesca. editor.
(5)
Cooper, S. Barry. editor.
(4)
Ehrig, Hartmut. editor.
(4)
Schwiegelshohn, Uwe. editor.
(4)
Zeugmann, Thomas. editor.
(4)
Bensalem, Saddek. editor.
(3)
Calude, Cristian S. editor.
(3)
Dawar, Anuj. editor.
(3)
Dediu, Adrian-Horia. editor.
(3)
Frachtenberg, Eitan. editor.
(3)
Karhumäki, Juhani. editor.
(3)
Khurshid, Sarfraz. editor.
(3)
Kučera, Antonín. editor.
(3)
Martín-Vide, Carlos. editor.
(3)
Schürr, Andy. editor.
(3)
Sebastiani, Roberto. editor.
(3)
Brattka, Vasco. editor.
(2)
Chatterjee, Krishnendu. editor.
(2)
Chen, Jianer. editor.
(2)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
Derrick, John. editor.
(2)
Du, Ding-Zhu. editor.
(2)
Durand-Lose, Jérôme. editor.
(2)
Eekelen, Marko. editor.
(2)
Fomin, Fedor V. editor.
(2)
Gerdt, Vladimir P. editor.
(2)
Gnesi, Stefania. editor.
(2)
Goranko, Valentin. editor.
(2)
Hoos, Holger H. editor.
(2)
Ibarra, Oscar H. editor.
(2)
Koepf, Wolfram. editor.
(2)
Královič, Rastislav. editor.
(2)
Lepistö, Arto. editor.
(2)
Li, Angsheng. editor.
(2)
Li, Jin. editor.
(2)
Liu, Zhiming. editor.
(2)
Margenstern, Maurice. editor.
(2)
Mauri, Giancarlo. editor.
(2)
Mayr, Ernst W. editor.
(2)
Muggleton, Stephen. editor.
(2)
Ong, Luke. editor.
(2)
Priese, Lutz. author.
(2)
Raedt, Luc. editor.
(2)
Reeves, Steve. editor.
(2)
Rudolph, Larry. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Rybalchenko, Andrey. editor.
(2)
Sakallah, Karem A. editor.
(2)
Sarukkai, Sundar. editor.
(2)
Schmidt, Renate A. editor.
(2)
Seki, Shinnosuke. editor.
(2)
Shkaravska, Olha. editor.
(2)
Sicard, Gilles. editor.
(2)
Steffen, Martin. editor.
(2)
Stephan, Frank. editor.
(2)
Thomas, Wolfgang. editor.
(2)
Timmis, Jon. editor.
(2)
Vaidya, Jaideep. editor.
(2)
Vorozhtsov, Evgenii V. editor.
(2)
Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X
(2)
Yli-Jyrä, Anssi. editor.
(2)
Abdulla, Parosh Aziz. editor.
(1)
Ablayev, Farid. editor.
(1)
Aceto, Luca. editor.
(1)
Agrawal, Manindra. editor.
(1)
Albers, Susanne. editor.
(1)
Alt, Helmut. editor.
(1)
Antoš, David. editor.
(1)
Archibald, Margaret. editor.
(1)
Arun-Kumar, S. editor.
(1)
Arvind, V. editor.
(1)
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
(1)
Ayala, José L. editor.
(1)
Azevedo, Francisco. editor.
(1)
Bacchus, Fahiem. editor.
(1)
Baker, Paul. editor.
(1)
Balasubramaniam, P. editor.
(1)
Banerjee, Mohua. editor.
(1)
Barahona, Pedro. editor.
(1)
Barringer, Howard. editor.
(1)
Barthe, Gilles. editor.
(1)
Beckmann, Arnold. editor.
(1)
Beklemishev, Lev D. editor.
(1)
Bellahsène, Zohra. editor.
(1)
Berghofer, Stefan. editor.
(1)
Bezhanishvili, Nick. editor.
(1)
Biere, Armin. editor.
(1)
Birattari, Mauro. editor.
(1)
Blass, Andreas. editor.
(1)
Blazy, Sandrine. editor.
(1)
Blesa, María J. editor.
(1)
Bliudze, Simon. editor. (orcid)0000-0002-7900-5271
(1)
Blockeel, Hendrik. editor.
(1)
Blum, Christian. editor.
(1)
Bodlaender, Hans L. editor.
(1)
Bollig, Benedikt. author.
(1)
Bonacina, Maria Paola. editor.
(1)
Bonizzoni, Paola. editor.
(1)
Bornstein, Claudson. editor.
(1)
Bouchou-Markhoff, Béatrice. editor.
(1)
Bouda, Jan. editor.
(1)
Bournez, Olivier. editor.
(1)
Bradley, Aaron R. author.
(1)
Bravetti, Mario. editor.
(1)
Bshouty, Nader H. editor.
(1)
Bulatov, Andrei A. editor.
(1)
Bunke, Horst. author.
(1)
Butler, Michael. editor.
(1)
Béal, Marie-Pierre. editor.
(1)
Carlsson, Mats. editor.
(1)
Caron, Pascal. editor.
(1)
Carton, Olivier. editor.
(1)
Castagna, Giuseppe. editor.
(1)
Cerone, Antonio. editor.
(1)
Cervesato, Iliano. editor.
(1)
Champarnaud, Jean-Marc. editor.
(1)
Chan, T-H. Hubert. editor.
(1)
Charatonik, Witold. editor.
(1)
Chattopadhyay, Sanatan. editor.
(1)
Chattopadhyay, Santanu. editor.
(1)
Chen, Danny Z. editor.
(1)
Cimatti, Alessandro. editor.
(1)
Clarke, Edmund. editor.
(1)
Coecke, Bob. editor.
(1)
Coelho, Helder. editor.
(1)
Cohen, David. editor.
(1)
Constable, Robert L. editor.
(1)
Coppo, Mario. editor.
(1)
Corby, Olivier. editor.
(1)
Corradini, Andrea. editor.
(1)
Correa, José R. editor.
(1)
Cox, David. author.
(1)
Croitoru, Madalina. editor.
(1)
Dams, Dennis. editor.
(1)
Datta, Anupam. editor.
(1)
Daydé, Michel. editor.
(1)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(1)
Degano, Pierpaolo. editor.
(1)
Delzanno, Giorgio. editor.
(1)
Dennunzio, Alberto. editor.
(1)
Dershowitz, Nachum. editor.
(1)
Dickinson, Peter J. author.
(1)
Dimitracopoulos, Costas. editor.
(1)
Dinneen, Michael J. editor.
(1)
Domaratzki, Michael. editor.
(1)
Dong, Yingfei. editor.
(1)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(1)
Dowek, Gilles. author.
(1)
Downey, Rod. editor.
(1)
Duan, Zhenhua. editor.
(1)
Dueck, Gerhard W. editor.
(1)
Durand, Bruno. editor.
(1)
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
(1)
Eiter, Thomas. editor.
(1)
Engels, Gregor. editor.
(1)
Erk, Katrin. author.
(1)
Fahrenberg, Uli. editor.
(1)
Falcone, Ylies. editor.
(1)
Faltings, Boi V. editor.
(1)
Faria, Luerbio. editor.
(1)
Farré, Jacques. editor.
(1)
Feitelson, Dror G. editor.
(1)
Feitelson, Dror. editor.
(1)
Feng, Xinyu. editor.
(1)
Fernau, Henning. editor.
(1)
Fiala, Jiří. editor.
(1)
Finkbeiner, Bernd. editor.
(1)
Finkel, Alain. editor.
(1)
Fitzgerald, John. editor.
(1)
Flum, Jörg. author.
(1)
Fontaine, Pascal. editor.
(1)
Franceschinis, Giuliana. editor.
(1)
Franconi, Enrico. editor.
(1)
Frappier, Marc. editor.
(1)
Frasconi, Paolo. editor.
(1)
Fraser, Gordon. editor.
(1)
Frid, Anna. editor.
(1)
Gallardo, María del Mar. editor.
(1)
Galmiche, Didier. editor.
(1)
Gao, Yuan. editor.
(1)
Garcia-Alfaro, Joaquin. editor.
(1)
García-Cámara, Braulio. editor.
(1)
Garg, Naveen. editor.
(1)
Gargantini, Angelo. editor.
(1)
Gavrilova, Marina L. editor.
(1)
George, Chris W. editor.
(1)
Gheorghe, Marian. editor.
(1)
Ghilardi, Silvio. editor.
(1)
Ghose, Aditya. editor.
(1)
Glässer, Uwe. editor.
(1)
Glück, Robert. editor.
(1)
Gomes, Carla P. editor.
(1)
Gorton, Ian. editor.
(1)
Governatori, Guido. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(238)
German
(3)
Yayın Yılı
Dahil
Hariç
-
2010
(33)
2012
(33)
2013
(33)
2009
(30)
2011
(24)
2018
(21)
2008
(20)
2007
(19)
2005
(14)
2006
(14)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Computer science.
(234)
Logic design.
(201)
Software engineering.
(101)
Artificial intelligence.
(74)
Computational complexity.
(64)
Data structures (Computer science).
(34)
Algorithm Analysis and Problem Complexity.
(32)
Information theory.
(27)
Computer Communication Networks.
(26)
Electronic data processing.
(26)
Mathematical Logic and Formal Languages.
(23)
Logics and Meanings of Programs.
(21)
Logic, Symbolic and mathematical.
(18)
Computation by Abstract Devices.
(15)
Algorithms.
(14)
Operating systems (Computers).
(14)
Algebra -- Data processing.
(11)
Artificial Intelligence (incl. Robotics).
(10)
Computer system performance.
(10)
Discrete Mathematics in Computer Science.
(9)
Bioinformatics.
(8)
Computer simulation.
(8)
Computer network architectures.
(7)
Mathematics.
(7)
Programming Languages, Compilers, Interpreters.
(7)
Data protection.
(6)
Data mining.
(5)
Optical pattern recognition.
(5)
Combinatorics.
(4)
Computer vision.
(4)
Information Systems.
(4)
Information storage and retrieval systems.
(4)
Information systems.
(4)
Numeric Computing.
(4)
Programming Techniques.
(4)
Data Structures.
(3)
Mathematical Logic and Foundations.
(3)
Theory of Computation.
(3)
Translators (Computer programs).
(3)
Arithmetic and Logic Structures.
(2)
Coding theory.
(2)
Computational Biology/Bioinformatics.
(2)
Data structures (Computer scienc.
(2)
Database management.
(2)
Information Systems Applications (incl. Internet).
(2)
Math Applications in Computer Science.
(2)
Pattern Recognition.
(2)
Social sciences -- Data processing.
(2)
Symbolic and Algebraic Manipulation.
(2)
Systems and Data Security.
(2)
Text processing (Computer science.
(2)
Algebra.
(1)
Computer Appl. in Social and Behavioral Sciences.
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(1)
Computer graphics.
(1)
Computer industry.
(1)
Data Structures, Cryptology and Information Theory.
(1)
Data encryption (Computer science).
(1)
Discrete groups.
(1)
Education.
(1)
Engineering mathematics.
(1)
Engineering.
(1)
Geometry, algebraic.
(1)
Information Storage and Retrieval.
(1)
Information and Communication, Circuits.
(1)
Mathematical Software.
(1)
Mathematics of Algorithmic Complexity.
(1)
Mathematics of Computing.
(1)
Simulation and Modeling.
(1)
Software Engineering/Programming and Operating Systems.
(1)
System Performance and Evaluation.
(1)
Systems engineering.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
241 sonuç bulundu
1
..
17
18
19
20
21
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
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.
241.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Yazar
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
http://dx.doi.org/10.1007/11590156
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
17
18
19
20
21
