Search Results for 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ış:

+

Konu: Computer programming.

Yazar

SpringerLink (Online service)

(85)

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

(2)

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

(2)

Perner, Petra. editor.

(2)

Sirjani, Marjan. editor.

(2)

Abelló, Alberto. editor.

(1)

Abelson, Harold.

(1)

Aichernig, Bernhard K. editor.

(1)

Al-Malah, Kamal I. M., author.

(1)

Anjorin, Anthony. editor.

(1)

Antonakos, James L.

(1)

Artho, Cyrille. editor.

(1)

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

(1)

Barrett, Clark. editor.

(1)

Beckner, Mark. author.

(1)

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

(1)

Beyon, Jeffrey Y.

(1)

Bhardwaj, Vikas. author.

(1)

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

(1)

Blazy, Sandrine. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

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

(1)

Braga, Christiano. editor.

(1)

Buhr, Peter A. author.

(1)

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

(1)

Butenhof, David R.

(1)

Cabaleiro, José C. editor.

(1)

Castor, Fernando. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Corchado, Emilio. editor.

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Criswell, John. editor.

(1)

Crotts, Joshua. author. (orcid)0000-0002-7513-5618

(1)

Cunha, Jácome. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

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

(1)

Ding, Chen. editor.

(1)

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

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

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

(1)

Espinoza, Huáscar. editor.

(1)

Falcone, Yliès. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Franconi, Enrico. editor.

(1)

(1)

Furia, Carlo A. editor.

(1)

Gardner, Scott. author.

(1)

Gavanelli, Marco. editor.

(1)

Ghatak, Abhijit. author.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

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

(1)

Gupta, Abhishek. author.

(1)

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

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

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

(1)

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

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hubbard, Steve. author.

(1)

(1)

IEEE Xplore (Online Service), distributor.

(1)

Imam, Neena. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jackson, Wallace. author.

(1)

Jacquet, Jean-Marie. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Kahsai, Temesghen. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

King, Andy. editor.

(1)

Kneusel, Ronald T. author.

(1)

Kontchakov, Roman. editor.

(1)

Kosiol, Jens. editor. (orcid)0000-0003-4733-2777

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Lacey, Nichola, author.

(1)

Lahiri, Shuvendu. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lee, Kent D. author.

(1)

Legay, Axel. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lindley, Sam. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Liu, Yu David. editor.

(1)

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

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lucanu, Dorel. editor.

(1)

Lämmel, Ralf. editor.

(1)

Lönn, Henrik. editor.

(1)

MIT Press, publisher.

(1)

Ma, Hui. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maloney, Ross J. author.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Massink, Mieke. editor.

(1)

Maurer, Christian. author.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

McBride, Conor. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Meyer, Bertrand. editor.

(1)

Mili, Ali. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Mueller, Frank. editor.

(1)

Müller, Matthias S. editor.

(1)

Nalon, Cláudia. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

Ouhammou, Yassine. editor.

(1)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(1)

Peled, Doron. editor.

(1)

Pena, Tomás F. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Plump, Detlef. editor.

(1)

Pophale, Swaroop. editor.

(1)

Popow, Christian. editor. (orcid)0000-0002-0496-1453

(1)

Pozrikidis, C. author.

(1)

Proença, José. editor.

(1)

Quintián, Héctor. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reas, Casey, author.

(1)

Reger, Giles. editor.

(1)

Reppy, John. editor.

(1)

Reps, Thomas W. (Thomas William)

(1)

Rivera, Francisco F. editor.

(1)

Roman, Dumitru. editor.

(1)

Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825

(1)

Sadri, Fariba. editor.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Saraiva, João. editor.

(1)

Sarro, Federica. editor.

(1)

Schmidt, Renate A. editor.

(1)

Serrano Mena, Alejandro. author.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Shalf, John. editor.

(1)

Shen, Xipeng. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sun, Meng. editor.

(1)

Sussman, Gerald Jay.

(1)

Sussman, Julie.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Tahar, Sofiène. editor.

(1)

Taufer, Michela. editor.

(1)

Team, FreeWheel Biz-UI. author.

(1)

Terboven, Christian. editor.

(1)

Thiemann, Peter. editor.

(1)

(1)

Tichy, Matthias. editor. (orcid)0000-0002-9067-3748

(1)

Tkachuk, Oksana. editor.

(1)

Torra, Vicenç. author.

(1)

Trinder, Phil. editor.

(1)

Trystram, Denis. editor.

(1)

Tuck, James. editor.

(1)

Urraca, Rubén. editor.

(1)

Van Woensel, William. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Werner, Claudia. editor.

(1)

Whiteley, Jonathan. author.

(1)

Wu, Peng. editor.

(1)

Wąsowski, Andrzej. editor.

(1)

Yang, Hongseok. editor.

(1)

Yokota, Rio. editor.

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Yue. author.

(1)

Zhang, Zili. editor.

(1)

Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016

(1)

de Lara, Juan. editor.

(1)

de Supinski, Bronis R. editor.

(1)

ten Teije, Annette. editor.

(1)

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Ölveczky, Peter Csaba. editor.

(1)

Tümünü genişlet

Dil

(94)

Yayın Yılı

-

(36)

(27)

(9)

(8)

(6)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Programming Techniques.

(85)

Compilers (Computer programs).

(78)

Compilers and Interpreters.

(78)

Software engineering.

(56)

Computer science.

(42)

Computer Science Logic and Foundations of Programming.

(34)

Formal Languages and Automata Theory.

(29)

Machine theory.

(29)

Artificial intelligence.

(22)

(21)

Application software.

(11)

Computer and Information Systems Applications.

(11)

Electronic digital computers -- Evaluation.

(10)

System Performance and Evaluation.

(10)

Theory of Computation.

(10)

(7)

Computer System Implementation.

(6)

Computer networks .

(6)

Computer systems.

(6)

Computer Communication Networks.

(5)

Computer science -- Mathematics.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Computer Modelling.

(4)

Computer programs -- Testing.

(4)

Computer simulation.

(4)

Data Structures and Information Theory.

(4)

Data structures (Computer science).

(4)

Design and Analysis of Algorithms.

(4)

Discrete Mathematics in Computer Science.

(4)

Discrete mathematics.

(4)

Information theory.

(4)

(4)

The Computing Profession.

(4)

Computer Application in Administrative Data Processing.

(3)

Computers, Special purpose.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Electronic data processing -- Management.

(3)

(3)

Information technology -- Management.

(3)

Software Testing.

(3)

Special Purpose and Application-Based Systems.

(3)

Automated Pattern Recognition.

(2)

Computer architecture.

(2)

Computer graphics.

(2)

Database management.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

(2)

Mathematical and Computational Engineering Applications.

(2)

Microprocessors.

(2)

Models of Computation.

(2)

Pattern recognition systems.

(2)

Processor Architectures.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Analyse numérique -- Informatique.

(1)

(1)

Apple computer.

(1)

Apprentissage automatique.

(1)

Arithmetic and Logic Structures.

(1)

Art -- Data processing.

(1)

Art and technology.

(1)

Artificial intelligence -- Data processing.

(1)

Bilgisayar programlama.

(1)

Bilgisayar programları -- Test etme.

(1)

BİLGİSAYAR GRAFİKLERİ.

(1)

BİLGİSAYAR PROGRAMLAMA.

(1)

Cloud Computing.

(1)

Communications Engineering, Networks.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Engineering and Networks.

(1)

Computer Hardware.

(1)

Computer arithmetic and logic units.

(1)

Computer engineering.

(1)

Computer games -- Programming.

(1)

Computer graphics -- Computer programs.

(1)

Computer input-output equipment.

(1)

Computer programming

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Continuum mechanics.

(1)

Control Structures and Microprogramming.

(1)

(1)

Data and Information Security.

(1)

Data protection.

(1)

Digital art -- Computer programs.

(1)

Education -- Data processing.

(1)

Engineering Fluid Dynamics.

(1)

Fluid mechanics.

(1)

Game Development.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Input/Output and Data Communications.

(1)

Interactive computer systems.

(1)

Java (Bilgisayar program dili)

(1)

Java (Computer program language)

(1)

Java (Computer program language).

(1)

(1)

LABORATUVARLAR -- BİLGİSAYAR PROGRAMLARI.

(1)

LISP (Computer program language)

(1)

(1)

(1)

Laboratories -- Computer programs.

(1)

(1)

(1)

Machine learning

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical physics.

(1)

Mathematics -- Data processing.

(1)

Microprogramming .

(1)

Microsoft .NET Framework.

(1)

Microsoft software.

(1)

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Numerical analysis -- Computer programs

(1)

Numerical analysis -- Computer programs.

(1)

Numerical analysis -- Data processing

(1)

Numerical analysis -- Data processing.

(1)

Numerical analysis.

(1)

(1)

Open source software.

(1)

POSIX (Computer software standard)

(1)

Programmation (Informatique)

(1)

Programmeren (computers)

(1)

Programmierung.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Python (Computer program language)

(1)

Python (Computer program language).

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Telecommunication.

(1)

Text editors (Computer programs)

(1)

Theoretical, Mathematical and Computational Physics.

(1)

Threads (Computer programs)

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

calculateur electronique.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe 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

94 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 8

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.

13.

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:

14.

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:

15.

Cloud-Native Application Architecture Microservice Development Best Practice için kapak resmi

Cloud-Native Application Architecture Microservice Development Best Practice

Cloud-Native Application Architecture Microservice Development Best Practice

Yazar

Team, FreeWheel Biz-UI. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-9782-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Learning Java A Test-Driven Approach için kapak resmi

Learning Java A Test-Driven Approach

Learning Java A Test-Driven Approach

Yazar

Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66638-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Python by example : learning to program in 150 challenges için kapak resmi

Python by example : learning to program in 150 challenges

Python by example : learning to program in 150 challenges

Yazar

Lacey, Nichola, author.

Yer Numarası

QA76.73 .P98 L33 2019

Elektronik Erişim

https://doi.org/10.1017/9781108591942

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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:

19.

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:

20.

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54434-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Fluid Dynamics Theory, Computation, and Numerical Simulation için kapak resmi

Fluid Dynamics Theory, Computation, and Numerical Simulation

Fluid Dynamics Theory, Computation, and Numerical Simulation

Yazar

Pozrikidis, C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4899-7991-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers için kapak resmi

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Machine Learning with R için kapak resmi

Machine Learning with R

Machine Learning with R

Yazar

Ghatak, Abhijit. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6808-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11