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ış:

+

Konu: 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.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions için kapak resmi

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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:

10.

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:

11.

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers için kapak resmi

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Yazar

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90643-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