Search Results for Parallel.

|

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

Yazar

SpringerLink (Online service)

(423)

Dongarra, Jack. editor.

(19)

Wiley InterScience (Online service)

(17)

Alexander, Michael. editor.

(11)

Karczewski, Konrad. editor.

(11)

Lee, Roger. editor.

(11)

Jeannot, Emmanuel. editor.

(8)

Malyshkin, Victor. editor.

(8)

Scott, Stephen L. editor.

(8)

Taylor and Francis.

(8)

Wyrzykowski, Roman. editor.

(8)

Zomaya, Albert. editor.

(8)

Liu, Honghai. editor.

(7)

Liu, Lianqing. editor. (orcid)

(7)

Ouyang, Xiaoping. editor.

(7)

Schwiegelshohn, Uwe. editor.

(7)

Wang, Zhiyong. editor.

(7)

Waśniewski, Jerzy. editor.

(7)

Yang, Geng. editor.

(7)

Yang, Huayong. editor.

(7)

Yin, Zhouping. editor.

(7)

Zou, Jun. editor.

(7)

Cannataro, Mario. editor.

(6)

Frachtenberg, Eitan. editor.

(6)

Guo, Minyi. editor.

(6)

Li, Kenli. editor.

(6)

Martino, Beniamino. editor.

(6)

Ricci, Laura. editor.

(6)

Stojmenovic, Ivan. editor.

(6)

Wang, Guojun. editor.

(6)

Weidendorfer, Josef. editor.

(6)

Cirne, Walfredo. editor.

(5)

Costan, Alexandru. editor.

(5)

Desai, Narayan. editor.

(5)

John Wiley & Sons, publisher.

(5)

Li, Jin. editor.

(5)

Martinez, Gregorio. editor.

(5)

Träff, Jesper Larsson. editor.

(5)

Vaidya, Jaideep. editor.

(5)

Yang, Laurence T. editor.

(5)

Zhou, Wanlei. editor.

(5)

Bruckmann, Tobias. editor.

(4)

Cao, Jiannong. editor.

(4)

Danelutto, Marco. editor.

(4)

D’Ambra, Pasqua. editor.

(4)

Gogu, Grigore. author.

(4)

Hsu, Ching-Hsien. editor.

(4)

Hunold, Sascha. editor.

(4)

Jin, Hai. editor.

(4)

Keller, Rainer. editor.

(4)

Klusáček, Dalibor. editor.

(4)

Kołodziej, Joanna. editor.

(4)

Machado, Penousal. editor.

(4)

Namyst, Raymond. editor.

(4)

Pan, Yi. editor.

(4)

Pott, Andreas. editor.

(4)

Roman, Jean. editor.

(4)

Scarano, Vittorio. editor.

(4)

Streit, Achim. editor.

(4)

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

(4)

Xiang, Yang. editor.

(4)

Zomaya, Albert Y.

(4)

Angelov, Plamen. editor.

(3)

Barolli, Leonard. editor.

(3)

Bougé, Luc. editor.

(3)

Buyya, Rajkumar, 1970-

(3)

Chao, Han-Chieh. editor.

(3)

He, Matthew. editor.

(3)

Hobbs, Michael. editor.

(3)

Hu, Zhengbing. editor.

(3)

Iliadis, Lazaros. editor. (orcid)

(3)

Jayne, Chrisina. editor.

(3)

Kacsuk, Péter. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Knüpfer, Andreas. editor.

(3)

Kramer, David. editor.

(3)

Kranzlmüller, Dieter. editor.

(3)

Lankes, Stefan. editor.

(3)

Nagel, Wolfgang E. editor.

(3)

Papaleonidas, Antonios. editor. (orcid)

(3)

Park, James J. (Jong Hyuk). editor.

(3)

(3)

Rauber, Thomas. author.

(3)

Rudolph, Günter. editor.

(3)

Rumelhart, David E.

(3)

Rünger, Gudula. author.

(3)

Stojmenović, Ivan.

(3)

Talia, Domenico. editor.

(3)

University of California, San Diego. PDP Research Group.

(3)

Wasniewski, Jerzy. editor.

(3)

Weiss, Jan-Philipp. editor.

(3)

Yeo, Sang-Soo. editor.

(3)

Abd-El-Barr, Mostafa, 1950-

(2)

(2)

(2)

Anderson, James, 1908-

(2)

Apduhan, Bernady O. editor.

(2)

Atallah, Mikhail J.

(2)

Auger, Anne. editor.

(2)

Baboulin, Marc. editor.

(2)

Bakar, Sakhinah Abu, 1982-

(2)

Bampis, Evripidis. editor.

(2)

Belloum, Adam. editor.

(2)

Benkner, Siegfried. editor.

(2)

Bhatele, Abhinav, editor.

(2)

Blanton, Marina.

(2)

Bosilca, George. editor.

(2)

Boukerche, Azzedine.

(2)

Breitbart, Jens. editor.

(2)

Briot, Sébastien. author.

(2)

Cambria, Erik. editor.

(2)

Cao, Jiuwen. editor.

(2)

Cao, Tru. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Ceccarelli, Marco. editor.

(2)

Cereijido, Marcelino.

(2)

Chapman, Barbara M. editor.

(2)

Cheung, David. editor.

(2)

Cleophas, Ton J. author.

(2)

Coello, Carlos A. Coello. editor.

(2)

Coello, Carlos Coello. editor.

(2)

Coker, A. Kayode, author.

(2)

Collins, Christine E. (Christine Elaine)

(2)

Cotta, Carlos. editor.

(2)

Cutello, Vincenzo. editor.

(2)

Cuzzocrea, Alfredo. editor.

(2)

Dash, Subhransu Sekhar. editor.

(2)

(2)

Deb, Kalyanmoy. editor.

(2)

Deelman, Ewa. editor.

(2)

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

(2)

Dimov, Ivan. editor.

(2)

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

(2)

(2)

El-Rewini, Hesham.

(2)

Fonseca, Carlos M. editor.

(2)

Forrest, Stephanie. editor.

(2)

Forsell, Martti. editor.

(2)

Fortino, Giancarlo. editor.

(2)

Gaspar-Cunha, António. editor.

(2)

Gaudiot, Jean-Luc. editor.

(2)

Gerndt, Michael. editor.

(2)

Gracia, José. editor.

(2)

Gropp, William, author.

(2)

Guarracino, Mario. editor.

(2)

Guo, Hua. editor.

(2)

Handa, Hisashi. editor.

(2)

Henggeler Antunes, Carlos. editor.

(2)

Ho, Tu-Bao. editor.

(2)

IEEE Xplore (Online Service), distributor.

(2)

Ishibuchi, Hisao. editor.

(2)

Jónasson, Kristján. editor.

(2)

(2)

Kacprzyk, Janusz. editor.

(2)

Kale, Laxmikant V., editor.

(2)

Kasahara, Hironori. editor.

(2)

Kirovski, Darko.

(2)

Kleinjohann, Bernd. editor.

(2)

Kleinjohann, Lisa. editor.

(2)

Konar, Amit, author.

(2)

Korytkowski, Marcin. editor.

(2)

Krammer, Bettina. editor.

(2)

Kruse, Carola. editor.

(2)

(2)

Lastovetsky, Alexey, 1957-

(2)

Law, Oscar Ming Kin, author.

(2)

Le, Dac-Nhuong, 1983- editor.

(2)

Lehner, Wolfgang. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Qinchuan. author.

(2)

Li, Xiaoming. editor.

(2)

Li, Zhiyang. editor.

(2)

Lim, Ee-Peng. editor.

(2)

Lin, Hai-Xiang. editor.

(2)

Liu, Albert Chun-Chen, author.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

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

(2)

(2)

MIT Press, publisher.

(2)

Man, Zhihong. editor.

(2)

Mao, Kezhi. editor.

(2)

McClelland, James L.

(2)

Mencagli, Gabriele. editor.

(2)

Meyer, Fernand, 1952- author.

(2)

Meyer, Norbert. editor.

(2)

Min, Geyong. editor.

(2)

Mohr, Bernd. editor.

(2)

(2)

Métais, Elisabeth. editor.

(2)

Müller, Matthias S. editor.

(2)

Nakano, Koji. editor.

(2)

Nguyen, Ngoc Thanh. editor.

(2)

Nicosia, Giuseppe. editor.

(2)

Németh, Zsolt. editor.

(2)

Okada, Masafumi. editor.

(2)

Ong, Yew-Soon. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Paquete, Luís. editor.

(2)

Tümünü genişlet

Dil

(912)

(5)

Multiple languages

(4)

(2)

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(129)

(116)

(51)

(48)

(46)

(41)

(41)

(41)

(40)

(38)

(38)

(37)

(37)

(30)

(26)

(22)

(16)

(16)

(16)

(16)

(15)

(15)

(13)

(11)

(9)

(8)

(6)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(144)

Software engineering.

(109)

Electronic books.

(103)

Artificial intelligence.

(88)

Computer software.

(80)

Computer Communication Networks.

(58)

Parallel processing (Electronic computers)

(54)

Operating systems (Computers).

(48)

Computer network architectures.

(42)

Electronic data processing.

(39)

Computational intelligence.

(37)

TECHNOLOGY & ENGINEERING.

(35)

(34)

Computer system performance.

(26)

Parallel programming (Computer science)

(26)

Electronic data processing -- Distributed processing.

(24)

(24)

(20)

(19)

Computer simulation.

(19)

Parallel processing (Electronic computers) -- Congresses.

(19)

Computer science -- Mathematics.

(17)

Control engineering.

(17)

Control, Robotics, Automation.

(16)

(16)

(15)

Engineering mathematics.

(15)

Fluid dynamics -- Data processing -- Congresses.

(15)

Information systems.

(15)

Information theory.

(15)

Mechanics, Applied.

(15)

(14)

Telecommunication.

(14)

(13)

COMPUTERS / Data Processing / Parallel Processing

(13)

Data structures (Computer science).

(13)

Database management.

(13)

Communications Engineering, Networks.

(12)

Computational complexity.

(12)

High performance computing.

(12)

Mechanical engineering.

(12)

Engineering design.

(11)

Bioinformatics.

(10)

Signal processing.

(10)

Biomedical engineering.

(9)

Computer networks.

(9)

(9)

Supercomputers -- Congresses.

(9)

(9)

ÇOKLU İŞLEM (ELEKTRONİK BİLGİSAYARLAR)

(9)

Algorithm Analysis and Problem Complexity.

(8)

Computer architecture.

(8)

Computer organization.

(8)

(8)

(8)

Signal, Speech and Image Processing.

(8)

Application software.

(7)

Biomedical Engineering and Bioengineering.

(7)

Cloud computing.

(7)

Computer communication systems.

(7)

Computer interfaces.

(7)

Computer security.

(7)

Computer vision.

(7)

Engineering -- Data processing.

(7)

Machinery and Machine Elements.

(7)

(7)

Multibody Systems and Mechanical Vibrations.

(7)

Multibody systems.

(7)

Parallel computers.

(7)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(7)

Computer algorithms.

(6)

Computer engineering.

(6)

Computer hardware.

(6)

Computer science—Mathematics.

(6)

Electrical engineering.

(6)

Information storage and retrieval systems.

(6)

Machine learning.

(6)

(6)

Microprocessors.

(6)

Multimedia systems.

(6)

Reliability (Engineering)

(6)

Signals & Signal Processing.

(6)

Architecture, Computer.

(5)

Combinatorial chemistry.

(5)

Computer networks .

(5)

Electric power systems.

(5)

Electronic circuits.

(5)

Embedded computer systems.

(5)

(5)

(5)

Industrial engineering.

(5)

Information Systems.

(5)

Intelligence artificielle.

(5)

Multiprocessors.

(5)

Numerical analysis.

(5)

Operating Systems.

(5)

Parallel algorithms.

(5)

Réseaux électriques (Énergie)

(5)

System Performance and Evaluation.

(5)

TECHNOLOGY & ENGINEERING -- Mechanical.

(5)

Wireless communication systems.

(5)

(4)

Automatic control.

(4)

(4)

(4)

Computational grids (Computer systems)

(4)

Computer Systems Organization and Communication Networks.

(4)

Computer system failures.

(4)

Data protection.

(4)

Drug development.

(4)

Electromagnetism.

(4)

Electronic Circuits and Systems.

(4)

Embedded computer systems -- Programming.

(4)

Engineering Mechanics.

(4)

Image processing.

(4)

Industrial and Production Engineering.

(4)

Intelligence (AI) & Semantics.

(4)

Livres numériques.

(4)

(4)

Mathematical optimization.

(4)

(4)

Nanotechnology.

(4)

Numerical analysis -- Data processing.

(4)

Operations research.

(4)

Optical pattern recognition.

(4)

Parallel computers -- Programming.

(4)

Parallelverarbeitung.

(4)

Processor Architectures.

(4)

Production engineering.

(4)

Programmable controllers.

(4)

Programming Languages, Compilers, Interpreters.

(4)

Real-time data processing.

(4)

Renewable energy sources

(4)

Renewable energy sources.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Solid Mechanics.

(4)

(4)

TECHNOLOGY & ENGINEERING -- Reference.

(4)

Traitement réparti.

(4)

(4)

Énergies renouvelables.

(4)

Analyse de systèmes.

(3)

Applied Dynamical Systems.

(3)

Apprentissage automatique.

(3)

Artificial Intelligence (incl. Robotics).

(3)

Artificial intelligence

(3)

BUSINESS & ECONOMICS -- Industrial Management.

(3)

BUSINESS & ECONOMICS -- Management Science.

(3)

BUSINESS & ECONOMICS -- Management.

(3)

BUSINESS & ECONOMICS -- Organizational Behavior.

(3)

Beowulf clusters (Computer systems)

(3)

C++ (Computer program language)

(3)

C++ (Langage de programmation)

(3)

COMPUTERS -- Hardware -- General.

(3)

COMPUTERS -- Machine Theory.

(3)

COMPUTERS / Computer Graphics / Game Programming & Design

(3)

Cloud Computing.

(3)

(3)

Computational Intelligence.

(3)

Computational Science and Engineering.

(3)

Computer Science.

(3)

Computer graphics.

(3)

Computer input-output equipment.

(3)

Computer programming.

(3)

Computer software -- Development.

(3)

(3)

Data Engineering.

(3)

Data Mining and Knowledge Discovery.

(3)

Drafting & Mechanical Drawing.

(3)

(3)

Electric power systems

(3)

Electric power systems -- Control.

(3)

Electronic Circuits

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Heterogeneous computing.

(3)

Human information processing.

(3)

Hybrid electric vehicles.

(3)

Industrial Automation.

(3)

Industrial Engineering.

(3)

Information technology -- Management.

(3)

Intelligence informatique.

(3)

MEDICAL -- Pharmacology.

(3)

(3)

Magnetic resonance imaging.

(3)

Mathematical physics.

(3)

Mechanics, applied.

(3)

Memory management (Computer science).

(3)

Microcontrollers -- Programming.

(3)

(3)

Mobile & Wireless Communications.

(3)

Mobile communication systems.

(3)

Motion pictures.

(3)

Neural Networks.

(3)

Neural networks (Computer science)

(3)

(3)

Nonlinear theories.

(3)

Numeric Computing.

(3)

Oracle (Computer file)

(3)

Parallel processing (Electronic computers).

(3)

Parallel programs (Computer programs)

(3)

Tümünü genişlet

Materyal Türü

Tümünü genişlet

Shelf Location

Beytepe Art Collection

Beytepe Genel Koleksiyon

Beytepe Görsel-İşitsel Koleksiyonu

Beytepe Süreli Yayın Koleksiyonu

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Karger E-Kitap Koleksiyonu

Konservatuvar Genel Koleksiyon

Konservatuvar Görsel-İşitsel Koleksiyonu

Sağlık Bilimleri CD-ROM Koleksiyonu

Sağlık Bilimleri Genel Koleksiyon

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Hukuk Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri 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

934 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 39 40 41 42 43 .. 78

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.

Smart Grid and Internet of Things 6th EAI International Conference, SGIoT 2022, TaiChung, Taiwan, November 19-20, 2022, Proceedings için kapak resmi

Smart Grid and Internet of Things 6th EAI International Conference, SGIoT 2022, TaiChung, Taiwan, November 19-20, 2022, Proceedings

Smart Grid and Internet of Things 6th EAI International Conference, SGIoT 2022, TaiChung, Taiwan, November 19-20, 2022, Proceedings

Yazar

Deng, Der-Jiunn. editor. Chao, Han-Chieh. editor. Chen, Jyh-Cheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-31275-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Machine Learning and Mechanics Based Soft Computing Applications için kapak resmi

Machine Learning and Mechanics Based Soft Computing Applications

Machine Learning and Mechanics Based Soft Computing Applications

Yazar

Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6450-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings için kapak resmi

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

Yazar

Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42941-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V için kapak resmi

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Yazar

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1642-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers için kapak resmi

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

Yazar

Pesado, Patricia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34147-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30826-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30829-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30823-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings için kapak resmi

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Yazar

Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-32157-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings için kapak resmi

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

Yazar

Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-32041-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings için kapak resmi

Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

Yazar

Li, Minming. editor. Sun, Xiaoming. editor. Wu, Xiaowei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-39344-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings için kapak resmi

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Yazar

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-27481-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 39 40 41 42 43 .. 78

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11