Search Results for Computer programming.

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: Computer science.

Yazar

SpringerLink (Online service)

(262)

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)

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

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

Bernardo, Marco. editor.

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

Draheim, Dirk. author.

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

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

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

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)

Sirjani, Marjan. editor.

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

Abreu, Jorge. editor.

(1)

Abásolo, María José. editor. (orcid)0000-0003-4441-3264

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiello, Marco. author.

(1)

Akama, Seiki. editor.

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Almeida, Pedro. editor.

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

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)

Barik, Rajkishore. editor.

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

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)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

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

Bruni, Roberto. author.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Butler, Michael. editor.

(1)

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

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Carretero, Jesus. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chang, Bor-Yuh Evan. 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)

Chávez, Edgar. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Cinquemani, Eugenio. editor.

(1)

Comninos, Peter. author.

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

Datta, Dilip. author.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Decker, Hendrik. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Desel, Jörg. editor.

(1)

Devitt, Simon. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Di Napoli, Edoardo. editor.

(1)

Diaz-Herrera, Jorge L., 1950- 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)

Drewes, Frank. editor.

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

Eden, A. H., 1967-

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

Tümünü genişlet

Dil

(264)

Yayın Yılı

-

(106)

(90)

(31)

(22)

(7)

(3)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer Science Logic and Foundations of Programming.

(231)

Software engineering.

(185)

Formal Languages and Automata Theory.

(140)

Machine theory.

(140)

Compilers (Computer programs).

(106)

Compilers and Interpreters.

(106)

Artificial intelligence.

(80)

(64)

Theory of Computation.

(63)

Computer programming.

(60)

Programming Techniques.

(56)

Computer networks .

(47)

Computer science -- Mathematics.

(47)

Application software.

(33)

Computer and Information Systems Applications.

(33)

Computer Modelling.

(32)

Computer simulation.

(32)

Computer Communication Networks.

(30)

Discrete mathematics.

(25)

Discrete Mathematics in Computer Science.

(24)

Computers, Special purpose.

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

(14)

System Performance and Evaluation.

(14)

Computer System Implementation.

(11)

Computer systems.

(11)

Mathematical statistics.

(11)

Natural Language Processing (NLP).

(11)

Natural language processing (Computer science).

(11)

Probability and Statistics in Computer Science.

(11)

(9)

Information Storage and Retrieval.

(9)

Information storage and retrieval systems.

(9)

Artificial intelligence -- Data processing.

(8)

(8)

Mathematical logic.

(8)

Mathematics of Computing.

(8)

Control Structures and Microprogramming.

(7)

Data and Information Security.

(7)

Data protection.

(7)

Microprogramming .

(7)

(6)

The Computing Profession.

(6)

Computer Application in Administrative Data Processing.

(5)

Computer games—Programming.

(5)

Database management.

(5)

Human-computer interaction.

(5)

Information technology -- Management.

(5)

Mathematical Logic and Foundations.

(5)

Symbolic and Algebraic Manipulation.

(5)

User Interfaces and Human Computer Interaction.

(5)

User interfaces (Computer systems).

(5)

Information theory.

(4)

(4)

Logic programming.

(4)

Mathematical Applications in Computer Science.

(4)

Models of Computation.

(4)

Programming Language.

(4)

Programming languages (Electronic computers).

(4)

Automated Pattern Recognition.

(3)

Bioinformatics.

(3)

Computational and Systems Biology.

(3)

Computer Hardware.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Design and Analysis of Algorithms.

(3)

Information systems.

(3)

Numerical analysis.

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

Pattern recognition systems.

(3)

Arithmetic and Logic Structures.

(2)

Business information services.

(2)

Coding and Information Theory.

(2)

(2)

Computational intelligence.

(2)

Computer arithmetic and logic units.

(2)

Computer graphics.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

(2)

IT in Business.

(2)

(2)

(2)

Operations Research and Decision Theory.

(2)

Operations research.

(2)

Quantum computers.

(2)

Quantum computing.

(2)

Algebra, Homological.

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

COMPUTERS / Information Technology

(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 logic.

(1)

Computer network architectures.

(1)

Computer programs -- Testing.

(1)

Computer software -- Development.

(1)

Computer system failures.

(1)

Computer vision.

(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 encryption (Computer science).

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering -- Data processing.

(1)

Formal Reasoning.

(1)

(1)

(1)

History of Computing.

(1)

Java (Computer program language).

(1)

(1)

Management information systems.

(1)

Mathematics -- Data processing.

(1)

Mathematics in Popular Science.

(1)

Microprocessors.

(1)

Monoclonal antibodies.

(1)

(1)

(1)

(1)

Object-oriented programming (Computer science)

(1)

Processor Architectures.

(1)

Python (Computer program language).

(1)

(1)

Quantum Computing.

(1)

Quantum Information.

(1)

Quantum physics.

(1)

(1)

(1)

Social sciences -- Data processing.

(1)

Software Testing.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

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ç

264 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 22

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.

25.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers için kapak resmi

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Yazar

Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday için kapak resmi

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Yazar

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

Yazar

Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

A First Introduction to Quantum Computing and Information için kapak resmi

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings için kapak resmi

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Yazar

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-8943-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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:

35.

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:

36.

Structural Decision Diagrams in Digital Test Theory and Applications için kapak resmi

Structural Decision Diagrams in Digital Test Theory and Applications

Structural Decision Diagrams in Digital Test Theory and Applications

Yazar

Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 22

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11