Search Results for Formal languages.

|

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)

(406)

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

(10)

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

(9)

Martín-Vide, Carlos. editor.

(7)

Legay, Axel. editor.

(6)

Hameurlain, Abdelkader. editor.

(4)

Potapov, Igor. editor.

(4)

Schmidt, Renate A. editor.

(4)

Bekki, Daisuke. editor.

(3)

Crespi Reghizzi, Stefano. author.

(3)

Hinchey, Mike. editor.

(3)

Hähnle, Reiner. editor.

(3)

Liu, Shaoying. editor.

(3)

Son, Tran Cao. editor.

(3)

Truthe, Bianca. editor.

(3)

Voronkov, Andrei. editor.

(3)

Albert, Elvira. editor.

(2)

Artemov, Sergei. editor.

(2)

Artho, Cyrille. editor.

(2)

Baldoni, Matteo. editor.

(2)

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

(2)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

Benslimane, Djamal. editor.

(2)

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

(2)

Bernardo, Marco. editor.

(2)

Blazy, Sandrine. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796

(2)

Brlek, Srečko. editor.

(2)

Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299

(2)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(2)

Celino, Irene. editor. (orcid)0000-0001-9962-7193

(2)

Chaudhuri, Swarat. editor.

(2)

Corcho, Oscar. editor. (orcid)0000-0002-9260-0753

(2)

Câmpeanu, Cezar. editor.

(2)

Damiani, Ernesto. editor.

(2)

De Nicola, Rocco. editor.

(2)

Debruyne, Christophe. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Dennunzio, Alberto. editor.

(2)

Drewes, Frank. editor.

(2)

Eiter, Thomas. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Gabbay, Dov M. author.

(2)

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

(2)

Ghosh, Sujata. editor.

(2)

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

(2)

Gottlob, Georg. editor.

(2)

Grosky, William I. editor.

(2)

Groth, Paul. editor. (orcid)0000-0003-0183-6910

(2)

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

(2)

Hopcroft, John E., 1939-

(2)

Horrocks, Ian. editor.

(2)

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

(2)

Ianni, Giovambattista. editor.

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Johnsen, Einar Broch. editor.

(2)

Kapur, Deepak. editor.

(2)

Kaymak, Uzay. editor.

(2)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(2)

Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X

(2)

Küng, Josef. editor.

(2)

Lange, Christoph. editor.

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Leite, João. editor.

(2)

Leroy, Julien. editor.

(2)

Lesot, Marie-Jeanne. editor.

(2)

Lisena, Pasquale. editor. (orcid)0000-0003-3094-5585

(2)

Lämmel, Ralf. editor.

(2)

Manea, Florin. editor.

(2)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(2)

Manzoni, Luca. editor.

(2)

Mathieu, Philippe. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842

(2)

Moreno, María N. editor.

(2)

Morrill, Glyn. editor.

(2)

Morzenti, Angelo. author.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Métais, Elisabeth. editor.

(2)

Nerode, Anil. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Nuzzolese, Andrea Giovanni. editor. (orcid)0000-0003-2928-9496

(2)

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

(2)

Ong, Luke. editor.

(2)

Ortiz, Magdalena. editor.

(2)

Otto, Friedrich. author. (orcid)0009-0002-9760-5462

(2)

Pan, Jeff Z. editor.

(2)

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

(2)

Peters, James F. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Porreca, Antonio E. editor.

(2)

Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367

(2)

Presutti, Valentina. editor. (orcid)0000-0002-9380-5160

(2)

Proença, José. editor.

(2)

Raad, Joe. editor. (orcid)0000-0002-7891-7738

(2)

Reutenauer, Christophe. editor.

(2)

Revenko, Artem. editor. (orcid)0000-0001-6681-3328

(2)

Roggenbach, Markus. editor.

(2)

Roman, Dumitru. editor.

(2)

Romanovsky, Alexander. editor.

(2)

Rudolph, Sebastian. editor.

(2)

Sabou, Marta. editor. (orcid)0000-0001-9301-8418

(2)

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Saraiva, João. editor.

(2)

Sartini, Bruno. editor. (orcid)0000-0002-9152-4402

(2)

Satoh, Ken. editor.

(2)

Shallit, Jeffrey. editor.

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Sheth, Amit. editor.

(2)

Simperl, Elena. editor. (orcid)0000-0003-1722-947X

(2)

Skowron, Andrzej. editor.

(2)

Soto, José A. editor.

(2)

Subrahmanian, V.S. author.

(2)

Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

(2)

Torroni, Paolo. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Vieira, Susana. editor.

(2)

Wagner, Roland R. editor.

(2)

Wagner, Roland. editor.

(2)

Wang, Zhe. editor.

(2)

Wiese, Andreas. editor.

(2)

Yager, Ronald R. editor.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

Zholtkevych, Grygoriy. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Ölveczky, Peter Csaba. 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.

(1)

Abelló, Alberto. editor.

(1)

Aberdein, Andrew. editor.

(1)

Aceto, Luca. editor.

(1)

Achten, Peter. editor.

(1)

Adam, Emmanuel. editor.

(1)

Adami, André. editor.

(1)

Adorni, Giovanni. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aickelin, Uwe. editor.

(1)

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

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Aldini, Alessandro. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Amblard, Maxime. editor.

(1)

Amgoud, Leila. author.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Andréka, Hajnal. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arai, Sachiyo. editor.

(1)

Arbel, Eli. editor.

(1)

Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795

(1)

Aronoff, Mark, editor.

(1)

Aspinall, David. editor.

(1)

Atallah, Mikhail J.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bagdasar, Ovidiu. author.

(1)

Baier, Christel. editor.

(1)

Bajo, Javier. editor.

(1)

Balduccini, Marcello. editor.

(1)

Baltag, Alexandru. editor.

(1)

Barbosa, Haniel. editor.

(1)

Baresi, Luciano. editor.

(1)

Baroglio, Cristina. editor.

(1)

Barrett, Clark. editor.

(1)

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

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Beck, J. Christopher. editor.

(1)

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

(1)

Beckmann, Arnold. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Bel-Enguix, Gemma. editor.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Berto, Francesco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179

(1)

Best, Eike. editor.

(1)

Beyer, Dirk. editor.

(1)

Bezhanishvili, Guram. editor.

(1)

Tümünü genişlet

Dil

(432)

(1)

(1)

Yayın Yılı

-

(113)

(108)

(101)

(33)

(30)

(11)

(6)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(284)

Machine theory.

(254)

Formal Languages and Automata Theory.

(249)

Software engineering.

(193)

Artificial intelligence.

(184)

Computer Science Logic and Foundations of Programming.

(142)

Mathematical Logic and Formal Languages.

(101)

Compilers (Computer programs).

(84)

Compilers and Interpreters.

(84)

Theory of Computation.

(69)

(65)

Computer science -- Mathematics.

(61)

Programming Techniques.

(61)

Application software.

(59)

Computer and Information Systems Applications.

(59)

(59)

Logics and Meanings of Programs.

(55)

Artificial Intelligence (incl. Robotics).

(48)

Computer networks .

(46)

Discrete Mathematics in Computer Science.

(45)

Computer Communication Networks.

(43)

Computer programming.

(41)

Data Mining and Knowledge Discovery.

(40)

(40)

Information Storage and Retrieval.

(37)

Information storage and retrieval systems.

(37)

Discrete mathematics.

(30)

Programming Languages, Compilers, Interpreters.

(30)

Computer simulation.

(28)

Database management.

(27)

Natural Language Processing (NLP).

(26)

Natural language processing (Computer science).

(26)

Computer software.

(24)

Algorithm Analysis and Problem Complexity.

(23)

Mathematical Logic and Foundations.

(23)

Computation by Abstract Devices.

(21)

Computer Modelling.

(21)

Mathematics of Computing.

(20)

Computational complexity.

(19)

Special Purpose and Application-Based Systems.

(19)

Computers, Special purpose.

(18)

Information theory.

(16)

Symbolic and Algebraic Manipulation.

(16)

Computer Application in Administrative Data Processing.

(13)

Information technology -- Management.

(13)

(13)

Logic programming.

(13)

Logic, Symbolic and mathematical.

(13)

Mathematical logic.

(13)

Computer Engineering and Networks.

(11)

Computer engineering.

(11)

Data protection.

(11)

Data structures (Computer science).

(11)

Artificial intelligence -- Data processing.

(10)

Computer vision.

(10)

(10)

Data and Information Security.

(10)

Algebra -- Data processing.

(9)

(9)

Probability and Statistics in Computer Science.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Formal languages.

(8)

Mathematical Applications in Computer Science.

(8)

Automated Pattern Recognition.

(7)

Bioinformatics.

(7)

Control Structures and Microprogramming.

(7)

Data Structures and Information Theory.

(7)

Information Systems Applications (incl. Internet).

(7)

Mathematical statistics.

(7)

(7)

Microprogramming .

(7)

Pattern recognition systems.

(7)

Programming languages (Electronic computers).

(7)

Simulation and Modeling.

(7)

Social sciences -- Data processing.

(7)

Computational intelligence.

(6)

Computational linguistics.

(6)

Math Applications in Computer Science.

(6)

Programming Language.

(6)

User Interfaces and Human Computer Interaction.

(6)

Computational and Systems Biology.

(5)

Computer Science, general.

(5)

Electronic data processing -- Management.

(5)

Electronic data processing.

(5)

(5)

Information systems.

(5)

Models of Computation.

(5)

Philosophy (General).

(5)

(4)

(4)

Computer Application in Social and Behavioral Sciences.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer graphics.

(4)

(4)

Design and Analysis of Algorithms.

(4)

Numeric Computing.

(4)

Numerical analysis.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

(4)

System Performance and Evaluation.

(4)

BİÇİMSEL DİL.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer architecture.

(3)

Data Structures.

(3)

Electronic Circuits and Systems.

(3)

Electronic circuits.

(3)

Electronic digital computers -- Evaluation.

(3)

(3)

Health Informatics.

(3)

Human-computer interaction.

(3)

Information Systems.

(3)

Management of Computing and Information Systems.

(3)

Microprocessors.

(3)

Processor Architectures.

(3)

User interfaces (Computer systems).

(3)

Algebraic topology.

(2)

Applications of Mathematics.

(2)

Coding and Information Theory.

(2)

(2)

Computational Biology/Bioinformatics.

(2)

Computer programs -- Testing.

(2)

Computers and Education.

(2)

Computers and Society.

(2)

Education -- Data processing.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

(2)

Engineering mathematics.

(2)

History of Mathematical Sciences.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Medical informatics.

(2)

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Programming languages (Electronic computers) -- Semantics.

(2)

Software Engineering/Programming and Operating Systems.

(2)

Software Testing.

(2)

Translators (Computer programs).

(2)

(1)

Application software -- Development.

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

Asia -- Languages.

(1)

Asian Languages.

(1)

Augmented reality.

(1)

Automobiles -- Automatic control -- Equipment and supplies.

(1)

Automobiles -- Electronic equipment.

(1)

Automotive computers.

(1)

(1)

Building information modeling.

(1)

Business Information Systems.

(1)

Business Process Management.

(1)

Business information services.

(1)

COMPUTERS -- User Interfaces.

(1)

COMPUTERS / Programming Languages / General.

(1)

(1)

Cell aggregation -- Mathematics.

(1)

Code generators.

(1)

Communications Engineering, Networks.

(1)

Compilers (Computer programs)

(1)

Computational Intelligence.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer Hardware.

(1)

Computer Memory Structure.

(1)

Computer algorithms.

(1)

Computer graphics

(1)

Computer input-output equipment.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer software -- Development.

(1)

Computer storage devices.

(1)

Computer system performance.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Context (Linguistics)

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory).

(1)

Document Preparation and Text Processing.

(1)

(1)

Electronic books.

(1)

Embedded computer systems.

(1)

Engineering -- Handbooks, manuals, etc.

(1)

(1)

Expert systems (Computer science).

(1)

Facility management.

(1)

Fibonacci numbers

(1)

Fibonacci numbers.

(1)

Formal languages -- Semantics.

(1)

Formale Semantik.

(1)

Formal languages.

(1)

Generative grammar.

(1)

Genetic epistemology.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

Kütüphane

Beytepe Kütüphanesi

Ç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

434 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 37

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.

An Introduction to Theory of Computation An Algorithmic Approach için kapak resmi

An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

Yazar

Ogihara, Mitsunori. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84740-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I için kapak resmi

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

Yazar

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Yazar

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7956-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings için kapak resmi

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Yazar

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-05134-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings için kapak resmi

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Yazar

Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

R-Calculus, V: Description Logics için kapak resmi

R-Calculus, V: Description Logics

R-Calculus, V: Description Logics

Yazar

Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-6460-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Yazar

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I için kapak resmi

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

Yazar

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55598-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II için kapak resmi

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

Yazar

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings için kapak resmi

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Yazar

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

The French School of Programming için kapak resmi

The French School of Programming

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 37

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11