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

+

Subject: Software engineering.

Yazar

SpringerLink (Online service)

(108)

Bloem, Roderick. editor.

(2)

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

(2)

Legay, Axel. editor.

(2)

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

(2)

Petre, Luigia. editor.

(2)

Potapov, Igor. editor.

(2)

Son, Tran Cao. editor.

(2)

Sun, Jun. editor.

(2)

Tasiran, Serdar. editor.

(2)

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

(2)

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

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Albert, Elvira. editor.

(1)

Artho, Cyrille. editor.

(1)

Barais, Olivier. editor.

(1)

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

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertet, Karell. editor.

(1)

Beyer, Dirk. editor.

(1)

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

(1)

Biere, Armin. editor.

(1)

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

(1)

Binder, Walter. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Boiten, Eerke A. author.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Borchmann, Daniel. editor.

(1)

Boreale, Michele. editor.

(1)

Bravetti, Mario. editor.

(1)

Bruni, Roberto. author.

(1)

Bulling, Nils. editor.

(1)

Cabalar, Pedro. editor.

(1)

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

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cellier, Peggy. editor.

(1)

Cellier, Peggy. editor. (orcid)0000-0002-1495-2534

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Clarke, Edmund M. editor.

(1)

Cleaveland, Rance. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Crossley, John Newsome. author.

(1)

Czarnecki, Krzysztof. editor.

(1)

Derrick, John. author.

(1)

Dierkes, Michael. editor.

(1)

Dillig, Isil. editor.

(1)

Distel, Felix. editor.

(1)

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

(1)

Duchier, Denys. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

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

(1)

Feliachi, Abderrahmane. editor.

(1)

Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333

(1)

Fiadeiro, José Luiz. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

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

(1)

Fleuriot, Jacques. editor.

(1)

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

(1)

Fontaine, Pascal. editor.

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Fähndrich, Manuel. editor.

(1)

Gailly, Frederik. editor.

(1)

Galmiche, Didier. editor.

(1)

Ganter, Bernhard. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

George, Laurent. editor.

(1)

Ghosh, Sujata. editor.

(1)

Giachino, Elena. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Giese, Holger. editor.

(1)

Goertzel, Ben. editor.

(1)

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

(1)

Gorrieri, Roberto. author.

(1)

Graf, Susanne. editor.

(1)

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

(1)

Groves, Lindsay. editor.

(1)

Grädel, Erich. author.

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Gupta, Gopal. editor.

(1)

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

(1)

Hedin, Görel. editor.

(1)

Henzinger, Thomas A. editor.

(1)

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

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Hofman, Piotrek. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutter, Dieter. editor.

(1)

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

(1)

Hähnle, Reiner. editor.

(1)

Ida, Tetsuo. editor.

(1)

Iida, Shusaku. editor.

(1)

James, Phillip. editor.

(1)

Jamroga, Wojtek. editor.

(1)

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

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jones, Richard. editor.

(1)

Karhumäki, Juhani. editor.

(1)

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

(1)

Khan, Md. Aquil. editor.

(1)

Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337

(1)

Kolaitis, Phokion G. author.

(1)

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

(1)

Kroening, Daniel. editor.

(1)

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

(1)

König, Barbara. editor.

(1)

Kühnberger, Kai-Uwe. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leite, João. editor.

(1)

Lepistö, Arto. editor.

(1)

Li, Ge. editor.

(1)

Li, Ming. editor.

(1)

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

(1)

Libkin, Leonid. author.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor.

(1)

Logozzo, Francesco. editor.

(1)

Lutz, Carsten. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löwe, Welf. editor.

(1)

Manuel, Amaldev. editor.

(1)

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

(1)

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

(1)

Marx, Maarten. author.

(1)

Mastroeni, Isabella. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Merz, Stephan. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Middeldorp, Aart. editor.

(1)

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

(1)

Montanari, Ugo. author.

(1)

Muntean, Traian. editor.

(1)

Nahir, Amir. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

Ong, Luke. editor.

(1)

Orseau, Laurent. editor.

(1)

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

(1)

Ouaknine, Joel. editor.

(1)

O’Regan, Gerard. author.

(1)

Paige, Richard F. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pang, Jun. editor.

(1)

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

(1)

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

(1)

Parmentier, Yannick. editor.

(1)

Paule, Peter. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pearce, David. editor.

(1)

Pecheur, Charles. editor.

(1)

Peña, Ricardo. editor.

(1)

Pfenning, Frank. editor.

(1)

Pichardie, David. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Poernomo, Iman Hafiz. author.

(1)

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

(1)

Poulakis, Dimitrios. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Rauzy, Antoine. editor.

(1)

Remke, Anne. editor.

(1)

Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X

(1)

Ringeissen, Christophe. editor.

(1)

Roggenbach, Markus. editor.

(1)

Rolland, Robert. editor.

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor.

(1)

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

(1)

Rudolph, Sebastian. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Salaün, Gwen. editor.

(1)

Sannella, Donald. author.

(1)

Saraiva, João. editor.

(1)

Sattler, Uli. editor.

(1)

Schmidt, Renate A. editor.

(1)

Tümünü genişlet

Dil

(108)

Yayın Yılı

-

(44)

(24)

(24)

(5)

(3)

(3)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(60)

Mathematical logic.

(54)

Mathematical Logic and Formal Languages.

(43)

Artificial intelligence.

(39)

(39)

Logics and Meanings of Programs.

(34)

Computer logic.

(32)

Programming Languages, Compilers, Interpreters.

(25)

Artificial Intelligence (incl. Robotics).

(19)

Programming Techniques.

(18)

Programming languages (Electronic computers).

(17)

(14)

Computer software.

(11)

Algorithm Analysis and Problem Complexity.

(10)

Computer simulation.

(10)

Computer Communication Networks.

(9)

Computation by Abstract Devices.

(8)

Computer programming.

(8)

(8)

Logic, Symbolic and mathematical.

(7)

Mathematical Logic and Foundations.

(7)

Computational complexity.

(5)

Computer communication systems.

(5)

Computer system failures.

(5)

Discrete Mathematics in Computer Science.

(5)

Theory of Computation.

(5)

Application software.

(4)

Computer science—Mathematics.

(4)

Formal Languages and Automata Theory.

(4)

Information theory.

(4)

(4)

Logic programming.

(4)

Machine theory.

(4)

Natural language processing (Computer science).

(4)

Simulation and Modeling.

(4)

Computer Science Logic and Foundations of Programming.

(3)

Database management.

(3)

Information Systems Applications (incl. Internet).

(3)

Information Systems.

(3)

Management information systems.

(3)

Management of Computing and Information Systems.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Algebra -- Data processing.

(2)

(2)

Computer Modelling.

(2)

Computer System Implementation.

(2)

Computer networks .

(2)

Computer systems.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Data structures (Computer science).

(2)

Microprogramming .

(2)

Natural Language Processing (NLP).

(2)

Symbolic and Algebraic Manipulation.

(2)

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Science, general.

(1)

Computer and Information Systems Applications.

(1)

Computer graphics.

(1)

Computer organization.

(1)

Control Structures and Microprogramming.

(1)

Data protection.

(1)

Electronic data processing -- Management.

(1)

Health Informatics.

(1)

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information technology -- Management.

(1)

Mathematical Software.

(1)

Mathematics of Computing.

(1)

(1)

Medical records -- Data processing.

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Pattern Recognition.

(1)

Pattern recognition.

(1)

Social sciences -- Data processing.

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

(1)

Systems and Data Security.

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

108 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 9

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.

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:

2.

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings için kapak resmi

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Yazar

Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-89610-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers için kapak resmi

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Yazar

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51777-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings için kapak resmi

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Yazar

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings için kapak resmi

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Yazar

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71379-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings için kapak resmi

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Yazar

Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34146-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32079-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings için kapak resmi

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Yazar

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings için kapak resmi

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Yazar

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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 II 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 II

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 II

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-17465-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Yazar

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-13838-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 9

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11