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ış:
+
Yazar: SpringerLink (Online service)
Yazar
Dahil
Hariç
Bernardo, Marco. editor.
(2)
Garcia Diaz, Vicente. editor.
(2)
Geroimenko, Vladimir. editor.
(2)
Geshi, Masaaki. editor.
(2)
Hunt, John. author.
(2)
Nandan Mohanty, Sachi. editor.
(2)
Satish Kumar, G. A. E. editor.
(2)
Abreu, Jorge. editor.
(1)
Abásolo, María José. editor. (orcid)0000-0003-4441-3264
(1)
Agha, Gul. editor.
(1)
Aiello, Marco. author.
(1)
Alavi, Amir H. editor.
(1)
Aldini, Alessandro. editor.
(1)
Almeida, Pedro. editor.
(1)
Ampatzoglou, Apostolos. editor.
(1)
Arastoopour Irgens, Golnaz. editor.
(1)
Aßmann, Uwe. editor.
(1)
Badger, Julia M. editor.
(1)
Bencomo, Nelly. editor.
(1)
Bhowmik, Tanmay. editor.
(1)
Bieger, Jordi. editor.
(1)
Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280
(1)
Bjørner, Nikolaj. editor.
(1)
Bocus, Mohammud Junaid. editor.
(1)
Bodden, Eric. editor.
(1)
Bojańczyk, Mikołaj. editor.
(1)
Bonfante, Guillaume. editor.
(1)
Bosse, Tibor. editor.
(1)
Broekens, Joost. editor.
(1)
Caires, Luís. editor. (orcid)0000-0002-3215-6734
(1)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(1)
Cao, Jian-nong. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Carter, Jenny. editor.
(1)
Cassez, Franck. editor.
(1)
Chatterjee, Mainak. editor.
(1)
Chelliah, Pethuru Raj. author.
(1)
Cheng, Betty H.C. editor.
(1)
Cheng, Hong. author.
(1)
Chiba, Shigeru. editor.
(1)
Codish, Michael. editor.
(1)
Collins, Tom. editor.
(1)
Comninos, Peter. author.
(1)
Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822
(1)
Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887
(1)
Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043
(1)
Dias, João. editor. (orcid)0000-0002-1653-1821
(1)
Dix, Jürgen. editor.
(1)
Egges, Arjan. author.
(1)
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781
(1)
Fan, Rui. editor.
(1)
Fernández, Maribel. author.
(1)
Fiadeiro, José Luiz. editor.
(1)
Fischbach, Kai. editor.
(1)
Fitzgerald, Brian. editor.
(1)
Flatt, Matthew. editor.
(1)
Fokker, Jeroen D. author.
(1)
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
(1)
France, Robert B. editor.
(1)
Gandomi, Amir H. editor.
(1)
Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X
(1)
Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
(1)
García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942
(1)
Gay, Gregory. editor. (orcid)0000-0001-6794-9585
(1)
Ghatak, Abhijit. author.
(1)
Giannakopoulou, Dimitra. editor.
(1)
Gil-Costa, Veronica. editor.
(1)
Goertzel, Ben. editor.
(1)
Goethe, Ole. author.
(1)
Grossi, Davide. editor.
(1)
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
(1)
Guo, Hai-Feng. editor.
(1)
Guo, Sicen. editor.
(1)
Gupta, Gopal. editor.
(1)
Hanus, Michael. editor. (orcid)0000-0002-4953-8202
(1)
Hong, Wenxing. editor.
(1)
Horváth, Zoltán. editor.
(1)
Hughes, John. editor. (orcid)0000-0001-8042-0969
(1)
Igarashi, Atsushi. editor.
(1)
Ioannou, Andri. editor.
(1)
Iope, Rogério. editor.
(1)
Jivet, Ioana. editor.
(1)
Johnsen, Einar Broch. editor.
(1)
Jones, Richard. editor.
(1)
Kienzle, Jörg. editor.
(1)
Kindratenko, Volodymyr. editor.
(1)
Knight, Simon. editor.
(1)
Knight, William. author.
(1)
Kobayashi, Naoki. editor.
(1)
Kothapalli, Kishore. editor.
(1)
Krieger, Udo R. editor.
(1)
Kulshreshth, Arun K. author.
(1)
Kyriacou, Efthyvoulos. editor.
(1)
Kyrkou, Christos. editor.
(1)
LaViola Jr., Joseph J. author.
(1)
Lanitis, Andreas. editor.
(1)
Le Goues, Claire. editor.
(1)
Lee, Newton. editor.
(1)
Leone, Nicola. editor.
(1)
Lima, Fernanda. editor. (orcid)0000-0001-6300-818X
(1)
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
(1)
Liu, Zhiming. editor.
(1)
Malizia, Alessio. editor.
(1)
Manna, Marco. editor. (orcid)0000-0003-3323-9328
(1)
Maoz, Shahar. editor.
(1)
Mariani, Ilaria. author.
(1)
Marques, Osni. editor.
(1)
Masuhara, Hidehiko. editor.
(1)
Matsuoka, Satoshi. editor.
(1)
McCarthy, Jay. editor.
(1)
Meheus, Joke. editor.
(1)
Meredith, David. editor.
(1)
Merz, Stephan. editor.
(1)
Mockus, Audris. editor.
(1)
Mohanty, Hrushikesha. editor.
(1)
Morch, Anders. editor.
(1)
Muñoz-Merino, Pedro J. editor.
(1)
Myreen, Magnus. editor.
(1)
Nejati, Shiva. editor.
(1)
O'Grady, Michael. editor.
(1)
Orejas, Fernando. editor.
(1)
O’Regan, Gerard. author.
(1)
Paes, Aline. editor.
(1)
Panayides, Andreas. editor.
(1)
Pang, Jun. editor.
(1)
Papathoma, Tina. editor.
(1)
Parent, Xavier. editor.
(1)
Parriaux, Gabriel. editor.
(1)
Pattichis, Constantinos. editor.
(1)
Pattichis, Marios. editor.
(1)
Pattnaik, Prasant Kumar. editor.
(1)
Pałka, Michał. editor.
(1)
Pellet, Jean-Philippe. editor.
(1)
Peng, Xin. editor.
(1)
Perifanou, Maria. editor.
(1)
Pesado, Patricia. editor.
(1)
Peña, Ricardo. editor.
(1)
Piattini, Mario. editor. (orcid)0000-0002-7212-8279
(1)
Pierro, Alessandra. editor.
(1)
Pinheiro de Brito, Tatiana. editor.
(1)
Porkoláb, Zoltán. editor.
(1)
Potapov, Alexey. editor.
(1)
Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184
(1)
Quintao Pereira, Fernando Magno. editor.
(1)
Rajsbaum, Sergio. editor.
(1)
Raskin, Jean-Francois. editor.
(1)
Rauber, Thomas. author.
(1)
Rocha, Ricardo. editor.
(1)
Rosen, Clive. editor.
(1)
Rozier, Kristin Yvonne. editor.
(1)
Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248
(1)
Ryan, Conor. editor.
(1)
Rünger, Gudula. author.
(1)
Sage, Kingsley. author.
(1)
Salaün, Gwen. editor.
(1)
Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709
(1)
Santos Costa, Vítor. editor.
(1)
Sato, Mitsuhisa. editor.
(1)
Schaefer, Ina. editor.
(1)
Seidl, Martina. editor.
(1)
Senger, Hermes. editor. (orcid)0000-0003-1273-9809
(1)
Serrano, Alan. editor.
(1)
Sewak, Mohit. author.
(1)
Shao, Zhong. editor.
(1)
Sherratt, Edel. editor.
(1)
Shibayama, Etsuya. editor.
(1)
Silva, Josep. editor.
(1)
Silva, Telmo. editor. (orcid)0000-0001-9383-7659
(1)
Simpson, Alex. editor.
(1)
Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696
(1)
Soeken, Mathias. editor. (orcid)0000-0002-0229-8766
(1)
Soma, Takako. author.
(1)
Spallazzo, Davide. author.
(1)
Spector, Lee. editor.
(1)
Stamelos, Ioannis. editor.
(1)
Stanzani, Silvio. editor.
(1)
Stratton, Andrew. editor.
(1)
Streib, James T. author.
(1)
Sumii, Eijiro. editor.
(1)
Surianarayanan, Chellammal. author.
(1)
Tanter, Éric. editor.
(1)
Taura, Kenjiro. editor.
(1)
Theodosiou, Zenonas. editor.
(1)
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
(1)
Tillmann, Nikolai. editor.
(1)
Togelius, Julian. author.
(1)
Tolg, Boris. author.
(1)
Trappl, Robert.
(1)
Tsapatsoulis, Nicolas. editor.
(1)
Valtolina, Stefano. editor.
(1)
Van Horn, David. editor.
(1)
Viberg, Olga. editor.
(1)
Virbitskaite, Irina. editor.
(1)
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
(1)
Vohra, Deepak. author.
(1)
Volk, Anja. editor.
(1)
Voronkov, Andrei. editor.
(1)
Vrajitoru, Dana. author.
(1)
Waguespack, Leslie J. author.
(1)
Weng, Yang. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(97)
Yayın Yılı
Dahil
Hariç
-
2014
(33)
2019
(33)
2023
(14)
2018
(8)
2015
(5)
2006
(2)
2007
(1)
2010
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Computer programming.
(66)
Programming languages (Electronic computers).
(36)
Software engineering.
(33)
Artificial intelligence.
(21)
Computer logic.
(18)
Computer science.
(12)
Mathematical logic.
(11)
Computers.
(9)
Computer communication systems.
(8)
Computer games—Programming.
(8)
Algorithms.
(7)
Application software.
(6)
Computer simulation.
(6)
Computer science—Mathematics.
(5)
User interfaces (Computer systems).
(4)
Computer system failures.
(3)
Information systems.
(3)
Management information systems.
(3)
Operating systems (Computers).
(3)
Special purpose computers.
(3)
Architecture, Computer.
(2)
Chemoinformatics.
(2)
Computer graphics.
(2)
Computer hardware.
(2)
Education—Data processing.
(2)
Engineering.
(2)
Big data.
(1)
Cognitive psychology.
(1)
Computer network architectures.
(1)
Computer organization.
(1)
Computer security.
(1)
Computer vision.
(1)
Data protection.
(1)
Data structures (Computer science).
(1)
Database management.
(1)
Design.
(1)
Education.
(1)
Electrical engineering.
(1)
Engineering mathematics.
(1)
Humanities—Digital libraries.
(1)
Java (Computer program language).
(1)
Logic design.
(1)
Microprocessors.
(1)
Monoclonal antibodies.
(1)
Music.
(1)
Numerical analysis.
(1)
Open source software.
(1)
Optical data processing.
(1)
Pattern recognition.
(1)
Personal computers.
(1)
Political science.
(1)
Psychology, Applied.
(1)
Quantum computing.
(1)
Social sciences -- Methodology.
(1)
Social sciences.
(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
97 sonuç bulundu
1
..
5
6
7
8
9
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.
97.
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. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
https://doi.org/10.1007/978-3-319-14125-1
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
5
6
7
8
9
