Search Results for Logic programming.

|

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

Yazar

SpringerLink (Online service)

(55)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(3)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bouajjani, Ahmed. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Farzan, Azadeh. editor.

(2)

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

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

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

(2)

Schmidt, Renate A. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Tonetta, Stefano. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Albert, Elvira. editor.

(1)

Amos, Martyn. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Araujo, Theo. editor.

(1)

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

(1)

Arbel, Eli. editor.

(1)

Arjeski, Trevor. author.

(1)

Barbosa, Haniel. editor.

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Berger, Christian. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

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

(1)

Brandtzaeg, Petter Bae. editor.

(1)

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

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

Cavalli, Ana Rosa. editor.

(1)

Cholvy, Laurence. editor.

(1)

Condon, Anne. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Dastani, Mehdi. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Duan, Zhenhua. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Elahi, Ata. author.

(1)

Erdem, Esra. editor. (orcid)0000-0001-8384-7810

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Filipe, Joaquim. editor.

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Gabmeyer, Sebastian. editor.

(1)

Garbinato, Benoît. editor.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

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

(1)

Goodwin, Morten. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Grabowski, Jens. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Göbel, Susanne. author.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Herbold, Steffen. editor.

(1)

Hildebrandt, Thomas. editor.

(1)

Hobert, Sebastian. editor.

(1)

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

(1)

Hopcroft, Philippa. editor.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Jobstmann, Barbara. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683

(1)

Klasing, Ralf. editor.

(1)

Kordy, Barbara. editor.

(1)

Kovács, Gábor. editor.

(1)

Kushik, Natalia. editor.

(1)

Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

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

Lecomte, Thierry. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leuschel, Michael. editor. (orcid)0000-0002-4595-1518

(1)

Liu, Shaoying. editor.

(1)

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

(1)

Luger, Ewa. editor.

(1)

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

(1)

Lönn, Henrik. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Malcher, Andreas. editor. (orcid)0000-0002-9589-5833

(1)

Martel, Matthieu. editor.

(1)

Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X

(1)

Mauw, Sjouke. editor.

(1)

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Monniaux, David. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Nica, Mihai. editor.

(1)

Noriega, Pablo. editor.

(1)

Ong, Luke. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

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

(1)

Papini, Odile. editor.

(1)

Pinger, Ralf. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965

(1)

Ravara, António. editor.

(1)

Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026

(1)

Rodriguez-Fernandez, Victor. editor. (orcid)0000-0002-8589-6621

(1)

Romanovsky, Alexander. editor.

(1)

Réthy, György. editor.

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Seiffertt, John. author.

(1)

Sensoy, Murat. editor.

(1)

Sichman, Jaime Simão. editor.

(1)

Silva, Alexandra. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skavhaug, Amund. editor.

(1)

Strichman, Ofer. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857

(1)

Troubitsyna, Elena. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Varró, Dániel. editor.

(1)

Velázquez-Quesada, Fernando R. editor.

(1)

Vidal, Germán. editor. (orcid)0000-0002-1857-6951

(1)

Weidlich, Matthias. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Wisniewski, Rafael. editor.

(1)

Wotawa, Franz. editor.

(1)

Wąsowski, Andrzej. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yevtushenko, Nina. editor.

(1)

Zeitoun, Marc. editor.

(1)

Zohar, Yoni. editor.

(1)

van der Werf, Jan Martijn. editor.

(1)

Ölveczky, Peter Csaba. author.

(1)

Tümünü genişlet

Dil

(55)

Yayın Yılı

-

(20)

(19)

(8)

(7)

(1)

Konu

Computer science.

(48)

Computer Science Logic and Foundations of Programming.

(45)

Software engineering.

(43)

Computer Communication Networks.

(35)

Formal Languages and Automata Theory.

(24)

Machine theory.

(24)

Compilers (Computer programs).

(20)

Compilers and Interpreters.

(20)

Computer Engineering and Networks.

(20)

Computer engineering.

(20)

Artificial intelligence.

(16)

Application software.

(15)

Computer and Information Systems Applications.

(15)

Computer programming.

(9)

Electronic data processing -- Management.

(9)

(9)

Programming Techniques.

(9)

(8)

Theory of Computation.

(8)

Data and Information Security.

(6)

Data protection.

(6)

(6)

Logic programming.

(6)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

Computers, Special purpose.

(4)

Special Purpose and Application-Based Systems.

(4)

Computer science -- Mathematics.

(3)

Human-computer interaction.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computer Modelling.

(2)

Computer simulation.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Arithmetic and Logic Structures.

(1)

Business information services.

(1)

Communications Engineering, Networks.

(1)

Computer System Implementation.

(1)

Computer arithmetic and logic units.

(1)

Computer systems.

(1)

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

(1)

Computer-aided engineering.

(1)

(1)

(1)

Data encryption (Computer science).

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic digital computers -- Evaluation.

(1)

Expert systems (Computer science).

(1)

IT in Business.

(1)

Knowledge Based Systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

System Performance and Evaluation.

(1)

Telecommunication.

(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

55 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5

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.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II için kapak resmi

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63501-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings için kapak resmi

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Yazar

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63790-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Yazar

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings için kapak resmi

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Yazar

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings için kapak resmi

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings için kapak resmi

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings için kapak resmi

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Yazar

Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings için kapak resmi

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Yazar

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings için kapak resmi

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Yazar

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings için kapak resmi

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Yazar

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings için kapak resmi

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Yazar

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11