Search Results for France.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Programming Techniques.

Yazar

SpringerLink (Online service)

(9)

Bensalem, Saddek. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Fontaine, Pascal. editor.

(1)

Galmiche, Didier. editor.

(1)

Gorp, Pieter. editor.

(1)

Hage, Jurriaan. editor.

(1)

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X

(1)

Larchey-Wendling, Dominique. editor.

(1)

Legay, Axel. editor.

(1)

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

(1)

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

(1)

Milašinović, Boris. editor. (orcid)0000-0002-7889-3131

(1)

Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089

(1)

Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X

(1)

Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

(1)

Ringeissen, Christophe. editor.

(1)

Ritter, Tom. editor.

(1)

Rose, Louis M. editor.

(1)

Schmidt, Renate A. editor.

(1)

Serrano, Manuel. editor.

(1)

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

(1)

Swacha, Jakub. editor. (orcid)0000-0002-2214-6989

(1)

Taha, Walid. editor.

(1)

Trystram, Denis. editor.

(1)

Tümünü genişlet

Dil

(9)

Yayın Yılı

-

(5)

(2)

(1)

(1)

Konu

Software engineering.

(8)

Computer science.

(7)

(5)

Logics and Meanings of Programs.

(5)

Artificial intelligence.

(4)

Computer programming.

(4)

Mathematical Logic and Formal Languages.

(4)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Programming Languages, Compilers, Interpreters.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Computer Communication Networks.

(2)

Computer Science Logic and Foundations of Programming.

(2)

Computer software.

(2)

Discrete Mathematics in Computer Science.

(2)

(1)

Computational complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer System Implementation.

(1)

Computer science -- Mathematics.

(1)

Computer systems.

(1)

Computers, Special purpose.

(1)

Discrete mathematics.

(1)

Formal Languages and Automata Theory.

(1)

Information Systems.

(1)

Information technology -- Management.

(1)

Machine theory.

(1)

Management of Computing and Information Systems.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Special Purpose and Application-Based Systems.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Ç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

9 sonuç bulundu

Arama sonuçlarına abone ol

1

000000000DEFAULT_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.

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers için kapak resmi

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Yazar

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84913-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings için kapak resmi

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers için kapak resmi

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Yazar

Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings için kapak resmi

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Yazar

Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40537-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings için kapak resmi

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335003.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40787-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings için kapak resmi

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Yazar

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40885-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39013-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39038-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11