Search Results for Theory of Computation.

|

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

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.

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:

9.

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:

10.

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

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

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

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-82700-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I için kapak resmi

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings için kapak resmi

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 13

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11