Search Results for Mathematical logic.

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ış:

+

Konu: Programming Techniques.

Yazar

SpringerLink (Online service)

(24)

Voronkov, Andrei. editor.

(2)

Achten, Peter. editor.

(1)

Albert, Elvira. editor.

(1)

Bensalem, Saddek. editor.

(1)

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

(1)

Bravetti, Mario. editor.

(1)

Cabalar, Pedro. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Fontaine, Pascal. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Galmiche, Didier. editor.

(1)

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

(1)

Groves, Lindsay. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Koopman, Pieter. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Legay, Axel. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Shaoying. editor.

(1)

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

(1)

Logozzo, Francesco. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lämmel, Ralf. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Middeldorp, Aart. editor.

(1)

Peña, Ricardo. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Salaün, Gwen. editor.

(1)

Saraiva, João. editor.

(1)

Schmidt, Renate A. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Son, Tran Cao. editor.

(1)

Sun, Jing. editor.

(1)

Tasiran, Serdar. editor.

(1)

Veanes, Margus. editor.

(1)

Viganò, Luca. editor.

(1)

Visser, Joost. editor.

(1)

Weidenbach, Christoph. editor.

(1)

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

(1)

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

(1)

Yang, Xiaolu. editor.

(1)

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

(1)

Železný, Filip. editor.

(1)

Tümünü genişlet

Dil

(24)

Yayın Yılı

-

(21)

(3)

Konu

Computer science.

(22)

Mathematical Logic and Formal Languages.

(21)

Software engineering.

(18)

(17)

Logics and Meanings of Programs.

(17)

Programming Languages, Compilers, Interpreters.

(14)

Artificial intelligence.

(8)

Artificial Intelligence (incl. Robotics).

(7)

Computer Communication Networks.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer software.

(4)

Computational complexity.

(3)

Computer programming.

(3)

Discrete Mathematics in Computer Science.

(3)

Computer System Implementation.

(2)

Computer simulation.

(2)

Computer systems.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Simulation and Modeling.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Category Theory, Homological Algebra.

(1)

Computation by Abstract Devices.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Science, general.

(1)

Computer networks .

(1)

Computer vision.

(1)

Health Informatics.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems.

(1)

(1)

Logic programming.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Medical records -- Data processing.

(1)

Software Engineering/Programming and Operating 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ç

24 sonuç bulundu

Arama sonuçlarına abone ol

1 2

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.

Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

Using Event-B for Critical Device Software Systems için kapak resmi

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Yazar

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331181.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Logics Essays in Memory of Harald Ganzinger için kapak resmi

Programming Logics Essays in Memory of Harald Ganzinger

Programming Logics Essays in Memory of Harald Ganzinger

Yazar

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334468.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings için kapak resmi

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Yazar

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334683.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38856-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings için kapak resmi

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Yazar

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38916-0

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:

10.

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers için kapak resmi

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Yazar

Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334772.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday için kapak resmi

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Yazar

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334934.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11