Search Results for Computer 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ış:

+

Subject: 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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

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.

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:

26.

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:

27.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings için kapak resmi

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Yazar

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

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

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

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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:

30.

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:

31.

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:

32.

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings için kapak resmi

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Yazar

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

A Concise Introduction to Software Engineering With Open Source and GenAI için kapak resmi

A Concise Introduction to Software Engineering With Open Source and GenAI

A Concise Introduction to Software Engineering With Open Source and GenAI

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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:

36.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 22

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11