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

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Publication Date: 2016

Yazar

SpringerLink (Online service)

(142)

Artho, Cyrille. editor.

(2)

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

(2)

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

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

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

(2)

Dongarra, Jack. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

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

(2)

Guiochet, Jérémie. editor.

(2)

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

(2)

Kadarmideen, Haja N. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kitowski, Jacek. editor.

(2)

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

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

O'Regan, Gerard. author.

(2)

Pogodalla, Sylvain. editor.

(2)

Skavhaug, Amund. editor.

(2)

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

(2)

Wiatr, Kazimierz. editor.

(2)

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

(2)

Wąsowski, Andrzej. editor.

(2)

Ábrahám, Erika. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Abe, Naoko. editor.

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Akama, Seiki. editor.

(1)

(1)

Albert, Elvira. editor.

(1)

Alessandrini, Victor, author.

(1)

Alferes, Jose Julio. editor.

(1)

Amblard, Maxime. editor.

(1)

Ammeraal, Leendert.

(1)

Amos, Martyn. editor.

(1)

Arbel, Eli. editor.

(1)

Argüelles Mendez, Luis. author.

(1)

Artemov, Sergei. editor.

(1)

Aycock, John. author.

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

Batsakis, Sotiris. editor.

(1)

Baumann, Christoph. author.

(1)

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

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Biro, Miklos. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

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

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bramer, Max. author.

(1)

Brlek, Srečko. editor.

(1)

Bubel, Richard. editor.

(1)

Buhr, Peter A. author.

(1)

Butler, Michael. editor.

(1)

Carretero, Jesus. editor.

(1)

Castor, Fernando. editor.

(1)

Chandler, John. author.

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Chopra, Amit K. editor.

(1)

Chávez, Edgar. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Condon, Anne. editor.

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Dalziel, Henry, editor.

(1)

Daneva, Maya. editor.

(1)

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

(1)

Del Sole, Alessandro, author.

(1)

Delporte-Gallet, Carole. editor.

(1)

(1)

Desel, Jörg. editor.

(1)

Devitt, Simon. editor.

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Donzé, Alexandre. editor.

(1)

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

(1)

Duggan, Jim. author.

(1)

Dutot, Pierre-François. editor.

(1)

Dökmetaş, Gökhan

(1)

Ebert, Achim. editor.

(1)

Echahed, Rachid. editor.

(1)

Falcone, Yliès. editor.

(1)

Festa, Paola. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Foret, Annie. editor.

(1)

Furia, Carlo A. editor.

(1)

Galitsky, Boris. author.

(1)

Garcia-Blas, Javier. editor.

(1)

Garrido, José M., author.

(1)

Gast, Holger, 1975- author.

(1)

Gavanelli, Marco. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorodetskiy, Andrey E. editor.

(1)

Gott, Aimee, author.

(1)

Governatori, Guido. editor.

(1)

Grabowski, Jens. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Göbel, Susanne. author.

(1)

Hage, Jurriaan. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasuo, Ichiro. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Herbold, Steffen. editor.

(1)

Hildebrandt, Thomas. editor.

(1)

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

(1)

Hirayama, Katsutoshi. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Hu, T. C. author.

(1)

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

(1)

Humayoun, Shah Rukh. editor.

(1)

Hwu, Wen-mei, editor.

(1)

Hähnle, Reiner. editor.

(1)

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

(1)

Imam, Neena. editor.

(1)

Inoue, Katsumi. editor.

(1)

Jacobs, Bart. editor.

(1)

James, Simon. author.

(1)

Jeffers, Jim (Computer engineer), author.

(1)

Jobstmann, Barbara. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kahng, Andrew B. author.

(1)

Kakas, Antonis. editor.

(1)

Kanatani, Kenichi. author.

(1)

Kanazawa, Yasushi. author.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Karydis, Ioannis. editor.

(1)

King, Andy. editor.

(1)

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

(1)

Kittler, Josef. editor. (orcid)0000-0002-8110-9205

(1)

Kleijn, Jetty. editor.

(1)

Knapp, Alexander. editor.

(1)

Knuth, Donald E.

(1)

Ko, Ryan K.L. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kordy, Barbara. editor.

(1)

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

(1)

Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428

(1)

Kulikov, Alexander S. editor.

(1)

Kushik, Natalia. editor.

(1)

Köseoğlu, Kerem.

(1)

Kühn, Eva. editor.

(1)

LARI, VAHID. author.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Laumond, Jean-Paul. editor.

(1)

Lawford, Mark. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

(1)

Li, Zongmin. author.

(1)

Lindley, Sam. editor.

(1)

Liu, Yu David. editor.

(1)

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

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lucanu, Dorel. editor.

(1)

Lucka, Thomas, author.

(1)

Lutsyk, Petro. author.

(1)

Löding, Christof. editor.

(1)

Lönn, Henrik. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Manea, Florin. editor.

(1)

Markey, Nicolas. editor.

(1)

Marques Afonso, Luiz. author.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Matloff, Norman S., author.

(1)

Mauw, Sjouke. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mazzara, Manuel. editor.

(1)

McBride, Conor. editor.

(1)

Merz, Stephan. editor.

(1)

Michael, Loizos. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Miller, Bruce. editor.

(1)

Minas, Mark. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Molloy, Derek, 1973- author.

(1)

Morrill, Glyn. editor.

(1)

Mueller, Frank. editor.

(1)

Tümünü genişlet

Dil

(157)

(5)

Konu

Computer science.

(106)

Computer Science Logic and Foundations of Programming.

(100)

Software engineering.

(94)

Formal Languages and Automata Theory.

(71)

Machine theory.

(71)

Compilers (Computer programs).

(61)

Compilers and Interpreters.

(61)

Computer programming.

(45)

Artificial intelligence.

(42)

Programming Techniques.

(38)

(34)

Computer science -- Mathematics.

(29)

Theory of Computation.

(29)

Computer networks .

(27)

Application software.

(26)

Computer and Information Systems Applications.

(26)

Computer Communication Networks.

(21)

Computer Modelling.

(18)

Computer simulation.

(18)

Discrete mathematics.

(14)

Discrete Mathematics in Computer Science.

(13)

Electronic data processing -- Management.

(12)

(12)

Electronic digital computers -- Evaluation.

(7)

Mathematics of Computing.

(7)

System Performance and Evaluation.

(7)

Computational intelligence.

(6)

Computer Engineering and Networks.

(6)

Computer engineering.

(6)

Computers, Special purpose.

(6)

Human-computer interaction.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Special Purpose and Application-Based Systems.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Electronic Circuits and Systems.

(5)

Electronic circuits.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

Applications of Mathematics.

(4)

Artificial intelligence -- Data processing.

(4)

Bioinformatics.

(4)

Computational and Systems Biology.

(4)

(4)

Control engineering.

(4)

(4)

Data and Information Security.

(4)

Data protection.

(4)

Database management.

(4)

(4)

Automated Pattern Recognition.

(3)

Computer architecture.

(3)

Computer games -- Programming.

(3)

Computers -- History.

(3)

History of Computing.

(3)

Mathematical Applications in Computer Science.

(3)

Models of Computation.

(3)

Parallel programming (Computer science)

(3)

Pattern recognition systems.

(3)

Arithmetic and Logic Structures.

(2)

(2)

Bilgisayar programlama.

(2)

Business information services.

(2)

Communications Engineering, Networks.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer Hardware.

(2)

Computer arithmetic and logic units.

(2)

Computer graphics.

(2)

Computer vision.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Control Structures and Microprogramming.

(2)

Control and Systems Theory.

(2)

Control, Robotics, Automation.

(2)

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

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

Genetics and Genomics.

(2)

(2)

Hardware Performance and Reliability.

(2)

IT in Business.

(2)

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical statistics -- Data processing.

(2)

Microprocessors.

(2)

Microprogramming .

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Object-oriented programming (Computer science)

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Processor Architectures.

(2)

Python (Bilgisayar programlama dili)

(2)

Python (Computer program language)

(2)

R (Computer program language)

(2)

Raspberry Pi (Computer) -- Programming.

(2)

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Social sciences -- Data processing.

(2)

Statistics and Computing.

(2)

Symbolic and Algebraic Manipulation.

(2)

Telecommunication.

(2)

Veterinary Science.

(2)

Veterinary medicine.

(2)

Application software -- Programming.

(1)

Arduino (Programlanabilir kontrolör)

(1)

Arduino (Programmable controller)

(1)

Astronomy -- Observations.

(1)

Astronomy, Observations and Techniques.

(1)

BASIC (Bilgisayar program dili)

(1)

BASIC (Computer program language)

(1)

Bilgisayar Programlama.

(1)

Bilgisayar programlama

(1)

Bilgisayar programlaması

(1)

Bilgisayar programları -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar programları.

(1)

Bilgisayar yazılımı -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar yazılımı -- Veritabanları.

(1)

Bilgisayar yazılımı.

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

BİLGİSAYAR GRAFİKLERİ.

(1)

Computational linguistics.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer System Implementation.

(1)

Computer industry.

(1)

Computer programming

(1)

Computer programming -- Handbooks, manuals, etc.

(1)

Computer programs.

(1)

Computer software -- Databases.

(1)

Computer software -- Handbooks, manuals, etc.

(1)

Computer software.

(1)

Computer systems.

(1)

Computers and Education.

(1)

Control theory.

(1)

(1)

(1)

Data Analysis and Big Data.

(1)

Data Structures and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Digital humanities.

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic books.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded computer systems -- Programming.

(1)

Game Development.

(1)

Görsel programlama (Bilgisayar bilimi)

(1)

Health Informatics.

(1)

High performance computing.

(1)

High performance processors.

(1)

History of Technology.

(1)

(1)

Information technology -- Management.

(1)

Information theory.

(1)

Internet programming.

(1)

(1)

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematical optimization.

(1)

(1)

Media Sociology.

(1)

Medical informatics.

(1)

Microsoft Visual Basic for Windows.

(1)

Microsoft Visual Basic, Windows için.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Nesneye Yönelik Programlama (Bilgisayar Bilimi)

(1)

(1)

(1)

Operating systems (Computers)

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

(1)

Parallel processing (Electronic computers)

(1)

(1)

Probability Theory.

(1)

Programlanabilir kontrolörler.

(1)

Programmable controllers.

(1)

Python (Computer program language).

(1)

Quantitative research.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

R (Bilgisayar programı dili)

(1)

Raspberry Pi (Bilgisayar) -- Programlama.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

(1)

Sports sciences.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

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

162 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 14

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.

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings için kapak resmi

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Yazar

Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings için kapak resmi

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

Yazar

Perales, Francisco José. editor. (orcid)0000-0002-9872-3172 Kittler, Josef. editor. (orcid)0000-0002-8110-9205 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers için kapak resmi

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Hasuo, Ichiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings için kapak resmi

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Yazar

Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-52921-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings için kapak resmi

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

Yazar

Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers için kapak resmi

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Yazar

van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings için kapak resmi

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Yazar

Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Yazar

Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Lucanu, Dorel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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 .. 3 4 5 6 7 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11