Search Results for Computer programming

|

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)

(530)

Wiley InterScience (Online service)

(10)

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

(9)

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

(9)

Taylor and Francis.

(6)

Attaway, Stormy.

(5)

IEEE Xplore (Online Service), distributor.

(5)

MIT Press, publisher.

(5)

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

(4)

Darche, Philippe.

(4)

Millington, Ian.

(4)

(3)

Artho, Cyrille. editor.

(3)

Bernardo, Marco. editor.

(3)

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

(3)

(3)

Craddock, David L., author.

(3)

Douglass, Bruce Powel.

(3)

Geroimenko, Vladimir. editor.

(3)

Hutchence, Kai, author.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Johnsen, Einar Broch. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Kent, Jeffrey A. (Jeffrey Alan), 1952-

(3)

Köseoğlu, Kerem.

(3)

Legay, Axel. editor.

(3)

(3)

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

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Matuszek, David L., author.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

O'Regan, Gerard. author.

(3)

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

(3)

Pai, G. A. Vijayalakshmi, author.

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Schildt, Herbert.

(3)

Schmidt, Renate A. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Sheldon, Lee, author.

(3)

Spivey, Dwight.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Ursyn, Anna, 1955- author.

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Ölveczky, Peter Csaba. editor.

(3)

Abbott, Doug, 1944-

(2)

Abelson, Harold.

(2)

Agha, Gul. editor.

(2)

Anwar, Sajid. editor. (orcid)0000-0003-3393-1656

(2)

Arevalo, Kassandra, author.

(2)

Baillie-de Byl, Penny.

(2)

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

(2)

Bazzan, Ana. editor.

(2)

(2)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bestaoui Sebbane, Yasmina, author.

(2)

Bhimavarapu, Usharani, author.

(2)

Bitter, Rick., author.

(2)

(2)

Bouajjani, Ahmed. editor.

(2)

Brannan, James A.

(2)

Butler, Stuart, author.

(2)

Bycer, Joshua, author.

(2)

(2)

Cady, Field, 1984- author.

(2)

Cagnoni, Stefano, 1961-

(2)

Canton, Maria P.

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Dalıcı, Rahmi

(2)

De Nicola, Rocco. editor.

(2)

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

(2)

Deitel, Harvey M., 1945- author.

(2)

Diaz-Herrera, Jorge L., 1950- editor.

(2)

Dillon, Roberto, editor.

(2)

Dongarra, Jack. editor.

(2)

Draheim, Dirk. author.

(2)

Eden, A. H., 1967-

(2)

Egges, Arjan. author.

(2)

Engelbrecht, Andries P.

(2)

Farhaoui, Yousef. editor.

(2)

Farzan, Azadeh. editor.

(2)

Felleisen, Matthias.

(2)

(2)

Filipe, Joaquim. editor.

(2)

Finley, Toiya Kristen, author.

(2)

Fränzle, Martin. editor.

(2)

Fullerton, Tracy, author.

(2)

Fullerton, Tracy.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

Garcia Diaz, Vicente. editor.

(2)

Geshi, Masaaki. editor.

(2)

Ghatak, Abhijit. author.

(2)

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

(2)

Gonzalez, Teofilo F., editor.

(2)

Gropp, William, author.

(2)

Guiochet, Jérémie. editor.

(2)

Hageback, Niklas, author.

(2)

Hemanth, Jude, author.

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

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

(2)

Hunt, John. author.

(2)

Hähnle, Reiner. editor.

(2)

IGI Global, publisher.

(2)

Iuppa, Nicholas V.

(2)

Jackson, Wallace. author.

(2)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(2)

John Wiley & Sons, publisher.

(2)

Jordan, Larry, 1950-

(2)

Kadarmideen, Haja N. editor.

(2)

Kapur, Deepak. editor.

(2)

Karczewski, Konrad. editor.

(2)

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

(2)

Kitowski, Jacek. editor.

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

(2)

Kulkarni, Anand Jayant, editor.

(2)

Kunčak, Viktor. editor.

(2)

Kılıçdağı, Arda

(2)

Laaksonen, Antti. author.

(2)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(2)

Larsen, Kim Guldstrand. editor.

(2)

Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100

(2)

Le, Hoai Minh. editor.

(2)

Lecomte, Thierry. editor.

(2)

Lee, Kent D. author.

(2)

Li, Jingtian, author.

(2)

Liu, Shaoying. editor.

(2)

Loftus, William.

(2)

Luković, Ivan. editor. (orcid)0000-0003-1319-488X

(2)

(2)

Maciaszek, Leszek A. editor.

(2)

Majumdar, Rupak. editor.

(2)

(2)

McCutchan, John. author.

(2)

Megill, Anna, author.

(2)

Merz, Stephan. editor.

(2)

Mohiuddin, Taqi.

(2)

Molloy, Derek, 1973- author.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Nandan Mohanty, Sachi. editor.

(2)

Nawrocki, Matt.

(2)

Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404

(2)

Nicholson, J. (Jonathan), 1983-

(2)

Olmstead, Don. author.

(2)

(2)

Pathan, Al-Sakib Khan, editor.

(2)

Penninck, Greg, author.

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Perner, Petra. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Potapov, Igor. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Proença, José. editor.

(2)

Roman, Dumitru. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Safari, an O'Reilly Media Company.

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Sanchez, Julio, 1938, author.

(2)

Satish Kumar, G. A. E. editor.

(2)

Savin-Baden, Maggi, 1960- author.

(2)

ScienceDirect (Online service)

(2)

Sharma, Moolchand, editor.

(2)

Sharma, Prerna, editor.

(2)

Siarry, Patrick, editor.

(2)

Siddique, N. H., editor.

(2)

Sirjani, Marjan. editor.

(2)

Skavhaug, Amund. editor.

(2)

Sobolev, Sergey. editor.

(2)

Soma, Takako. author.

(2)

Somberg, Guy, editor.

(2)

Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864

(2)

Streib, James T. author.

(2)

Sweetman, Dominic.

(2)

(2)

Søraa, Roger Andre, author.

(2)

Thesen, Thomas Paul, author.

(2)

Togelius, Julian. author.

(2)

Tomar, Ravi, author.

(2)

Tonetta, Stefano. editor.

(2)

Tovar, Matthew, author.

(2)

Tucker, Allen B., editor.

(2)

Ullah, Abrar. editor.

(2)

Ullenboom, Christian, author, translator.

(2)

Voronkov, Andrei. editor.

(2)

(2)

Watt, Alan H., 1942-

(2)

Wiatr, Kazimierz. editor.

(2)

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

(2)

Wąsowski, Andrzej. editor.

(2)

Yigitcanlar, Tan.

(2)

Zhang, Zili. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Özçalıcı, Mehmet.

(2)

(1)

Abate, Alessandro. editor.

(1)

Tümünü genişlet

Dil

(1305)

(46)

Yayın Yılı

-

(163)

(162)

(127)

(98)

(97)

(92)

(67)

(52)

(50)

(49)

(45)

(40)

(38)

(38)

(29)

(24)

(23)

(22)

(22)

(21)

(20)

(17)

(16)

(15)

(12)

(11)

(10)

(9)

(8)

(8)

(8)

(7)

(7)

(7)

(7)

(6)

(5)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer programming.

(337)

Software engineering.

(282)

Computer science.

(264)

COMPUTERS / Computer Graphics / Game Programming & Design

(240)

Computer Science Logic and Foundations of Programming.

(231)

Artificial intelligence.

(161)

Machine theory.

(151)

Formal Languages and Automata Theory.

(150)

Programming Techniques.

(149)

Compilers (Computer programs).

(147)

Compilers and Interpreters.

(147)

Computer games -- Programming.

(111)

(97)

Computer science -- Mathematics.

(73)

Computer networks .

(71)

Object-oriented programming (Computer science)

(71)

Theory of Computation.

(63)

Application software.

(60)

COMPUTERS / Computer Science

(56)

Electronic books.

(55)

COMPUTERS / General

(54)

Computer and Information Systems Applications.

(53)

Computer simulation.

(53)

Programming languages (Electronic computers).

(52)

Computer Communication Networks.

(49)

Video games -- Design.

(49)

Computer graphics.

(44)

Computer Modelling.

(43)

Python (Computer program language)

(36)

Computer games -- Design.

(34)

(33)

COMPUTERS / Artificial Intelligence

(31)

Discrete mathematics.

(31)

Discrete Mathematics in Computer Science.

(29)

Java (Computer program language)

(29)

Computers, Special purpose.

(28)

Special Purpose and Application-Based Systems.

(28)

Computational intelligence.

(27)

Computer System Implementation.

(27)

Computer systems.

(27)

Computer engineering.

(26)

Embedded computer systems -- Programming.

(26)

Parallel programming (Computer science)

(26)

Computer software -- Development.

(24)

Engineering -- Data processing.

(24)

Computer Engineering and Networks.

(23)

Bilgisayar programlama.

(22)

(22)

Electronic digital computers -- Evaluation.

(22)

Human-computer interaction.

(22)

System Performance and Evaluation.

(22)

COMPUTERS / Computer Graphics / General

(20)

Machine learning.

(20)

User interfaces (Computer systems).

(20)

Computer algorithms.

(19)

Electronic data processing -- Management.

(19)

Evolutionary programming (Computer science)

(19)

Computer architecture.

(18)

Computer logic.

(18)

(18)

Mathematical logic.

(18)

Natural Language Processing (NLP).

(18)

Natural language processing (Computer science).

(18)

Engineering mathematics.

(17)

Mathematics of Computing.

(17)

C (Computer program language)

(16)

C++ (Computer program language)

(16)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(16)

Game Development.

(16)

(16)

Operating systems (Computers)

(16)

Programming Language.

(16)

User Interfaces and Human Computer Interaction.

(16)

Data Mining and Knowledge Discovery.

(15)

Database management.

(15)

Macintosh (Computer) -- Programming.

(15)

Mathematical statistics.

(15)

Microprocessors.

(15)

COMPUTERS / Programming Languages / General

(14)

Control Structures and Microprogramming.

(14)

Information storage and retrieval systems.

(14)

Microprogramming .

(14)

Data protection.

(13)

Information Storage and Retrieval.

(13)

Probability and Statistics in Computer Science.

(13)

Three-dimensional display systems.

(13)

BUSINESS & ECONOMICS / Statistics

(12)

COMPUTERS / Machine Theory

(12)

COMPUTERS / Programming / General

(12)

Genetic programming (Computer science)

(12)

Artificial intelligence -- Data processing.

(11)

COMPUTERS / Database Management / Data Mining

(11)

Computer animation.

(11)

(11)

Data and Information Security.

(11)

Data structures (Computer science)

(11)

Information theory.

(11)

Mathematical and Computational Engineering Applications.

(11)

Operating systems (Computers).

(11)

COMPUTERS / Computer Engineering

(10)

(10)

Data structures (Computer science).

(10)

Electronic Circuits and Systems.

(10)

Electronic circuits.

(10)

Information technology -- Management.

(10)

(10)

Mathematical Applications in Computer Science.

(10)

Mathematical optimization.

(10)

Unity (Electronic resource)

(10)

Video games -- Authorship.

(10)

COMPUTERS / Programming Languages / Python

(9)

Communications Engineering, Networks.

(9)

Computer Application in Administrative Data Processing.

(9)

Computer Hardware.

(9)

Computers and Education.

(9)

Education -- Data processing.

(9)

Logic programming.

(9)

Numerical analysis -- Data processing.

(9)

Numerical analysis.

(9)

Processor Architectures.

(9)

Telecommunication.

(9)

Application software -- Development.

(8)

C# (Computer program language)

(8)

Computer communication systems.

(8)

Computer games—Programming.

(8)

Computer security.

(8)

Data Structures and Information Theory.

(8)

(8)

(8)

Mathematical statistics -- Data processing.

(8)

Operating Systems.

(8)

Parallel processing (Electronic computers)

(8)

(8)

Python (Computer program language).

(8)

The Computing Profession.

(8)

Bioinformatics.

(7)

Cloud computing.

(7)

Computer programming

(7)

Data Analysis and Big Data.

(7)

Evolutionary computation.

(7)

(7)

Maya (Computer file)

(7)

Programming languages (Electronic computers)

(7)

(7)

Quantitative research.

(7)

R (Computer program language)

(7)

Science -- Data processing.

(7)

TECHNOLOGY & ENGINEERING.

(7)

Video games -- Programming.

(7)

(6)

Applications of Mathematics.

(6)

Automated Pattern Recognition.

(6)

Bilgisayar Programlama.

(6)

COMPUTERS / Information Technology

(6)

(6)

Computer programming -- Management.

(6)

Computer vision.

(6)

Constraint programming (Computer science)

(6)

Control engineering.

(6)

Design and Analysis of Algorithms.

(6)

Functional programming (Computer science)

(6)

GAMES / Video & Electronic

(6)

(6)

Mathematical Logic and Foundations.

(6)

Neural networks (Computer science)

(6)

Pattern recognition systems.

(6)

Physics -- Data processing.

(6)

Program transformation (Computer programming)

(6)

(6)

Quantum computers.

(6)

(6)

Statistics and Computing.

(6)

iPhone (Smartphone) -- Programming.

(6)

Adobe Photoshop.

(5)

Arithmetic and Logic Structures.

(5)

Artificial intelligence -- Social aspects.

(5)

(5)

(5)

Bilgisayar oyunları -- Programlama.

(5)

BİLGİSAYAR GRAFİKLERİ.

(5)

COMPUTERS / Computer Architecture

(5)

COMPUTERS / Computer Graphics / Image Processing (see also PHOTOGRAPHY / Techniques / Digital)

(5)

Computational and Systems Biology.

(5)

Computer Application in Social and Behavioral Sciences.

(5)

Computer algorithms

(5)

Computer arithmetic and logic units.

(5)

Computer interfaces.

(5)

Computer networks -- Security measures.

(5)

Computer programs -- Testing.

(5)

Computer science—Mathematics.

(5)

Computer sound processing.

(5)

FORTRAN (BİLGİSAYAR PROGRAMLAMA DİLİ)

(5)

Genetic algorithms.

(5)

Information visualization.

(5)

Internet of things.

(5)

Internet programming.

(5)

JavaScript (Computer program language)

(5)

(5)

MATHEMATICS / General

(5)

MacBook (Computer)

(5)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Konservatuvar Genel Koleksiyon

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Konservatuvar 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

1363 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 56 57 58 59 60 .. 114

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.

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Yazar

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings için kapak resmi

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Yazar

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66284-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers için kapak resmi

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Yazar

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-52709-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings için kapak resmi

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings için kapak resmi

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Yazar

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings için kapak resmi

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Yazar

Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Fundamental Approaches to Software Engineering 20th International Conference, FASE 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

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering 20th International Conference, FASE 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

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54494-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings için kapak resmi

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60588-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings için kapak resmi

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings için kapak resmi

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Yazar

Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings için kapak resmi

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Yazar

Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings için kapak resmi

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Yazar

Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 56 57 58 59 60 .. 114

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11