Search Results for Computer programs.

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

Daraltılmış:

+

Konu: Compilers (Computer programs).

Yazar

SpringerLink (Online service)

(217)

Lopez, Cesar. author.

(11)

Legay, Axel. editor.

(4)

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

(4)

Artho, Cyrille. editor.

(3)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

Cardoso, Jorge. editor.

(2)

De Nicola, Rocco. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(2)

Liu, Shaoying. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Mazzara, Manuel. editor.

(2)

Mogensen, Torben Ægidius. author.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Perner, Petra. editor.

(2)

Proença, José. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Sirjani, Marjan. editor.

(2)

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

(2)

Sutherland, Bruce. author.

(2)

Tonetta, Stefano. editor.

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Weirich, Stephanie. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

de Supinski, Bronis R. editor.

(2)

van Sinderen, Marten. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiken, Alex. author.

(1)

Alagić, Suad. author.

(1)

Alkhalaf, Muath. author.

(1)

Altmann, Jörn. editor.

(1)

Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502

(1)

Ammeraal, Leen. author.

(1)

An, Bo. editor.

(1)

Anjorin, Anthony. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Arbel, Eli. editor.

(1)

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999

(1)

Babar, Ali. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bader, Markus. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Ballmann, Bastian. author.

(1)

Banerjee, Utpal. author.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barrett, Clark. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Bañares, José Ángel. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Beckner, Mark. author.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bernardo, Marco. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bertogna, Marko. editor.

(1)

Bhardwaj, Vikas. author.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Bhiri, Sami. editor.

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogdan, Cristian. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Borruso, Giuseppe. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bougé, Luc. editor.

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bubel, Richard. editor.

(1)

Buhr, Peter A. author.

(1)

Bultan, Tevfik. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Butler, Michael. editor.

(1)

Cabaleiro, José C. editor.

(1)

Cabello, Enrique. editor.

(1)

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439

(1)

Carli, Rachele. editor. (orcid)0000-0002-8689-285X

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charoy, François. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chekanov, Sergei V. author.

(1)

Chiba, Shigeru. editor.

(1)

Chopra, Amit K. editor.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Ciatto, Giovanni. editor. (orcid)0000-0002-1841-8996

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Corchado, Emilio. editor.

(1)

Cornélio, Márcio. editor.

(1)

Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Cranefield, Stephen. editor.

(1)

Criswell, John. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979

(1)

D'Souza, Deepak. editor.

(1)

Dahnken, Christopher. author.

(1)

Dang, Tran Khanh. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Desfray, Philippe. editor.

(1)

Devitt, Simon. editor.

(1)

Ding, Chen. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Dori, Dov. author.

(1)

Dou, Yong. editor.

(1)

Draheim, Dirk. author.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Floriana. editor.

(1)

Eugster, Patrick. editor.

(1)

Falcone, Yliès. editor.

(1)

Fenton, Steve. author.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Forbrig, Peter. editor.

(1)

Franconi, Enrico. editor.

(1)

Främling, Kary. editor. (orcid)0000-0002-8078-5172

(1)

Furia, Carlo A. editor.

(1)

Gardner, Scott. author.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Gavanelli, Marco. editor.

(1)

Gaál, Bence. editor. (orcid)0000-0001-8771-7140

(1)

Geeraerts, Gilles. editor.

(1)

Gervasi, Osvaldo. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghatak, Abhijit. author.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Grabowski, Jens. editor.

(1)

Grätzer, George. author. (orcid)0000-0002-5149-3883

(1)

Guerra, Esther. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gulliksen, Jan. editor.

(1)

Gupta, Abhishek. author.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hasan, Osman. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Heras, Dora. editor.

(1)

Herbold, Steffen. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hirayama, Katsutoshi. editor.

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Horton, Ivor. author.

(1)

Hulstijn, Joris. editor. (orcid)0000-0002-5476-1062

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Imam, Neena. editor.

(1)

Tümünü genişlet

Dil

(217)

Yayın Yılı

-

(89)

(72)

(28)

(13)

(13)

(2)

Tümünü genişlet

Konu

Compilers and Interpreters.

(217)

Software engineering.

(149)

Computer science.

(115)

Computer Science Logic and Foundations of Programming.

(98)

Formal Languages and Automata Theory.

(79)

Machine theory.

(79)

Computer programming.

(78)

Programming Techniques.

(78)

Artificial intelligence.

(53)

Application software.

(34)

Computer and Information Systems Applications.

(34)

(33)

Computer networks .

(33)

Theory of Computation.

(31)

Computer Modelling.

(20)

Computer simulation.

(20)

Computer Communication Networks.

(19)

Computers, Special purpose.

(18)

Special Purpose and Application-Based Systems.

(18)

Electronic data processing -- Management.

(16)

Electronic digital computers -- Evaluation.

(16)

(16)

System Performance and Evaluation.

(16)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

(15)

Computer science -- Mathematics.

(11)

Computer software.

(11)

Mathematical Software.

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

(9)

The Computing Profession.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Data and Information Security.

(8)

Data protection.

(8)

Information theory.

(7)

Computer architecture.

(6)

(6)

Programming Language.

(6)

Programming languages (Electronic computers).

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Microprocessors.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Processor Architectures.

(5)

Coding and Information Theory.

(4)

(4)

Computer Application in Administrative Data Processing.

(3)

Computer-Aided Engineering (CAD, CAE) and Design.

(3)

Computer-aided engineering.

(3)

Computing Milieux.

(3)

Control Structures and Microprogramming.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Design and Analysis of Algorithms.

(3)

Information technology -- Management.

(3)

Microprogramming .

(3)

Models of Computation.

(3)

Artificial intelligence -- Data processing.

(2)

Automated Pattern Recognition.

(2)

Communications Engineering, Networks.

(2)

Computer Hardware.

(2)

Computer graphics.

(2)

Computer input-output equipment.

(2)

Computers and Education.

(2)

(2)

(2)

(2)

Data encryption (Computer science).

(2)

Education -- Data processing.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

Hardware Performance and Reliability.

(2)

Human-computer interaction.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Input/Output and Data Communications.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical statistics.

(2)

Microsoft .NET Framework.

(2)

Microsoft software.

(2)

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Probability and Statistics in Computer Science.

(2)

Telecommunication.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

(1)

Apple computer.

(1)

(1)

C++ (Computer program language).

(1)

(1)

Computer Memory Structure.

(1)

Computer games -- Programming.

(1)

Computer hardware description languages.

(1)

Computer industry.

(1)

Computer storage devices.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Data Storage Representation.

(1)

Digital Education and Educational Technology.

(1)

Educational technology.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Game Development.

(1)

Information retrieval.

(1)

Interactive multimedia.

(1)

(1)

Logic programming.

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Mechanics, Applied.

(1)

(1)

Memory management (Computer science).

(1)

Multiagent systems.

(1)

Multimedia systems.

(1)

(1)

Open source software.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Register-Transfer-Level Implementation.

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Solid Mechanics.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

The Computer Industry.

(1)

Theory and Algorithms for Application Domains.

(1)

e-Commerce and e-Business.

(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ç

217 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 19

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.

25.

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings için kapak resmi

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Yazar

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers için kapak resmi

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Yazar

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Yazar

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51046-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings için kapak resmi

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Yazar

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings için kapak resmi

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Yazar

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68690-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings için kapak resmi

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71237-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

String Analysis for Software Verification and Security için kapak resmi

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68670-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics için kapak resmi

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55198-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings için kapak resmi

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66107-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings için kapak resmi

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Yazar

Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-70004-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers için kapak resmi

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Yazar

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 19

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11