Search Results for Electronic.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Algorithms.

Yazar

SpringerLink (Online service)

(81)

Löwe, Benedikt. editor.

(5)

Vatansever, Fahri.

(5)

Du, Ding-Zhu. editor.

(4)

Erlebach, Thomas. editor.

(4)

Jansen, Klaus. editor.

(4)

Bampis, Evripidis. editor.

(3)

Cormen, Thomas H.

(3)

Persiano, Giuseppe. editor.

(3)

Solis-Oba, Roberto. editor.

(3)

Wiley InterScience (Online service)

(3)

(2)

Beckmann, Arnold. editor.

(2)

Cooper, S. Barry. editor.

(2)

Demetrescu, Camil. editor.

(2)

Golan, Jonathan S. author.

(2)

IEEE Engineering in Medicine and Biology Society.

(2)

Kaklamanis, Christos. editor.

(2)

Kratsch, Dieter. editor.

(2)

Preparata, Franco P. editor.

(2)

Skutella, Martin. editor.

(2)

Xu, Yinfeng. editor.

(2)

Zhu, Binhai. editor.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abraham, Erika. editor.

(1)

Abrial, Jean-Raymond. editor.

(1)

Ahlswede, Rudolf. editor.

(1)

Ambos-Spies, Klaus. editor.

(1)

Artho, Cyrille. editor.

(1)

Asano, Tetsuo. editor.

(1)

Avron, Arnon. editor.

(1)

Aydinian, Harout. editor.

(1)

Ball, M. O. (Michael O.)

(1)

Barozzi, Giulio Cesare. author.

(1)

Berger, Ulrich. editor.

(1)

Blinovsky, Vladimir. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonifaci, Vincenzo. editor.

(1)

(1)

Brandstädt, Andreas. editor.

(1)

Broersma, Hajo. editor.

(1)

Byrne, Charles L., author.

(1)

Bäumer, Lars. editor.

(1)

Cai, Ning. editor.

(1)

Carr, Hamish. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chekuri, Chandra. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Darrell, Trevor.

(1)

DeRose, Luiz. editor.

(1)

Deng, Xiaotie. editor.

(1)

Deppe, Christian. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dimitracopoulos, Costas. editor.

(1)

Dong, Yingfei. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dress, Andreas. editor.

(1)

Dulli, Susi. author.

(1)

Dutra, Inês. editor.

(1)

Eidhammer, Ingvar.

(1)

Esparza, Javier. editor.

(1)

Fang, Qizhi. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fleischer, Rudolf. editor.

(1)

Fomin, Fedor V. editor.

(1)

Friedetzky, Tom. editor.

(1)

Fuchs, Raphael. editor.

(1)

Fukunaga, Takuro. editor.

(1)

Furini, Sara. author.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Gerhard, Jürgen. author.

(1)

Glässer, Uwe. editor.

(1)

Graf, Susanne. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Gutin, Gregory. editor.

(1)

Guttman, Anthony J. editor.

(1)

Haupt, Randy L.

(1)

Haupt, Randy L. Practical genetic algorithms.

(1)

(1)

Hauser, Helwig. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Haykin, Simon S., 1931-

(1)

Herbrich, Ralf.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hong, Seok-Hee. editor.

(1)

Horta, Nuno C.G. author.

(1)

Hromkovič, Juraj. editor.

(1)

Ibarra, Oscar. editor.

(1)

Iglesias, Andrés. editor.

(1)

(1)

Johnson, Michael L., 1947-

(1)

Jonassen, Inge.

(1)

Kabaciński, Wojciech. author.

(1)

Kenyon, Claire. editor.

(1)

Kneusel, Ronald T. author.

(1)

Kohlas, Jürg, 1939- author.

(1)

Kovalev, Mikhail. author.

(1)

Larsen, Kim G. editor.

(1)

Le Goues, Claire. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leivant, Daniel. editor.

(1)

Lerner, Jürgen. editor.

(1)

Lin, Guohui. editor.

(1)

Lourenço, Nuno C.C. author.

(1)

Lujak, Marin. editor.

(1)

Mahjoub, A. Ridha. editor.

(1)

Marchetti-Spaccamela, Alberto. editor.

(1)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Markakis, Vangelis. editor.

(1)

Martins, Ricardo M.F. author.

(1)

Mashurian, Haik. editor.

(1)

McGeoch, Catherine C. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Merkle, Wolfgang. editor.

(1)

Milis, Ioannis. editor.

(1)

Muller, Jean-Michel. author.

(1)

Müller, Haiko. editor.

(1)

Müller, Matthias S. editor.

(1)

Müller, Silvia M. author.

(1)

(1)

Nagamochi, Hiroshi. editor.

(1)

Nagl, Manfred. editor.

(1)

Nasiboğlu, Efendi.

(1)

Nejati, Shiva. editor.

(1)

Nikoletseas, Sotiris E. editor.

(1)

Nuriyev, Urfat.

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Olivier, Stephen L. editor.

(1)

Orejas, Fernando. editor.

(1)

Paschos, Vangelis Th. editor.

(1)

Paul, Wolfgang J. author.

(1)

Paulusma, Daniel. editor.

(1)

Peikert, Ronald. editor.

(1)

Peron, Edmondo. author.

(1)

Persinao, Giuseppe. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Poole, Stephen. editor.

(1)

Pouly, Marc, 1980- author.

(1)

Pólya, George. author.

(1)

Queiroz, Ruy. editor.

(1)

Rabinovich, Alexander. editor.

(1)

Rocha, Frederico A.E. author.

(1)

Rolim, José D. P. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Santos Costa, Vitor. editor.

(1)

Schölkopf, Bernhard.

(1)

ScienceDirect (Online service)

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Serna, María. editor.

(1)

Shakhnarovich, Gregory.

(1)

Shamis, Pavel. editor.

(1)

Silva, Fernando. editor.

(1)

Smith, Graeme. editor.

(1)

Smola, Alexander J.

(1)

Smolka, Scott A. editor.

(1)

Sorbi, Andrea. editor.

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Swamy, M. N. S.

(1)

Szeider, Stefan. editor.

(1)

Takayama, Nobuki. editor.

(1)

Tarjan, Robert E. author.

(1)

Taylor and Francis.

(1)

Taylor, W. R. (Willie R.)

(1)

Thilikos, Dimitrios M. editor.

(1)

Thulasiraman, K.

(1)

Tokuyama, Takeshi. editor.

(1)

Torenvliet, Leen. editor.

(1)

Trevisan, Luca. editor.

(1)

Trippen, Gerhard. editor.

(1)

Tucker, John V. editor.

(1)

Upadhyaya, Bhim P. author.

(1)

Wagner, Dorothea. editor.

(1)

Wang, Cao An. editor.

(1)

Wang, Weifan. editor.

(1)

Westfechtel, Bernhard. editor.

(1)

Widmayer, Peter. editor.

(1)

Woeginger, Gerhard J. editor.

(1)

Woeginger, Gerhard. editor.

(1)

Woods, Donald R. author.

(1)

Wu, Xiaodong. editor.

(1)

Yang, Boting. editor.

(1)

Yin, Jianping. editor.

(1)

Yoo, Shin. editor.

(1)

Zelikovsky, Alexander.

(1)

Zhu, Xuding. editor.

(1)

Zweig, Katharina A. editor.

(1)

de Supinski, Bronis R. editor.

(1)

Àlvarez, Carme. editor.

(1)

Çobanoğlu, Bülent.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

(1)

Tümünü genişlet

Dil

(92)

(8)

(2)

Yayın Yılı

-

(13)

(13)

(11)

(9)

(9)

(9)

(8)

(6)

(5)

(4)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Electronic data processing.

(58)

Computer science.

(53)

Computer software.

(52)

Computational complexity.

(41)

Computer graphics.

(32)

Data structures (Computer science).

(21)

Programming languages (Electronic computers).

(21)

Computer Communication Networks.

(15)

Software engineering.

(15)

Electronic books.

(11)

Computer logic.

(10)

(9)

Bioinformatics.

(9)

Electronic digital computers -- Programming.

(9)

Elektronik sayısal bilgisayarlar -- Programlama.

(9)

Information theory.

(8)

Mathematical logic.

(7)

(7)

Artificial intelligence.

(6)

Algorithm Analysis and Problem Complexity.

(4)

Computer programming.

(4)

Discrete Mathematics in Computer Science.

(4)

Numeric Computing.

(4)

Computer system failures.

(3)

(3)

Machine learning.

(3)

Models, Biological.

(3)

Neural Networks (Computer)

(3)

Neural networks (Computer science)

(3)

Algebra -- Data processing.

(2)

(2)

(2)

(2)

Biomedical engineering.

(2)

Biomedische techniek.

(2)

(2)

Computational Biology -- methods.

(2)

Computer communication systems.

(2)

Computer science -- Mathematics.

(2)

Data Structures.

(2)

(2)

Fuzzy (inteligência artificial)

(2)

(2)

(2)

Neurale netwerken.

(2)

Niet-lineaire dynamica.

(2)

(2)

Signaalverwerking.

(2)

Signal Processing, Computer-Assisted.

(2)

Signal processing.

(2)

Algebra, Abstract.

(1)

Algorithms -- Congresses.

(1)

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial Intelligence.

(1)

Bilgisayar algoritmaları.

(1)

Bilgisayar programlama.

(1)

(1)

Biomedical Engineering.

(1)

Biomedical engineering -- Computer simulation.

(1)

Chemistry -- Mathematics.

(1)

Computational intelligence.

(1)

Computer Simulation.

(1)

Computer algorithms.

(1)

Computer hardware.

(1)

Computer science—Mathematics.

(1)

Computer simulation.

(1)

Data encryption (Computer science).

(1)

(1)

Data structures (Computer science)

(1)

Economics -- Statistics.

(1)

Electric networks.

(1)

Electronic circuits.

(1)

Genetic Techniques.

(1)

Genetic algorithms.

(1)

Geometry -- Data processing -- Congresses.

(1)

Geometry -- Data processing.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Information systems.

(1)

Iterative methods (Mathematics)

(1)

Kernel functions.

(1)

(1)

MATHEMATICS / Applied.

(1)

MATHEMATICS / Differential Equations.

(1)

Machine learning -- Congresses.

(1)

Maschinelles Lernen.

(1)

Maschinelles Sehen.

(1)

Math Applications in Computer Science.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Mathematical statistics.

(1)

Microprocessors.

(1)

Models, Genetic.

(1)

Nearest neighbor analysis (Statistics)

(1)

Nearest neighbor analysis (Statistics) -- Congresses.

(1)

(1)

(1)

Network analysis (Planning)

(1)

Neural computers.

(1)

Neural networks (Neurobiology)

(1)

Neuronales Netz.

(1)

(1)

Nächste-Nachbarn-Problem.

(1)

Operating systems (Computers).

(1)

Operations research.

(1)

Pattern recognition.

(1)

(1)

Protein Conformation.

(1)

Proteins -- Structure.

(1)

Sequence Analysis, Protein.

(1)

Signal processing -- Statistical methods.

(1)

Statistics as Topic.

(1)

Telecommunication.

(1)

Valuation theory.

(1)

Veri yapıları (Bilgisayar bilimi).

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

reconstruction.

(1)

(1)

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

104 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 9

000000000000DEFAULT_TR

Yazdır

Liste seç

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.

1.

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday için kapak resmi

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30985-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday için kapak resmi

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22348-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30942-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings için kapak resmi

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Yazar

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32441-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Yazar

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-18744-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers için kapak resmi

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12988-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Random Numbers and Computers için kapak resmi

Random Numbers and Computers

Random Numbers and Computers

Yazar

Kneusel, Ronald T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-77697-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Algoritmalara Giriş için kapak resmi

Algoritmalara Giriş

Algoritmalara Giriş

Yazar

Cormen, Thomas H.

Yer Numarası

QA76.6 C663 2017

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

9.

Algoritma geliştirme ve programlamaya giriş için kapak resmi

Algoritma geliştirme ve programlamaya giriş

Algoritma geliştirme ve programlamaya giriş

Yazar

Vatansever, Fahri.

Yer Numarası

QA76.6 V56 2017

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Algoritma geliştirme ve programlamaya giriş için kapak resmi

Algoritma geliştirme ve programlamaya giriş

Algoritma geliştirme ve programlamaya giriş

Yazar

Vatansever, Fahri.

Yer Numarası

QA76.6 V56 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

11.

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings için kapak resmi

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Yazar

Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05215-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings için kapak resmi

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Yazar

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09940-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 9

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11