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ış:
+
Yayın Yılı: 2014
Yazar
Dahil
Hariç
SpringerLink (Online service)
(205)
Apduhan, Bernady O. editor.
(6)
Falcão, Maria Irene. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(6)
Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886
(6)
Rocha, Jorge Gustavo. editor.
(6)
Taniar, David. editor.
(6)
Torre, Carmelo. editor. (orcid)0000-0003-4737-6040
(6)
Alexander, Michael. editor.
(3)
Benatallah, Boualem. editor.
(3)
Cannataro, Mario. editor.
(3)
Costan, Alexandru. editor.
(3)
Kecskemeti, Gabor. editor.
(3)
Manolopoulos, Yannis. editor.
(3)
Ricci, Laura. editor.
(3)
Scarano, Vittorio. editor.
(3)
Benkner, Siegfried. editor.
(2)
Bestavros, Azer. editor.
(2)
Bondavalli, Andrea. editor.
(2)
Breitbart, Jens. editor.
(2)
Carretero, Jesus. editor.
(2)
Cascella, Roberto G. editor.
(2)
Counsell, Steve. editor.
(2)
Cuzzocrea, Alfredo. editor.
(2)
Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887
(2)
Gheorghe, Marian. editor.
(2)
Giannakopoulou, Dimitra. editor.
(2)
Gracia, José. editor.
(2)
Guo, Hua. editor.
(2)
Hunold, Sascha. editor.
(2)
Jarke, Matthias. editor.
(2)
Jeannot, Emmanuel. editor.
(2)
Lankes, Stefan. editor.
(2)
Legay, Axel. editor.
(2)
Lengauer, Christian. editor.
(2)
Li, Zhiyang. editor.
(2)
Liu, Lei. editor.
(2)
Lopes, Luís. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Min, Geyong. editor.
(2)
Nugent, Chris. editor.
(2)
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
(2)
Petit, Salvador. editor.
(2)
Peña, Ricardo. editor.
(2)
Purao, Sandeep. editor.
(2)
Qu, Wenyu. editor.
(2)
Rozenberg, Grzegorz. editor.
(2)
Salomaa, Arto. editor.
(2)
Schaefer, Ina. editor.
(2)
Scott, Stephen L. editor.
(2)
Stamelos, Ioannis. editor.
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Stojmenovic, Ivan. editor.
(2)
Sun, Xiang-he. editor.
(2)
Trendowicz, Adam. author.
(2)
Vakali, Athena. editor.
(2)
Winckler, Marco. editor. (orcid)0000-0002-0756-6934
(2)
Wu, Yulei. editor.
(2)
Yang, Tingting. editor.
(2)
Zhang, Yanchun. editor.
(2)
Zhou, Wanlei. editor.
(2)
Žilinskas, Julius. editor.
(2)
Abdeslam, Djaffar Ould, author.
(1)
Abraham, Ajith. editor.
(1)
Abraham, Erika. editor.
(1)
Abrahao, Silvia. editor.
(1)
Agha, Gul. editor.
(1)
Ait Ameur, Yamine. editor.
(1)
Albert, Elvira. editor.
(1)
Alhazov, Artiom. editor.
(1)
Altmann, Jörn. editor.
(1)
Amyot, Daniel. editor.
(1)
Artho, Cyrille. editor.
(1)
Auger, François.
(1)
Avgeriou, Paris. editor.
(1)
Aßmann, Uwe. editor.
(1)
Badger, Julia M. editor.
(1)
Bajo Pérez, Javier. editor.
(1)
Baldan, Paolo. editor.
(1)
Barafort, Béatrix. editor.
(1)
Barais, Olivier. editor.
(1)
Basili, Victor. author.
(1)
Bauer, Thomas. editor.
(1)
Bauersfeld, Sebastian. editor.
(1)
Baxter, Gordon D. author.
(1)
Behnke, Sven. editor. (orcid)0000-0002-5040-7525
(1)
Bellalta, Boris. editor.
(1)
Bellatreche, Ladjel. editor.
(1)
Belyaev, Evgeny. editor.
(1)
Bencomo, Nelly. editor.
(1)
Bensalem, Saddek. editor.
(1)
Bergsmann, Johannes. editor.
(1)
Bernardo, Marco. editor.
(1)
Bernhaupt, Regina. editor.
(1)
Bhiri, Sami. editor.
(1)
Biedermann, Alexander. author.
(1)
Bielova, Nataliia. editor.
(1)
Biere, Armin. editor. (orcid)0000-0001-7170-9242
(1)
Biffl, Stefan. editor. (orcid)0000-0002-3413-7780
(1)
Bikakis, Antonis. editor.
(1)
Bloem, Roderick. editor.
(1)
Bodden, Eric. editor.
(1)
Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797
(1)
Boiten, Eerke A. author.
(1)
Bonakdarpour, Borzoo. editor.
(1)
Bons, Heinz. author.
(1)
Borba, Paulo. author.
(1)
Bosch, Jan. editor.
(1)
Boyer, Kristy. editor.
(1)
Bozga, Marius. editor.
(1)
Brabrand, Claus. author.
(1)
Brandić, Ivona. editor. (orcid)0000-0001-7424-0208
(1)
Bravo, Jose. editor.
(1)
Bravo, José. editor.
(1)
Broenink, Jan. editor.
(1)
Brucker, Achim. editor.
(1)
Bruegge, Bernd.
(1)
Brugali, Davide. editor.
(1)
Brunetti, Gino. editor.
(1)
Bubak, Marian. editor.
(1)
Bulling, Nils. editor.
(1)
Cabot, Jordi. editor.
(1)
Cantone, Giovanni. editor.
(1)
Cao, Jian-nong. editor.
(1)
Cassez, Franck. editor.
(1)
Casteleyn, Sven. editor.
(1)
Ceccarelli, Andrea. editor.
(1)
Cerone, Antonio. editor.
(1)
Ceroni Díaz, Jose A. editor.
(1)
Chang, Shi Kuo, 1944- ed.
(1)
Chapman, Barbara M. editor.
(1)
Chatterjee, Mainak. editor.
(1)
Chen, Liming. editor.
(1)
Chen, Min. editor.
(1)
Cheng, Betty H.C. editor.
(1)
Cheung, King Sing. author.
(1)
Chiba, Shigeru. editor.
(1)
Chiu, Dickson. editor.
(1)
Churchill, Elizabeth F. author.
(1)
Ciardo, Gianfranco. editor.
(1)
Cirne, Walfredo. editor.
(1)
Clauss, Carsten. editor.
(1)
Cleve, Anthony. editor.
(1)
Codish, Michael. editor.
(1)
Cohen, Albert. editor.
(1)
Cohen, Ernie. editor.
(1)
Cojocaru, Svetlana. editor.
(1)
Combemale, Benoit. editor.
(1)
Commisso, Trine Hald. editor.
(1)
Corchado Rodríguez, Juan M. editor.
(1)
Cordeiro, José. editor.
(1)
Corral, Luis. editor.
(1)
Cossentino, Massimo. editor.
(1)
Crosby, Martha. editor.
(1)
Dada, Joseph O. editor.
(1)
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X
(1)
Dam, Hoa Khanh. editor.
(1)
Damasevicius, Robertas. editor.
(1)
Damiani, Ferruccio. editor.
(1)
Daniel, Florian. author.
(1)
Darwish, Ashraf. editor.
(1)
Das, Vinu V. editor.
(1)
David, Klaus. editor.
(1)
DeRose, Luiz. editor.
(1)
Dediu, Adrian-Horia. editor.
(1)
Demazeau, Yves. editor.
(1)
Derrick, John. author.
(1)
Desai, Narayan. editor.
(1)
Desprez, Frédéric. editor.
(1)
Di Fatta, Giuseppe. editor.
(1)
Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299
(1)
Di Ruscio, Davide. editor.
(1)
Diaz-Herrera, Jorge L., 1950- editor.
(1)
Dieterlen, Alain, author.
(1)
Dillon, Tharam. editor.
(1)
Dingel, Juergen. editor.
(1)
Dingle, Adair, author.
(1)
Dingsøyr, Torgeir. editor.
(1)
Dix, Jürgen. editor.
(1)
Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367
(1)
Dongarra, Jack. editor.
(1)
Dorling, Alec. editor.
(1)
Drake, Robert. author.
(1)
Dregvaite, Giedre. editor.
(1)
Dressler, Falko. editor.
(1)
Duan, Zhenhua. editor.
(1)
Dubinsky, Yael. author.
(1)
Dutoit, Allen H.
(1)
Dvořák, Zdeněk. editor.
(1)
El-Kafrawy, Passent M. editor.
(1)
Elmenreich, Wilfried. editor.
(1)
Ermolayev, Vadim. editor.
(1)
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781
(1)
Felber, Pascal. editor.
(1)
Feld, Thomas. editor.
(1)
Ferguson, Donald. editor.
(1)
Fernandes, Sara. editor.
(1)
Fernández, Maribel. author.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(217)
Konu
Dahil
Hariç
Software engineering.
(198)
Computer logic.
(59)
Application software.
(57)
Programming languages (Electronic computers).
(50)
Computer communication systems.
(48)
Computer science.
(46)
Artificial intelligence.
(40)
Management information systems.
(35)
Algorithms.
(34)
Computers.
(32)
Mathematical logic.
(25)
Computer programming.
(24)
Computer simulation.
(18)
Information technology.
(17)
Business—Data processing.
(14)
Computer system failures.
(14)
Database management.
(14)
User interfaces (Computer systems).
(11)
Information storage and retrieval.
(9)
Computer science—Mathematics.
(8)
Computer security.
(8)
Data mining.
(8)
Computer organization.
(7)
Computers and civilization.
(5)
Pattern recognition.
(5)
Education—Data processing.
(4)
Mathematical statistics.
(4)
Project management.
(4)
Computational intelligence.
(3)
Data structures (Computer science).
(3)
Electrical engineering.
(3)
Operating systems (Computers).
(3)
Special purpose computers.
(3)
Computer hardware.
(2)
Computer software -- Development.
(2)
Data encryption (Computer science).
(2)
Electronic books.
(2)
Sociology.
(2)
Software architecture.
(2)
Automation.
(1)
Bioinformatics.
(1)
BİLGİ SUNUMU (BİLGİ KURAMI) -- EL KİTAPLARI V.B.
(1)
Coding theory.
(1)
Computational biology .
(1)
Computer engineering.
(1)
Computer mathematics.
(1)
Computer programmers.
(1)
Computer science -- Handbooks, manuals, etc.
(1)
Computer software -- Quality control.
(1)
Decision making.
(1)
E-commerce.
(1)
Economic theory.
(1)
Education and state.
(1)
Educational policy.
(1)
Electronic circuits.
(1)
Embedded computer systems -- Security measures.
(1)
Health informatics.
(1)
Industrial management.
(1)
Industrial safety.
(1)
Information theory.
(1)
Knowledge management.
(1)
Knowledge representation (Information theory) -- Handbooks, manuals, etc.
(1)
Logic design.
(1)
Management.
(1)
Microprocessors.
(1)
Mobile computing -- Security measures.
(1)
Multimedia information systems.
(1)
Multimedia systems .
(1)
Natural language processing (Computer science).
(1)
Numerical analysis.
(1)
Object-oriented programming (Computer science)
(1)
Online social networks.
(1)
Operations research.
(1)
Optical data processing.
(1)
Organization.
(1)
Penetration testing (Computer security)
(1)
Planning.
(1)
Quality control.
(1)
Rapid prototyping.
(1)
Signal processing -- Digital techniques -- Data processing.
(1)
Signal processing.
(1)
Social media.
(1)
Software engineering -- Handbooks, manuals, etc.
(1)
YAZILIM MÜHENDİSLİĞİ -- EL KİTAPALRI V.B.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Kitap
Shelf Location
Dahil
Hariç
Beytepe Genel Koleksiyon
Elektronik Kütüphane
Kütüphane
Dahil
Hariç
Beytepe Kütüphanesi
Ç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
217 sonuç bulundu
1
..
15
16
17
18
19
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.
217.
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
..
15
16
17
18
19
