Search Results for Mathematical 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ış:

+

Subject: Computer logic.

Yazar

SpringerLink (Online service)

(64)

Ait Ameur, Yamine. editor.

(2)

Moortgat, Michael. editor.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sun, Jun. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Abraham, Erika. editor.

(1)

Artho, Cyrille. editor.

(1)

Barkatou, Moulay. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Beierle, Christoph. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bulling, Nils. editor.

(1)

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

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cariani, Fabrizio. editor.

(1)

Casadio, Claudia. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Dillig, Isil. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dowek, Gilles. editor.

(1)

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

(1)

Fermé, Eduardo. editor.

(1)

Fiadeiro, José Luiz. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Gamboa, Ruben. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Grossi, Davide. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guan, Nan. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446

(1)

Hirsch, Edward. editor.

(1)

Hofman, Piotrek. editor.

(1)

Hospodár, Michal. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Höfner, Peter. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Shusaku. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Jipsen, Peter. editor.

(1)

Jirásková, Galina. editor.

(1)

Jones, Cliff. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katrenko, Sophia. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Klein, Gerwin. author.

(1)

Klein, Gerwin. editor.

(1)

Kobele, Greg. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kroening, Daniel. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Leake, David. editor.

(1)

Leite, Joao. editor.

(1)

Leone, Nicola. editor.

(1)

Liu, Zhiming. editor.

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

Manea, Florin. editor.

(1)

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

(1)

Manuel, Amaldev. editor.

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martin, Barnaby. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Meghini, Carlo. editor.

(1)

Meheus, Joke. editor.

(1)

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237

(1)

Muscholl, Anca. editor.

(1)

Müller, Martin Eric. editor.

(1)

(1)

Nipkow, Tobias. author.

(1)

Ogata, Kazuhiro. editor.

(1)

Okhotin, Alexander. editor.

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Ouaknine, Joel. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

Parent, Xavier. editor.

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Paulusma, Daniël. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Pin, Jean-Éric. editor.

(1)

Pogodalla, Sylvain. editor.

(1)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(1)

Potapov, Igor. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Rauzy, Antoine. editor.

(1)

Regensburger, Georg. editor.

(1)

Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291

(1)

Remke, Anne. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Roman, Dumitru. editor.

(1)

Rosenkranz, Markus. editor.

(1)

Rutten, Jan. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Scott, Philip. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Shi, Zhongzhi. editor.

(1)

Silva, Alexandra. editor.

(1)

Skrzypczak, Michał. editor.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Staton, Sam. editor.

(1)

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

(1)

Stoelinga, Mariëlle. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sutton, Peter. editor.

(1)

Tasiran, Serdar. editor.

(1)

Tinelli, Cesare. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Umbach, Carla. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

Villata, Serena. editor. (orcid)0000-0003-3495-493X

(1)

Weidenbach, Christoph. editor.

(1)

Wiels, Virginie. editor.

(1)

Wolf, Verena. editor. (orcid)0000-0001-8460-6007

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Wu, Zhaohui. editor.

(1)

Xue, Jinyun. editor.

(1)

Yahav, Eran. editor.

(1)

de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270

(1)

de Queiroz, Ruy. editor.

(1)

van Breugel, Franck. editor.

(1)

van der Torre, Leendert. editor.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Tümünü genişlet

Dil

(65)

Yayın Yılı

-

(35)

(29)

(1)

Konu

Mathematical logic.

(64)

Software engineering.

(32)

Artificial intelligence.

(27)

Computer science—Mathematics.

(14)

(14)

Programming languages (Electronic computers).

(14)

(13)

Computer programming.

(5)

Computer system failures.

(3)

Database management.

(3)

Application software.

(2)

Computer science.

(2)

Computer simulation.

(2)

Data structures (Computer science).

(2)

Information storage and retrieval.

(2)

Mathematical statistics.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Optical data processing.

(2)

Boole, George, 1815-1864.

(1)

(1)

Computer communication systems.

(1)

Computer organization.

(1)

Computer security.

(1)

(1)

Electrical engineers -- United States -- Biography.

(1)

Information theory.

(1)

(1)

Logicians -- Great Britain -- Biography.

(1)

Management information systems.

(1)

Microprogramming .

(1)

Partial differential equations.

(1)

Pattern recognition.

(1)

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

Special purpose computers.

(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

65 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6

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.

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers için kapak resmi

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Yazar

Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44116-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Concrete Semantics With Isabelle/HOL için kapak resmi

Concrete Semantics With Isabelle/HOL

Concrete Semantics With Isabelle/HOL

Yazar

Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers için kapak resmi

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Yazar

Barkatou, Moulay. editor. Cluzeau, Thomas. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54479-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Yazar

Dowek, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings için kapak resmi

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Yazar

Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44980-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54830-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings için kapak resmi

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Yazar

Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday için kapak resmi

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Yazar

van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings için kapak resmi

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Yazar

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi için kapak resmi

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54624-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11