Search Results for Logic.

|

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: Computer programming.

Yazar

SpringerLink (Online service)

(78)

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

(2)

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

(2)

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

(2)

Aichernig, Bernhard K. editor.

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Artho, Cyrille. editor.

(1)

Arya, Ali, author.

(1)

Balduccini, Marcello. editor.

(1)

Barrett, Clark. editor.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Bjørner, Nikolaj. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Braffort, P. (Paul)

(1)

Braffort, P. (Paul), editor.

(1)

Braga, Christiano. editor.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Cariani, Fabrizio. editor.

(1)

Cassez, Franck. editor.

(1)

Castor, Fernando. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

Codish, Michael. editor.

(1)

Cunha, Jácome. editor.

(1)

Cussens, James. editor.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Duan, Zhenhua. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Falcone, Yliès. editor.

(1)

Fernandes, João P. editor.

(1)

Fernández, Maribel. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Fischbach, Kai. editor.

(1)

Flatt, Matthew. editor.

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gavanelli, Marco. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Goodwin, Morten. editor.

(1)

Grossi, Davide. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Gupta, Gopal. editor.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hinchey, Mike. editor.

(1)

Hirschberg, D. (David)

(1)

Hirschberg, D. (David), editor.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hopcroft, Philippa. editor.

(1)

Hähnle, Reiner. editor.

(1)

Inoue, Katsumi. editor.

(1)

Janhunen, Tomi. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Richard. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

(1)

Kapitsaki, Georgia M. editor.

(1)

King, Andy. editor.

(1)

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

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kneusel, Ronald T. author.

(1)

Knight, William. author.

(1)

Krieger, Udo R. editor.

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Law, Effie L.-C. editor.

(1)

Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Legay, Axel. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Leone, Nicola. editor.

(1)

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

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Lindley, Sam. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Yu David. editor.

(1)

Liu, Zhiming. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lucanu, Dorel. editor.

(1)

Luger, Ewa. editor.

(1)

Luger, Ewa. editor. (orcid)0000-0001-7882-9415

(1)

Lämmel, Ralf. editor.

(1)

Lönn, Henrik. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Majumdar, Rupak. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

McBride, Conor. editor.

(1)

McCarthy, Jay. editor.

(1)

Meheus, Joke. editor.

(1)

Merz, Stephan. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Mousavi, Mohammad Reza. editor.

(1)

Müller, Matthias S. editor.

(1)

Nalon, Cláudia. editor.

(1)

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

(1)

Ohwada, Hayato. editor.

(1)

Olderog, Ernst-Rüdiger. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

O’Regan, Gerard. author.

(1)

Paes, Aline. editor.

(1)

Pang, Jun. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341

(1)

Parent, Xavier. editor.

(1)

Peled, Doron. editor.

(1)

Peña, Ricardo. editor.

(1)

Proença, José. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reppy, John. editor.

(1)

Russo, Alessandra. editor.

(1)

Salaün, Gwen. editor.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Saraiva, João. editor.

(1)

Schaefer, Ina. editor.

(1)

Schmidt, Renate A. editor.

(1)

Seidl, Martina. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Shalf, John. editor.

(1)

Shao, Zhong. editor.

(1)

Silva, Josep. editor.

(1)

Simpson, Alex. editor.

(1)

Sirjani, Marjan. editor.

(1)

Soeken, Mathias. editor. (orcid)0000-0002-0229-8766

(1)

Stamelos, Ioannis. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sumii, Eijiro. editor.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Taufer, Michela. editor.

(1)

Terboven, Christian. editor.

(1)

Thiemann, Peter. editor.

(1)

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

(1)

Tillmann, Nikolai. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Trinder, Phil. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Virbitskaite, Irina. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vrajitoru, Dana. author.

(1)

Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811

(1)

Wąsowski, Andrzej. editor.

(1)

Xue, Jinyun. editor.

(1)

Yamamoto, Akihiro. editor.

(1)

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300

(1)

Yang, Hongseok. editor.

(1)

Yang, Xiaolu. editor.

(1)

Yokota, Rio. editor.

(1)

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501

(1)

Zaverucha, Gerson. editor.

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Zili. editor.

(1)

de Boer, Frank. editor.

(1)

de Supinski, Bronis R. editor.

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Ölveczky, Peter Csaba. editor.

(1)

Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036

(1)

Tümünü genişlet

Dil

(81)

Yayın Yılı

-

(21)

(19)

(19)

(9)

(6)

(4)

(1)

(1)

(1)

Tümünü genişlet

Konu

Programming Techniques.

(53)

Software engineering.

(52)

Computer science.

(45)

Computer Science Logic and Foundations of Programming.

(42)

Compilers (Computer programs).

(38)

Compilers and Interpreters.

(38)

Formal Languages and Automata Theory.

(28)

Machine theory.

(28)

Artificial intelligence.

(25)

Computer logic.

(18)

Programming languages (Electronic computers).

(18)

Mathematical logic.

(12)

(11)

Computer networks .

(10)

Computer Communication Networks.

(8)

Computer System Implementation.

(6)

Computer communication systems.

(6)

Computer systems.

(6)

(5)

Computer simulation.

(4)

(4)

(4)

Logic programming.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Theory of Computation.

(4)

Computer Modelling.

(3)

Computer science—Mathematics.

(3)

Electronic data processing -- Management.

(3)

Human-computer interaction.

(3)

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Application software.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer architecture.

(2)

Computer engineering.

(2)

Computer input-output equipment.

(2)

Control Structures and Microprogramming.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures and Information Theory.

(2)

(2)

Data structures (Computer science).

(2)

Design and Analysis of Algorithms.

(2)

Electronic digital computers -- Evaluation.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

Input/Output and Data Communications.

(2)

Microprocessors.

(2)

Microprogramming .

(2)

Models of Computation.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Processor Architectures.

(2)

System Performance and Evaluation.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Architecture, Computer.

(1)

Arithmetic and Logic Structures.

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

COMPUTERS / Programming Languages / General

(1)

Category Theory, Homological Algebra.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer and Information Systems Applications.

(1)

Computer arithmetic and logic units.

(1)

Computer science -- Mathematics.

(1)

Computer system failures.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers, Special purpose.

(1)

Computing Milieux.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Management information systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematics -- Data processing.

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers)

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

The Computing Profession.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

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

81 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

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.

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers için kapak resmi

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

Yazar

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-86054-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Yazar

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74209-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Yazar

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7956-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings için kapak resmi

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2300-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers için kapak resmi

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Yazar

Silva, Josep. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16202-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers için kapak resmi

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Yazar

Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63139-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings için kapak resmi

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers için kapak resmi

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Yazar

Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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:

12.

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers için kapak resmi

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Yazar

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44923-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11