Search Results for Software

|

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)

(252)

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)

Du, Ding-Zhu. editor.

(5)

Erlebach, Thomas. editor.

(5)

Jansen, Klaus. editor.

(5)

Löwe, Benedikt. editor.

(5)

Vorozhtsov, Evgenii V. editor.

(5)

Mayr, Ernst W. editor.

(4)

Alexander, Michael. editor.

(3)

Bampis, Evripidis. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Esparza, Javier. editor.

(3)

Fomin, Fedor V. editor.

(3)

Ganzha, Victor G. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Pan, Jeng-Shyang. editor.

(3)

Persiano, Giuseppe. editor.

(3)

Ricci, Laura. editor.

(3)

Scarano, Vittorio. editor.

(3)

Solis-Oba, Roberto. editor.

(3)

Ali, Moonis. editor.

(2)

Aniorté, Philippe. editor. (orcid)0000-0003-2499-7549

(2)

Apostolou, Dimitris. editor.

(2)

Beckmann, Arnold. editor.

(2)

Benkner, Siegfried. editor.

(2)

Brandstädt, Andreas. editor.

(2)

Breitbart, Jens. editor.

(2)

Brucker, Peter. author.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Chen, Shyi-Ming. editor.

(2)

Cooper, S. Barry. editor.

(2)

Demetrescu, Camil. editor.

(2)

Deng, Xiaotie. editor.

(2)

Douligeris, Christos. editor. (orcid)0000-0002-6849-6693

(2)

Exposito, Ernesto. editor. (orcid)0000-0002-3543-2909

(2)

Felber, Pascal. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Gheorghe, Marian. editor.

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Horng, Mong-Fong. editor.

(2)

Hromkovič, Juraj. editor.

(2)

Hu, Xiaodong. editor.

(2)

Huang, De-Shuang. editor.

(2)

Hunold, Sascha. editor.

(2)

Husfeldt, Thore. editor.

(2)

Jeannot, Emmanuel. editor.

(2)

Kaklamanis, Christos. editor.

(2)

Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740

(2)

Knust, Sigrid. author.

(2)

Koutsoupias, Elias. editor.

(2)

Kratsch, Dieter. editor.

(2)

Lankes, Stefan. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Lin, Guohui. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Min, Geyong. editor.

(2)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(2)

Niu, Ben. editor.

(2)

Pardalos, Panos M. author.

(2)

Pardalos, Panos M. editor.

(2)

Petit, Salvador. editor.

(2)

Preparata, Franco P. editor.

(2)

Qu, Wenyu. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Salomaa, Arto. editor.

(2)

Scott, Stephen L. editor.

(2)

Shi, Yuhui. editor.

(2)

Skutella, Martin. editor.

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(2)

Thilikos, Dimitrios M. editor.

(2)

Tokuyama, Takeshi. editor.

(2)

Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388

(2)

Trott, Michael. author.

(2)

Widmayer, Peter. editor.

(2)

Wu, Yulei. editor.

(2)

Xu, Yinfeng. editor.

(2)

Yang, Tingting. editor.

(2)

Zhou, Wanlei. editor.

(2)

Zhu, Binhai. editor.

(2)

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

(2)

Žilinskas, Julius. editor.

(2)

Abadi, Martín. editor.

(1)

Abraham, Erika. editor.

(1)

Abrial, Jean-Raymond. editor.

(1)

Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236

(1)

Ahlswede, Rudolf. editor.

(1)

Akiyama, Jin. editor.

(1)

Alhazov, Artiom. editor.

(1)

Alinovi, Francesco. author.

(1)

Alpuente, María. editor.

(1)

Altmann, Jörn. editor.

(1)

Ambos-Spies, Klaus. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Arge, Lars. editor.

(1)

Artho, Cyrille. editor.

(1)

Asano, Tetsuo. editor.

(1)

Avron, Arnon. editor.

(1)

Aydinian, Harout. editor.

(1)

Balke, Wolf-Tilo. editor.

(1)

Bandini, Stefania. editor.

(1)

Bang-Jensen, Jørgen. author.

(1)

Barozzi, Giulio Cesare. author.

(1)

Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470

(1)

Bayro-Corrochano, Eduardo. editor.

(1)

Bellalta, Boris. editor.

(1)

Belyaev, Evgeny. editor.

(1)

Bender, Andreas, 1976-

(1)

Berger, Ulrich. editor.

(1)

Bezzi, Michele. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Blinovsky, Vladimir. editor.

(1)

Blockeel, Hendrik. editor.

(1)

Bo, Jiang. editor.

(1)

Boche, Holger. author.

(1)

Bodlaender, Hans L. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonato, Anthony. editor.

(1)

Bonifaci, Vincenzo. editor.

(1)

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

(1)

Bosma, Wieb. editor.

(1)

Bouchachia, Abdelhamid. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Boztaş, Serdar. editor.

(1)

Brandes, Ulrik. editor.

(1)

Braverman, Mark. author.

(1)

Brisebarre, Nicolas. author.

(1)

Broersma, Hajo. editor.

(1)

Brown, Gavin. editor.

(1)

Bäumer, Lars. editor.

(1)

Cai, Ning. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calafiore, Giuseppe. author.

(1)

Campos, Sérgio. editor.

(1)

Cannon, John. editor.

(1)

Cao, Jian-nong. editor.

(1)

Cardei, Mihaela. editor.

(1)

Carlet, Claude. editor.

(1)

Carrasco-Ochoa, Jesús Ariel. editor.

(1)

Catania, Barbara. editor. (orcid)0000-0002-6443-169X

(1)

Cavallaro, Andrea. editor.

(1)

Ceroni Díaz, Jose A. editor.

(1)

Cervera, Enric. editor.

(1)

Chan, Henry. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chaskin, Alexander V. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chekuri, Chandra. editor.

(1)

Chen, Danny Z. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Xiaoyun. editor.

(1)

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

(1)

Chen, Yueguo. editor.

(1)

Cheng, Chih-Hong. editor.

(1)

Cheng, Shin-Ming. editor.

(1)

Cheng, Siyao. editor.

(1)

Chinellato, Eris. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Clauss, Carsten. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Corchado, Emilio. editor.

(1)

Cui, Bin. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Dabbene, Fabrizio. author.

(1)

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

(1)

Damaševičius, Robertas. editor.

(1)

Day, Min-Yuh. editor.

(1)

DeRose, Luiz. editor.

(1)

Decker, Wolfram. author.

(1)

Dediu, Adrian-Horia. editor.

(1)

Deppe, Christian. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Di Fatta, Giuseppe. editor.

(1)

Dimitracopoulos, Costas. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Distante, Cosimo. editor. (orcid)0000-0002-1073-2390

(1)

Dobbertin, Hans. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dong, Yingfei. editor.

(1)

Dongarra, Jack. editor.

(1)

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

(1)

Downey, Rodney G. author.

(1)

Dress, Andreas. editor.

(1)

Dressler, Falko. editor. (orcid)0000-0002-1989-1750

(1)

Tümünü genişlet

Dil

(249)

(2)

(2)

Yayın Yılı

-

(66)

(37)

(27)

(20)

(18)

(16)

(16)

(16)

(13)

(11)

(9)

(4)

Tümünü genişlet

Konu

Computer software.

(143)

Computer science.

(140)

Computational complexity.

(103)

Software engineering.

(66)

Application software.

(59)

Data structures (Computer science).

(59)

Electronic data processing.

(52)

Artificial intelligence.

(49)

Computer graphics.

(42)

Computer Communication Networks.

(39)

Computer communication systems.

(35)

Algebra -- Data processing.

(29)

(22)

(19)

Information theory.

(17)

Programming languages (Electronic computers).

(17)

Computer logic.

(15)

(15)

Mathematical logic.

(13)

Optical data processing.

(13)

Bioinformatics.

(11)

Data encryption (Computer science).

(11)

Pattern recognition.

(11)

Computer science—Mathematics.

(10)

Information storage and retrieval.

(10)

(10)

(9)

Mathematical optimization.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Computer system failures.

(8)

Database management.

(7)

Discrete Mathematics in Computer Science.

(7)

Computer simulation.

(6)

(6)

Management information systems.

(6)

(6)

(5)

Computer science -- Mathematics.

(5)

(4)

Data Structures.

(4)

Numeric Computing.

(4)

Computer organization.

(3)

Computer programming.

(3)

Computer security.

(3)

Distribution (Probability theory).

(3)

Logic, Symbolic and mathematical.

(3)

Operations research.

(3)

Telecommunication.

(3)

Computer network architectures.

(2)

(2)

Engineering mathematics.

(2)

Information systems.

(2)

Math Applications in Computer Science.

(2)

Operating systems (Computers).

(2)

Special purpose computers.

(2)

Arithmetic and logic units, Computer.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Cheminformatics -- Handbooks, manuals, etc.

(1)

Computer hardware.

(1)

Computers and civilization.

(1)

Data structures (Computer scienc.

(1)

Discrete groups.

(1)

Economic theory.

(1)

Education—Data processing.

(1)

(1)

(1)

Fourier analysis.

(1)

Geometry, algebraic.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

Microprocessors.

(1)

Multimedia systems.

(1)

Natural language processing (Computer science).

(1)

Numerical analysis.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Techniques.

(1)

Software Engineering/Programming and Operating Systems.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems theory.

(1)

Theory of Computation.

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Ç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

253 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 22

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.

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17601-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings için kapak resmi

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Yazar

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

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:

5.

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings için kapak resmi

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Yazar

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30275-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computing and Software Science State of the Art and Perspectives için kapak resmi

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91908-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings için kapak resmi

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30923-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54792-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54862-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The Cinderella.2 Manual Working with The Interactive Geometry Software için kapak resmi

The Cinderella.2 Manual Working with The Interactive Geometry Software

The Cinderella.2 Manual Working with The Interactive Geometry Software

Yazar

Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-34926-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday için kapak resmi

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Yazar

Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11447-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings için kapak resmi

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Yazar

Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11832225

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 22

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11