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 .. 65 66 67 68 69 .. 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.

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings için kapak resmi

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers için kapak resmi

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Yazar

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers için kapak resmi

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings için kapak resmi

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Yazar

Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains için kapak resmi

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

Yazar

Göbel, Susanne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-11765-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings için kapak resmi

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Yazar

Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers için kapak resmi

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Yazar

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings için kapak resmi

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Yazar

Rival, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53413-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings için kapak resmi

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Yazar

Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53042-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers için kapak resmi

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Yazar

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49665-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Yazar

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 65 66 67 68 69 .. 114

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11