Search Results for Computer Science Logic and Foundations of 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

Yazar

SpringerLink (Online service)

(233)

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

(9)

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

(9)

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

(4)

Artho, Cyrille. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Legay, Axel. editor.

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Schmidt, Renate A. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

Bouajjani, Ahmed. editor.

(2)

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

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

De Nicola, Rocco. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Guiochet, Jérémie. editor.

(2)

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

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Johnsen, Einar Broch. editor.

(2)

Kapur, Deepak. editor.

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

Kunčak, Viktor. editor.

(2)

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

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Majumdar, Rupak. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

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

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Pogodalla, Sylvain. editor.

(2)

Potapov, Igor. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Proença, José. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Skavhaug, Amund. editor.

(2)

Tonetta, Stefano. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

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

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Akama, Seiki. editor.

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Amblard, Maxime. editor.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X

(1)

Arbel, Eli. editor.

(1)

Artemov, Sergei. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bader, Markus. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Balduccini, Marcello. editor.

(1)

Baltag, Alexandru. editor.

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

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

(1)

Barrett, Clark. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

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

(1)

Bazzan, Ana. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260

(1)

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

(1)

Berger, Christian. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394

(1)

Best, Eike. editor.

(1)

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

(1)

Biro, Miklos. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bortolussi, Luca. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bowles, Juliana. editor. (orcid)0000-0002-5918-9114

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Brlek, Srečko. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Charatan, Quentin. author.

(1)

Charlier, Émilie. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chen, Yidong. editor. (orcid)0000-0002-0243-7228

(1)

Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520

(1)

Cholvy, Laurence. editor.

(1)

Chopra, Amit K. editor.

(1)

Chowdhary, K.R. author.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Condon, Anne. editor.

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Cussens, James. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Daneva, Maya. editor.

(1)

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

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Decker, Hendrik. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Desel, Jörg. editor.

(1)

Devitt, Simon. editor.

(1)

Di Marco, Antinisca. editor.

(1)

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

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Donzé, Alexandre. editor.

(1)

Draheim, Dirk. author.

(1)

Du, Dingzhu. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Ebert, Achim. editor.

(1)

Echahed, Rachid. editor.

(1)

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

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Esposito, Floriana. editor.

(1)

Falcone, Yliès. editor.

(1)

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

(1)

Farmer, William M. author. (orcid)0009-0009-5524-9085

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Fellows, Michael. editor.

(1)

Feret, Jérôme. editor.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Ferragina, Paolo. author.

(1)

Festa, Paola. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finger, Marcelo. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Foret, Annie. editor.

(1)

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

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galitsky, Boris. author.

(1)

Garbinato, Benoît. editor.

(1)

Gavanelli, Marco. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

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

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Gopal, T.V. editor.

(1)

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

(1)

Tümünü genişlet

Dil

(233)

Yayın Yılı

-

(101)

(84)

(29)

(18)

(1)

Konu

Computer Science Logic and Foundations of Programming.

(231)

Computer science.

(231)

Software engineering.

(170)

Formal Languages and Automata Theory.

(138)

Machine theory.

(138)

Compilers (Computer programs).

(99)

Compilers and Interpreters.

(99)

Artificial intelligence.

(73)

(57)

Theory of Computation.

(47)

Computer networks .

(45)

Computer science -- Mathematics.

(44)

Computer programming.

(42)

Programming Techniques.

(42)

Computer Modelling.

(32)

Computer simulation.

(32)

Application software.

(30)

Computer and Information Systems Applications.

(30)

Computer Communication Networks.

(28)

Discrete mathematics.

(23)

Computers, Special purpose.

(22)

Discrete Mathematics in Computer Science.

(22)

Special Purpose and Application-Based Systems.

(22)

Electronic data processing -- Management.

(18)

(18)

Computer Engineering and Networks.

(17)

Computer engineering.

(17)

Electronic digital computers -- Evaluation.

(12)

System Performance and Evaluation.

(12)

Computer System Implementation.

(10)

Computer systems.

(10)

Mathematical statistics.

(10)

Probability and Statistics in Computer Science.

(10)

Information Storage and Retrieval.

(9)

Information storage and retrieval systems.

(9)

Natural Language Processing (NLP).

(9)

Natural language processing (Computer science).

(9)

(8)

Control Structures and Microprogramming.

(8)

Mathematics of Computing.

(8)

Microprogramming .

(8)

Data and Information Security.

(7)

Data protection.

(7)

Artificial intelligence -- Data processing.

(6)

(6)

Mathematical logic.

(6)

Computer Application in Administrative Data Processing.

(5)

Information technology -- Management.

(5)

Mathematical Logic and Foundations.

(5)

(5)

Symbolic and Algebraic Manipulation.

(5)

The Computing Profession.

(5)

Database management.

(4)

(4)

Logic programming.

(4)

Mathematical Applications in Computer Science.

(4)

Data Mining and Knowledge Discovery.

(3)

(3)

Design and Analysis of Algorithms.

(3)

Human-computer interaction.

(3)

Information theory.

(3)

Numerical analysis.

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Arithmetic and Logic Structures.

(2)

Bioinformatics.

(2)

Business information services.

(2)

Coding and Information Theory.

(2)

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer arithmetic and logic units.

(2)

Engineering -- Data processing.

(2)

IT in Business.

(2)

(2)

(2)

Models of Computation.

(2)

Operations Research and Decision Theory.

(2)

Operations research.

(2)

Quantum computers.

(2)

Algebra, Homological.

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Automated Pattern Recognition.

(1)

Category Theory, Homological Algebra.

(1)

Computational Science and Engineering.

(1)

Computational complexity.

(1)

Computational linguistics.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer architecture.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

(1)

(1)

Data Engineering.

(1)

Data Structures and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering mathematics.

(1)

Formal Reasoning.

(1)

(1)

(1)

History of Computing.

(1)

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematics -- Data processing.

(1)

Mathematics in Popular Science.

(1)

Microprocessors.

(1)

(1)

(1)

Pattern recognition systems.

(1)

Processor Architectures.

(1)

Python (Computer program language).

(1)

(1)

Quantum Computing.

(1)

Quantum Information.

(1)

Quantum computing.

(1)

Quantum physics.

(1)

(1)

(1)

Social sciences -- Data processing.

(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

233 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 20

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.

37.

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings için kapak resmi

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Yazar

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday için kapak resmi

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Yazar

Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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

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

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

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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:

41.

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers için kapak resmi

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Yazar

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings için kapak resmi

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Yazar

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings için kapak resmi

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-46002-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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:

45.

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday için kapak resmi

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Yazar

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings için kapak resmi

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

Yazar

Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings için kapak resmi

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Yazar

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72621-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" için kapak resmi

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Yazar

Polkowski, Lech T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11