Search Results for Computer Science (General)

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

SpringerLink (Online service)

(785)

Apduhan, Bernady O. editor.

(22)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(17)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(17)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(17)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(12)

Gelbukh, Alexander. editor.

(11)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(11)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(11)

Taniar, David. editor.

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(11)

Shi, Yuhui. editor.

(10)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(8)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(8)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Leung, Andrew Chi Sing. editor.

(7)

Ozawa, Seiichi. editor.

(7)

Tan, Ying. editor.

(7)

Falcão, Maria Irene. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Li, Kenli. editor.

(6)

Ricci, Laura. editor.

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Rozenberg, Grzegorz. editor.

(6)

Salomaa, Arto. editor.

(6)

Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964

(5)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Duan, Zhenhua. editor.

(5)

Gavrilova, Marina L. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Karpov, Pavel. editor. (orcid)0000-0003-4786-9806

(5)

Lam, Roberto. editor. (orcid)0000-0003-4297-2441

(5)

Lees, Michael H. editor.

(5)

Martinez, Gregorio. editor.

(5)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(5)

Misra, Sanjay. editor.

(5)

Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679

(5)

Murgante, Beniamino. editor.

(5)

Potapov, Igor. editor.

(5)

Rocha, Ana Maria Alves Coutinho. editor.

(5)

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

(5)

Ryu, Yeonseung. editor. (orcid)0000-0002-8431-073X

(5)

Scott, Stephen L. editor.

(5)

Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395

(5)

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012

(5)

Theis, Fabian. editor. (orcid)0000-0002-2419-1943

(5)

Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

(5)

Torre, Carmelo. editor.

(5)

Zomaya, Albert. editor.

(5)

Adeli, Hojjat. editor.

(4)

Alexander, Michael. editor.

(4)

Arik, Sabri. editor.

(4)

Catala, Andreu. editor.

(4)

Cirne, Walfredo. editor.

(4)

Costan, Alexandru. editor.

(4)

Das, Swagatam. editor.

(4)

Dediu, Adrian-Horia. editor.

(4)

Desai, Narayan. editor.

(4)

Du, Ding-Zhu. editor.

(4)

Ferrández Vicente, José Manuel. editor.

(4)

Freeman, Adam. author.

(4)

Huang, Tingwen. editor.

(4)

Hunold, Sascha. editor.

(4)

Jeannot, Emmanuel. editor.

(4)

Joya, Gonzalo. editor.

(4)

Karczewski, Konrad. editor.

(4)

Koepf, Wolfram. editor.

(4)

Lai, Weng Kin. editor.

(4)

Li, Jin. editor.

(4)

Liu, Qingshan. editor.

(4)

Liu, Shaoying. editor.

(4)

Margaria, Tiziana. editor.

(4)

Olsson, Mikael. author.

(4)

Scarano, Vittorio. editor.

(4)

Steffen, Bernhard. editor.

(4)

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

(4)

Vaidya, Jaideep. editor.

(4)

Voronkov, Andrei. editor.

(4)

Wang, Guojun. editor.

(4)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(4)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(4)

de la Paz López, Félix. editor.

(4)

Álvarez-Sánchez, José Ramón. editor.

(4)

Beckner, Mark. author.

(3)

Beng Jin, Andrew Teoh. editor.

(3)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(3)

Buarque, Fernando. editor.

(3)

Cannataro, Mario. editor.

(3)

Castelli, Mauro. editor.

(3)

Cheung, Simon K.S. editor.

(3)

Cohen, Albert. editor.

(3)

Csuhaj-Varjú, Ersébet. editor.

(3)

Dillig, Isil. editor.

(3)

Dimov, Ivan. editor.

(3)

Engelbrecht, Andries. editor.

(3)

Fu, Haohuan. editor.

(3)

García-Sánchez, Pablo. editor.

(3)

Gedeon, Tom. editor. (orcid)0000-0001-8356-4909

(3)

Gerdt, Vladimir P. editor.

(3)

Gheorghe, Marian. editor.

(3)

Halldórsson, Magnús M. editor.

(3)

Hammer, Barbara. editor.

(3)

Huisman, Marieke. editor.

(3)

Iliadis, Lazaros. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Keem Siah, Yap. editor.

(3)

Kutrib, Martin. editor.

(3)

Lankes, Stefan. editor.

(3)

Lee, Minho. editor. (orcid)0000-0002-0441-7087

(3)

Lees, Michael Harold. editor.

(3)

Legay, Axel. editor.

(3)

Lirkov, Ivan. editor.

(3)

Loo, Chu Kiong. editor.

(3)

Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642

(3)

Machado, Penousal. editor.

(3)

Maglogiannis, Ilias. editor.

(3)

Manea, Florin. editor.

(3)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(3)

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

(3)

Martín-Vide, Carlos. editor.

(3)

Moreno-Díaz, Roberto. editor.

(3)

Paquete, Luís. editor.

(3)

Pichler, Franz. editor.

(3)

Pighizzini, Giovanni. editor.

(3)

Pogodalla, Sylvain. editor.

(3)

Prałat, Paweł. editor.

(3)

Quesada-Arencibia, Alexis. editor.

(3)

Rollins, Mark. author.

(3)

Shi, Yong. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Tian, Cong. editor.

(3)

Tian, Yingjie. editor.

(3)

Voß, Stefan. editor.

(3)

Waśniewski, Jerzy. editor.

(3)

Weidendorfer, Josef. editor.

(3)

Wong, Kok Wai. editor.

(3)

Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031

(3)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(3)

de Queiroz, Ruy. editor.

(3)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(2)

Atmanspacher, Harald. editor.

(2)

Auger, Anne. editor.

(2)

Bampis, Evripidis. editor.

(2)

Barry, Chris. editor.

(2)

Beckmann, Arnold. editor.

(2)

Benkner, Siegfried. editor.

(2)

Bensalem, Saddek. editor.

(2)

Birattari, Mauro. editor. (orcid)0000-0003-3309-2194

(2)

Blum, Christian. editor.

(2)

Blum, Christian. editor. (orcid)0000-0002-1736-3559

(2)

Bonato, Anthony. editor.

(2)

Bors, Adrian. editor.

(2)

Breitbart, Jens. editor.

(2)

Cai, Zhipeng. editor.

(2)

Calude, Cristian S. editor.

(2)

Canetti, Ran. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Chen, Jianer. editor.

(2)

Cheng, Siyao. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Coello, Carlos Coello. editor.

(2)

Cossentino, Massimo. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dietzfelbinger, Martin. editor.

(2)

Diniz, Pedro C. editor.

(2)

Dongarra, Jack. editor.

(2)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(2)

Duffy, Vincent G. editor.

(2)

Esparza, Javier. editor.

(2)

Fong, Joseph. editor.

(2)

Fonseca, Carlos M. editor.

(2)

Foret, Annie. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(2)

Garay, Juan A. editor.

(2)

Gaspar-Cunha, António. editor.

(2)

Goehringer, Diana. editor.

(2)

Goodyear, Steve. author.

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Hamann, Heiko. editor.

(2)

Hammond, Simon D. editor.

(2)

Hancock, Edwin. editor.

(2)

Heggernes, Pinar. editor.

(2)

Henggeler Antunes, Carlos. editor.

(2)

Heywood, Malcolm I. editor.

(2)

Hochberger, Christian. editor.

(2)

Horváth, Zoltán. editor.

(2)

Hospodár, Michal. editor.

(2)

Huang, Kaizhu. editor.

(2)

Husfeldt, Thore. editor.

(2)

Iliopoulos, Costas. editor.

(2)

Italiano, Giuseppe F. editor.

(2)

Iwama, Kazuo. editor.

(2)

Jackson, Wallace. author.

(2)

Janssen, Marijn. editor.

(2)

Tümünü genişlet

Dil

(797)

Yayın Yılı

-

(199)

(150)

(147)

(146)

(145)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(299)

Artificial intelligence.

(230)

Computer Science, general.

(199)

Software engineering.

(172)

(146)

Computer science—Mathematics.

(102)

Computer logic.

(74)

Computer software.

(69)

(69)

Mathematical logic.

(62)

(60)

Computer communication systems.

(49)

Application software.

(44)

Computer network architectures.

(44)

Numerical analysis.

(39)

(38)

Data structures (Computer science).

(38)

Optical data processing.

(38)

Computer Communication Networks.

(36)

Programming languages (Electronic computers).

(36)

Computational complexity.

(35)

Computer vision.

(35)

Computer security.

(32)

Computer organization.

(31)

Computer graphics.

(29)

Data structures (Computer scienc.

(29)

Computer simulation.

(28)

Electronic data processing.

(28)

Operating systems (Computers).

(26)

Computer system failures.

(25)

Artificial Intelligence (incl. Robotics).

(20)

Information theory.

(19)

Database management.

(17)

Computer industry.

(16)

Computer hardware.

(15)

Computer programming.

(15)

Information storage and retrieval.

(15)

Pattern recognition.

(15)

Information storage and retrieval systems.

(13)

Information systems.

(13)

Optical pattern recognition.

(13)

Special purpose computers.

(13)

Computer system performance.

(12)

Natural language processing (Computer science).

(12)

Data encryption (Computer science).

(11)

Architecture, Computer.

(10)

Data protection.

(10)

Social sciences -- Data processing.

(10)

Algorithm Analysis and Problem Complexity.

(8)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(8)

Information Storage and Retrieval.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Systems and Data Security.

(8)

(7)

Computational linguistics.

(7)

Arithmetic and logic units, Computer.

(6)

Bioinformatics.

(6)

Data Encryption.

(6)

Information Systems Applications (incl. Internet).

(6)

Management information systems.

(6)

Mathematical statistics.

(6)

Programming Techniques.

(6)

Data Mining and Knowledge Discovery.

(5)

Discrete Mathematics in Computer Science.

(5)

Electronic books.

(5)

Mathematical Logic and Formal Languages.

(5)

Microprocessors.

(5)

Algebra -- Data processing.

(4)

Computer Applications.

(4)

(4)

Logics and Meanings of Programs.

(4)

User Interfaces and Human Computer Interaction.

(4)

User interfaces (Computer systems).

(4)

Computation by Abstract Devices.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computers and Society.

(3)

Education—Data processing.

(3)

Health Informatics.

(3)

Image Processing and Computer Vision.

(3)

Information Systems and Communication Service.

(3)

Input-output equipment (Computers).

(3)

Medical records -- Data processing.

(3)

Pattern Recognition.

(3)

(3)

Simulation and Modeling.

(3)

Special Purpose and Application-Based Systems.

(3)

Symbolic and Algebraic Manipulation.

(3)

(2)

Computer science -- Mathematics.

(2)

Computers and civilization.

(2)

Data transmission systems.

(2)

(2)

(2)

Information Systems.

(2)

Language Translation and Linguistics.

(2)

(2)

System Performance and Evaluation.

(2)

Translators (Computer programs).

(2)

e-Commerce/e-business.

(2)

(1)

Analyse multiéchelle.

(1)

Applications of Mathematics.

(1)

BUSINESS & ECONOMICS.

(1)

(1)

(1)

Biophysics and Biological Physics.

(1)

Business -- Data processing -- Security measures

(1)

Business -- Data processing -- Security measures.

(1)

Business -- Data processing.

(1)

Business Informatics.

(1)

Business Information Systems.

(1)

Business enterprises -- Computer networks -- Security measures

(1)

Business enterprises -- Computer networks -- Security measures.

(1)

Business/Management Science, general.

(1)

COMPUTER SCIENCE -- General.

(1)

COMPUTER SCIENCE/General.

(1)

(1)

Cognitive Psychology.

(1)

Computational Biology/Bioinformatics.

(1)

Computational Intelligence.

(1)

Computational Numerical Analysis

(1)

Computational intelligence.

(1)

Computer Engineering.

(1)

Computer Science (General)

(1)

Computer System Implementation.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer crimes

(1)

Computer crimes.

(1)

Computer mathematics.

(1)

Computer multitasking -- Congresses.

(1)

Computer networks -- Security measures.

(1)

Computer science

(1)

Computer science - general interest Computer science special topics Information technologies.

(1)

Computer science -- Mathematics

(1)

Computer security

(1)

Computer software—Reusability.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

(1)

Control theory.

(1)

Convex geometry .

(1)

Criminalité informatique.

(1)

Cyberspace -- Security measures

(1)

Cyberspace -- Security measures.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

Datavetenskap matematik.

(1)

Differential Equations

(1)

Differential equations.

(1)

Discrete geometry.

(1)

Drafting & Mechanical Drawing.

(1)

Drug development -- Computer simulation.

(1)

Economics general.

(1)

Economics/Management Science, general.

(1)

Education (general).

(1)

Education -- Economic aspects.

(1)

Education Economics.

(1)

Educational Technology.

(1)

Electrical & Electronic Engineering

(1)

Engineering & Technology

(1)

Engineering -- Tables.

(1)

Feedback control systems.

(1)

(1)

Financial Risk Management.

(1)

Gestion -- Informatique -- Sécurité -- Mesures.

(1)

Gestion du risque.

(1)

Génie logiciel -- Histoire.

(1)

Health informatics.

(1)

(1)

IEEE Computer Society

(1)

IEEE Computer Society -- History.

(1)

Industrial microbiology.

(1)

Informatique -- Mathématiques.

(1)

(1)

(1)

Knowledge representation (Information theory) .

(1)

(1)

Management of Computing and Information Systems.

(1)

Management science.

(1)

Materials science

(1)

Materials science.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Mathematics & Statistics for Engineers

(1)

Mathematics, general.

(1)

Mechanics, Applied.

(1)

(1)

(1)

Memory management (Computer scie.

(1)

Microbial biotechnology.

(1)

Microprogramming .

(1)

Models and Principles.

(1)

Monte Carlo method.

(1)

Multiscale modeling

(1)

Multiscale modeling.

(1)

Neural networks (Computer science) .

(1)

(1)

Numeric Computing.

(1)

Operations research.

(1)

Parallel processing (Electronic computers) -- Congresses.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

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ç

797 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 67

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.

85.

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday için kapak resmi

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Yazar

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-59648-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers için kapak resmi

Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

Yazar

Nikolov, Geno. editor. (orcid)0000-0001-5608-2488 Kolkovska, Natalia. editor. Georgiev, Krassimir. editor. (orcid)0000-0001-5277-2887 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings için kapak resmi

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Yazar

Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Richter, Hendrik. editor. (orcid)0000-0001-5417-8291 García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers için kapak resmi

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

Yazar

Dimov, Ivan. editor. Faragó, István. editor. (orcid)0000-0002-4615-7615 Vulkov, Lubin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II için kapak resmi

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy için kapak resmi

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-60670-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers için kapak resmi

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Yazar

Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings için kapak resmi

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Yazar

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings için kapak resmi

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Yazar

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30446-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings için kapak resmi

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Yazar

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings için kapak resmi

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Yazar

Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 67

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11