Search Results for Software

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: Mathematical logic.

Yazar

SpringerLink (Online service)

(68)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Sun, Jun. editor.

(2)

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

(2)

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

(2)

Abadi, Martín. editor.

(1)

Abraham, Erika. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Baptista, Jorge. editor.

(1)

Barais, Olivier. editor.

(1)

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

(1)

Bekki, Daisuke. editor.

(1)

Bello, Rafael. 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)

Boiten, Eerke A. author.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

Bulling, Nils. editor.

(1)

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

(1)

Candeias, Sara. editor.

(1)

Cassez, Franck. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Cleaveland, Rance. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Cornelis, Chris. editor.

(1)

Darmont, Jérôme. editor. (orcid)0000-0003-1491-384X

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Derrick, John. author.

(1)

Dillig, Isil. editor.

(1)

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

(1)

Eder, Johann. editor. (orcid)0000-0001-6050-468X

(1)

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

(1)

Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X

(1)

Fiadeiro, José Luiz. editor.

(1)

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

(1)

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

(1)

Gailly, Frederik. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-7128-507X

(1)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(1)

George, Laurent. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Giese, Holger. editor.

(1)

Goertzel, Ben. editor.

(1)

Graf, Susanne. editor.

(1)

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

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Han, Xianpei. editor.

(1)

Harmelen, Frank van. editor.

(1)

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

(1)

He, Kun. editor.

(1)

Hepp, Martin. editor.

(1)

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

(1)

Hofman, Piotrek. editor.

(1)

Huisman, Marieke. editor.

(1)

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

(1)

Iida, Shusaku. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jamroga, Wojtek. editor.

(1)

Jiang, He. editor. (orcid)0000-0001-8674-4948

(1)

Jones, Cliff. editor.

(1)

Jones, Richard. editor.

(1)

Kamišalić Latifić, Aida. editor. (orcid)0000-0002-8574-8506

(1)

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

(1)

Khan, Md. Aquil. editor.

(1)

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

(1)

Kroening, Daniel. editor.

(1)

Kryszkiewicz, Marzena. editor.

(1)

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

(1)

König, Barbara. editor.

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Lewis, Dave. editor.

(1)

Li, Ge. editor.

(1)

Li, Ming. editor.

(1)

Li, Xianyong. editor.

(1)

Li, Zheng. editor. (orcid)0000-0002-3938-7033

(1)

Liu, Zhiming. editor.

(1)

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

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

MacIntyre, John. editor.

(1)

Maffei, Matteo. editor.

(1)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(1)

Mamede, Nuno. editor.

(1)

Manuel, Amaldev. editor.

(1)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(1)

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

(1)

Meersman, Robert. editor.

(1)

Menasalvas Ruiz, Ernestina. editor.

(1)

Merz, Stephan. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

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

(1)

Morzy, Mikoƚaj. editor. (orcid)0000-0002-2905-9538

(1)

Muscholl, Anca. editor.

(1)

Nakano, Yukiko. editor.

(1)

O'Sullivan, Barry. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

Orseau, Laurent. editor.

(1)

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

(1)

Ouaknine, Joel. editor.

(1)

O’Regan, Gerard. author.

(1)

Paes, Aline. editor.

(1)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(1)

Pang, Jun. editor.

(1)

Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837

(1)

Paraboni, Ivandré. editor.

(1)

Pardo, Thiago A.S. editor.

(1)

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

(1)

Pearce, David. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Pimenidis, Elias. editor.

(1)

Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868

(1)

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

(1)

Potapov, Igor. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Rauzy, Antoine. editor.

(1)

Remke, Anne. editor.

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Rybalchenko, Andrey. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Satoh, Ken. editor.

(1)

Sattler, Uli. editor.

(1)

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415

(1)

Shang, Lin. editor.

(1)

Simpson, Alex. editor.

(1)

Skrzypczak, Michał. editor.

(1)

Slezak, Dominik. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Snaider, Javier. editor.

(1)

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

(1)

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

(1)

Stoelinga, Mariëlle. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sun, Xiaoming. editor.

(1)

Suzana Pitangueira Maciel, Rita. editor.

(1)

Tang, Jie. editor.

(1)

Tasiran, Serdar. editor.

(1)

Tinelli, Cesare. editor.

(1)

Ting, I-Hsien. editor.

(1)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(1)

Turhan, Anni-Yasmin. editor.

(1)

Tzouramanis, Theodoros. editor. (orcid)0000-0002-5700-5916

(1)

Uden, Lorna. editor.

(1)

Vardanega, Tullio. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

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

(1)

Vinju, Jurgen. editor.

(1)

Volpe Nunes, Maria das Gracas. editor.

(1)

Wang, Quan. editor.

(1)

Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946

(1)

William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118

(1)

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

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Wrembel, Robert. editor. (orcid)0000-0001-6037-5718

(1)

Xue, Jinyun. editor.

(1)

Yahav, Eran. editor.

(1)

Zaverucha, Gerson. editor.

(1)

Zhang, Zili. editor.

(1)

Zhao, Jun. editor.

(1)

Zhou, Minghui. editor.

(1)

de Givry, Simon. editor. (orcid)0000-0002-2242-0458

(1)

van der Torre, Leendert. editor.

(1)

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

(1)

Tümünü genişlet

Dil

(68)

Yayın Yılı

-

(35)

(33)

Konu

Software engineering.

(48)

Computer logic.

(34)

Artificial intelligence.

(30)

Programming languages (Electronic computers).

(20)

Application software.

(19)

(13)

(10)

Computer programming.

(9)

Computer science—Mathematics.

(7)

Information storage and retrieval.

(7)

(6)

Database management.

(6)

Computer communication systems.

(5)

Computer science.

(5)

Computer system failures.

(5)

Computer simulation.

(4)

Natural language processing (Computer science).

(4)

Management information systems.

(3)

Computer security.

(2)

Data structures (Computer science).

(2)

Arithmetic and logic units, Computer.

(1)

(1)

Computer organization.

(1)

Information theory.

(1)

Knowledge representation (Information theory) .

(1)

(1)

Microprogramming .

(1)

Optical data processing.

(1)

Pattern recognition.

(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ç

68 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.

Introduction to Software Quality için kapak resmi

Introduction to Software Quality

Introduction to Software Quality

Yazar

O’Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-06106-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35540-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers için kapak resmi

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Yazar

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings için kapak resmi

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Yazar

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings için kapak resmi

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Yazar

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings için kapak resmi

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Yazar

Yahav, Eran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17127-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17462-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11