Search Results for Computer programming

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

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ç

162 sonuç bulundu

Arama sonuçlarına abone ol

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

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:

2.

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:

3.

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:

4.

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:

5.

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings için kapak resmi

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Yazar

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings için kapak resmi

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Yazar

Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings için kapak resmi

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Yazar

Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings için kapak resmi

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Yazar

Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers için kapak resmi

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Dance Notations and Robot Motion için kapak resmi

Dance Notations and Robot Motion

Dance Notations and Robot Motion

Yazar

Laumond, Jean-Paul. editor. Abe, Naoko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings için kapak resmi

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Yazar

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 14

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11