Search Results for Compilers (Computer programs)

|

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ış:

+

Shelf Location: 1:SPRINGER

Yazar

SpringerLink (Online service)

(215)

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)

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)

Ingólfsdóttir, Anna. editor.

(1)

Tümünü genişlet

Dil

(215)

Yayın Yılı

-

(89)

(72)

(28)

(13)

(13)

Konu

Compilers (Computer programs).

(215)

Compilers and Interpreters.

(215)

Software engineering.

(148)

Computer science.

(115)

Computer Science Logic and Foundations of Programming.

(98)

Formal Languages and Automata Theory.

(79)

Machine theory.

(79)

Computer programming.

(77)

Programming Techniques.

(77)

Artificial intelligence.

(53)

Application software.

(34)

Computer and Information Systems Applications.

(34)

(33)

Computer networks .

(32)

Theory of Computation.

(31)

Computer Modelling.

(20)

Computer simulation.

(20)

Computer Communication Networks.

(18)

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)

(15)

Computer Engineering and Networks.

(14)

Computer engineering.

(14)

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.

(7)

Data protection.

(7)

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)

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)

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 statistics.

(2)

Microsoft .NET Framework.

(2)

Microsoft software.

(2)

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Probability and Statistics in Computer Science.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

(1)

Apple computer.

(1)

(1)

C++ (Computer program language).

(1)

(1)

Communications Engineering, Networks.

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

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Game Development.

(1)

Information retrieval.

(1)

Interactive multimedia.

(1)

(1)

Logic programming.

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Engineering Applications.

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

Telecommunication.

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

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

215 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 18

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.

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:

26.

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings için kapak resmi

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0617-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Present and Ulterior Software Engineering için kapak resmi

Present and Ulterior Software Engineering

Present and Ulterior Software Engineering

Yazar

Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67425-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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:

29.

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:

30.

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:

31.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings için kapak resmi

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Computer Graphics for Java Programmers için kapak resmi

Computer Graphics for Java Programmers

Computer Graphics for Java Programmers

Yazar

Ammeraal, Leen. author. Zhang, Kang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Programming with Scala Language Exploration için kapak resmi

Programming with Scala Language Exploration

Programming with Scala Language Exploration

Yazar

Upadhyaya, Bhim P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings için kapak resmi

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Yazar

Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings için kapak resmi

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Yazar

Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57288-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 .. 18

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11