Search Results for Theory of Computation.

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)

(154)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(11)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(11)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Paszynski, Maciej. editor.

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Abramson, David. editor. (orcid)0000-0003-0441-4596

(4)

Cai, Wentong. editor. (orcid)0000-0002-0183-3835

(4)

Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699

(4)

Lees, Michael H. editor. (orcid)0000-0002-5457-9180

(4)

Legay, Axel. editor.

(4)

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

(4)

Su, Yi. editor.

(4)

Coron, Jean-Sébastien. editor.

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

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

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

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

(3)

Kovács, Laura. editor.

(3)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(3)

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

(3)

Nielsen, Jesper Buus. editor.

(3)

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

(3)

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

(3)

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

(3)

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

(3)

Zhu, Huibiao. editor.

(3)

Aceto, Luca. editor.

(2)

Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

(2)

Akshay, S. editor. (orcid)0000-0002-2471-5997

(2)

Artho, Cyrille. editor.

(2)

Atzmüller, Martin. editor. (orcid)0000-0002-2480-6901

(2)

Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361

(2)

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

(2)

Biecek, Przemysław. editor.

(2)

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

(2)

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662

(2)

Bobek, Szymon. editor.

(2)

Bruno, Pierangela. editor.

(2)

Calimeri, Francesco. editor.

(2)

Cauteruccio, Francesco. editor.

(2)

Chung, Neo Christopher. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Dimitrova, Rayna. editor.

(2)

Dimitrova, Vania. editor.

(2)

Fernandez, Miriam. editor.

(2)

Gangemi, Aldo. editor.

(2)

Hartig, Olaf. editor. (orcid)0000-0002-1741-2090

(2)

Heflin, Jeff. editor.

(2)

Hitzler, Pascal. editor.

(2)

Hoekstra, Rinke. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Jaworek-Korjakowska, Joanna. editor. (orcid)0000-0003-0146-8652

(2)

Kayakutlu, Gülgün. editor. (orcid)0000-0001-8548-6377

(2)

Kliegr, Tomáš. editor. (orcid)0000-0002-7261-0380

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Lange, Christoph. editor.

(2)

Lavrac, Nada. editor. (orcid)0000-0002-9995-7093

(2)

Lecue, Freddy. editor.

(2)

Lee, Roger. editor.

(2)

Leidner, Jochen L. editor.

(2)

Liu, Zhiming. editor.

(2)

Mason, Karl. editor. (orcid)0000-0002-8966-9100

(2)

Maynard, Diana. editor.

(2)

Mercier-Laurent, Eunika. editor.

(2)

Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212

(2)

Niemetz, Aina. editor.

(2)

Nikitas, Alexandros. editor.

(2)

Nowaczyk, Sławomir. editor.

(2)

Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727

(2)

Owoc, Mieczyslaw Lech. editor.

(2)

Parkinson, Simon. editor. (orcid)0000-0002-1747-9914

(2)

Peeters, Marieke. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Robben, Saskia. editor.

(2)

Sankaranarayanan, Sriram. editor.

(2)

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

(2)

Schmid, Ute. editor. (orcid)0000-0002-1301-0326

(2)

Sequeda, Juan. editor.

(2)

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

(2)

Skruch, Paweł. editor.

(2)

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

(2)

Tamma, Valentina. editor.

(2)

Terracina, Giorgio. editor.

(2)

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

(2)

Vallati, Mauro. editor. (orcid)0000-0002-8429-3570

(2)

Wahid, Abdul. editor.

(2)

Wolff, Sebastian. editor.

(2)

Wolter, Diedrich. editor.

(2)

Woodcock, Jim. editor.

(2)

d'Amato, Claudia. editor.

(2)

van Dierendonck, Roland. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Albert, Elvira. editor.

(1)

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

(1)

Antunes, Luis. editor.

(1)

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062

(1)

Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517

(1)

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351

(1)

Aveiro, David. editor.

(1)

Aydoğan, Reyhan. editor.

(1)

Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999

(1)

Baarslag, Tim. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Barbosa, Haniel. editor.

(1)

Barbosa, Jorge. editor.

(1)

Barik, Rajkishore. editor.

(1)

Bartocci, Ezio. editor.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bergenthum, Robin. editor.

(1)

Bernardino, Jorge. editor. (orcid)0000-0001-9660-2011

(1)

Biro, Miklos. editor.

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bouajjani, Ahmed. editor.

(1)

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182

(1)

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

(1)

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761

(1)

Bruni, Roberto. author.

(1)

Bu, Lei. editor.

(1)

Butler, Michael. editor.

(1)

Börger, Egon. author.

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299

(1)

Calvo, Hiram. editor. (orcid)0000-0003-2836-2102

(1)

Camacho, Rui. editor.

(1)

Cardoso, João M.P. editor.

(1)

Carretero, Jesus. editor.

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

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

(1)

Cavalheiro, Simone. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

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

(1)

Chen, Haowen. author.

(1)

Chen, Liqian. editor. (orcid)0000-0001-8084-8009

(1)

Ciardo, Gianfranco. editor.

(1)

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

(1)

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

(1)

Coenen, Frans. editor.

(1)

Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575

(1)

Creignou, Nadia. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens, Nora. editor.

(1)

Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398

(1)

Câmpeanu, Cezar. editor.

(1)

D'Souza, Deepak. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Das, Swagatam. editor.

(1)

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

(1)

Deng, Lizhen. author.

(1)

Di Napoli, Edoardo. editor.

(1)

Dietz, Jan. editor.

(1)

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

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Dutra, Inês. editor.

(1)

England, Matthew. editor.

(1)

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

(1)

Fantechi, Alessandro. editor.

(1)

Fernández, Maribel. author.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Fiadeiro, José. editor.

(1)

Fitzgerald, John. editor.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

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

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Fred, Ana. editor.

(1)

Fredericks, Erik M. editor.

(1)

Fränzle, Martin. editor.

(1)

Gadducci, Fabio. editor.

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Garcia-Blas, Javier. editor.

(1)

Gaspers, Serge. editor.

(1)

Gaudou, Benoit. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Gerding, Enrico. editor.

(1)

Gervasi, Vincenzo. author.

(1)

Geuvers, Herman. editor.

(1)

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

(1)

Goharshady, Amir. editor. (orcid)0000-0003-1702-6584

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Gorrieri, Roberto. author.

(1)

Gruenwald, Le. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gupta, Rajiv. editor.

(1)

Hague, Matthew. editor.

(1)

Tümünü genişlet

Dil

(154)

Yayın Yılı

-

(41)

(38)

(37)

(26)

(8)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(145)

Theory of Computation.

(141)

Artificial intelligence.

(76)

Computer networks .

(69)

Computer Engineering and Networks.

(38)

Computer engineering.

(38)

Computer science -- Mathematics.

(33)

Computer Communication Networks.

(31)

Computer Science Logic and Foundations of Programming.

(31)

Application software.

(26)

Computer and Information Systems Applications.

(26)

Compilers (Computer programs).

(25)

Compilers and Interpreters.

(25)

Mathematics of Computing.

(25)

Computer simulation.

(22)

Formal Languages and Automata Theory.

(22)

Machine theory.

(22)

Computer Modelling.

(21)

(16)

Control Structures and Microprogramming.

(13)

Microprogramming .

(13)

(11)

Information theory.

(10)

Operating Systems.

(10)

Operating systems (Computers).

(10)

Computer programming.

(9)

Programming Techniques.

(9)

Computers, Special purpose.

(7)

Data protection.

(7)

Discrete Mathematics in Computer Science.

(7)

Discrete mathematics.

(7)

(7)

Logic programming.

(7)

Special Purpose and Application-Based Systems.

(7)

Data Mining and Knowledge Discovery.

(6)

Data and Information Security.

(6)

(6)

Database management.

(6)

Electronic data processing -- Management.

(6)

(6)

Computational intelligence.

(5)

Computer System Implementation.

(5)

Computer systems.

(5)

Computer vision.

(5)

Information technology -- Management.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Computer Application in Administrative Data Processing.

(4)

Computer Hardware.

(4)

Computing Milieux.

(4)

(4)

(4)

Data encryption (Computer science).

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Automated Pattern Recognition.

(3)

Electronic digital computers -- Evaluation.

(3)

(3)

Mathematical Logic and Foundations.

(3)

Pattern recognition systems.

(3)

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

Software Engineering/Programming and Operating Systems.

(3)

System Performance and Evaluation.

(3)

The Computing Profession.

(3)

Artificial Intelligence (incl. Robotics).

(2)

Computation by Abstract Devices.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer software.

(2)

Image processing -- Digital techniques.

(2)

Mathematical Logic and Formal Languages.

(2)

Mathematical logic.

(2)

Symbolic and Algebraic Manipulation.

(2)

Algebra -- Data processing.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Arithmetic and Logic Structures.

(1)

Bioinformatics.

(1)

Business Process Management.

(1)

Coding and Information Theory.

(1)

(1)

Computational and Systems Biology.

(1)

Computational complexity.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer network architectures.

(1)

Computer programs -- Testing.

(1)

Computer system performance.

(1)

Computers -- History.

(1)

Computers and Education.

(1)

Computing Methodologies.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Education -- Data processing.

(1)

Electronic commerce.

(1)

Electronic data processing.

(1)

History of Computing.

(1)

Logic, Symbolic and mathematical.

(1)

Logics and Meanings of Programs.

(1)

Mathematical Software.

(1)

Mathematical optimization.

(1)

(1)

Microprocessors.

(1)

Models of Computation.

(1)

Numerical analysis.

(1)

(1)

Processor Architectures.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Quantum Computing.

(1)

Security Services.

(1)

Simulation and Modeling.

(1)

Software Testing.

(1)

e-Commerce and e-Business.

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

154 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 13

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.

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Yazar

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89366-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54458-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings için kapak resmi

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Yazar

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55751-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49630-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37075-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Models of Computation An Introduction to Computability Theory için kapak resmi

Models of Computation An Introduction to Computability Theory

Models of Computation An Introduction to Computability Theory

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-434-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Yazar

Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11690634

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings için kapak resmi

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

Yazar

Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Yazar

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0602-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings için kapak resmi

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Yazar

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings için kapak resmi

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

Yazar

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II için kapak resmi

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 13

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11