Search Results for Computer programming.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Shelf Location: 1:SPRINGER

Yazar

SpringerLink (Online service)

(419)

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)

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

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

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(3)

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

(3)

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

(3)

O'Regan, Gerard. author.

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

Anwar, Sajid. editor. (orcid)0000-0003-3393-1656

(2)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(2)

Bazzan, Ana. editor.

(2)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bouajjani, Ahmed. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

De Nicola, Rocco. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor.

(2)

Draheim, Dirk. author.

(2)

Farhaoui, Yousef. editor.

(2)

Farzan, Azadeh. editor.

(2)

Filipe, Joaquim. editor.

(2)

Fränzle, Martin. editor.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

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

Hähnle, Reiner. editor.

(2)

Jackson, Wallace. author.

(2)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(2)

Johnsen, Einar Broch. editor.

(2)

Kadarmideen, Haja N. editor.

(2)

Kapur, Deepak. editor.

(2)

Karczewski, Konrad. editor.

(2)

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

(2)

Kitowski, Jacek. editor.

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

Kunčak, Viktor. editor.

(2)

Laaksonen, Antti. author.

(2)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(2)

Larsen, Kim Guldstrand. editor.

(2)

Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100

(2)

Le, Hoai Minh. editor.

(2)

Lecomte, Thierry. editor.

(2)

Lee, Kent D. author.

(2)

Liu, Shaoying. editor.

(2)

Luković, Ivan. editor. (orcid)0000-0003-1319-488X

(2)

Maciaszek, Leszek A. editor.

(2)

Majumdar, Rupak. editor.

(2)

McCutchan, John. author.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404

(2)

Olmstead, Don. author.

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Perner, Petra. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Potapov, Igor. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Proença, José. editor.

(2)

Roman, Dumitru. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Sirjani, Marjan. editor.

(2)

Skavhaug, Amund. editor.

(2)

Sobolev, Sergey. editor.

(2)

Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864

(2)

Tonetta, Stefano. editor.

(2)

Ullah, Abrar. editor.

(2)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(2)

Wiatr, Kazimierz. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

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

Abe, Naoko. editor.

(1)

Abelló, Alberto. editor.

(1)

Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991

(1)

Agha, Gul. editor.

(1)

Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Akama, Seiki. editor.

(1)

Al-Taie, Mohammed Zuhair. author.

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

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

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Amblard, Maxime. editor.

(1)

Ammeraal, Leen. author.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Anjorin, Anthony. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Arbel, Eli. editor.

(1)

Ardolino, Alessandro. author.

(1)

Argüelles Mendez, Luis. author.

(1)

Arnaud, Remi. author.

(1)

Artemov, Sergei. editor.

(1)

Austin, Chad. author.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aycock, John. author.

(1)

Aydin, Abdulbaki. author.

(1)

Bader, Markus. editor.

(1)

Bakurov, Illya. editor. (orcid)0000-0002-6458-942X

(1)

Balduccini, Marcello. editor.

(1)

Ballantyne, Ian. author.

(1)

Baltag, Alexandru. editor.

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

Barik, Rajkishore. editor.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Barrett, Clark. editor.

(1)

Barzen, Johanna. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Baumann, Christoph. author.

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Beckner, Mark. author.

(1)

Beebe, Nelson H.F. author.

(1)

Behzadidoost, Rashid. author.

(1)

Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Bennett, Sean. author.

(1)

Berger, Christian. editor.

(1)

Berinstein, Paula. author.

(1)

Bernardo, Marco. 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)

Bhardwaj, Vikas. author.

(1)

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

(1)

Biro, Miklos. editor.

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blackman, Sue. author.

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

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. 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)

Bramer, Max. author.

(1)

Brandt, Steven R. author.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Breitman, Karin. editor.

(1)

Brlek, Srečko. editor.

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Bruni, Roberto. author.

(1)

Bråthen, Svein. editor.

(1)

Bubel, Richard. editor.

(1)

Buhr, Peter A. author.

(1)

Bultan, Tevfik. author.

(1)

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

(1)

Butler, Michael. editor.

(1)

Cabaleiro, José C. editor.

(1)

Calandra, Davide. editor. (orcid)0000-0001-5159-7167

(1)

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

(1)

Carayol, Arnaud. editor.

(1)

Tümünü genişlet

Dil

(419)

Yayın Yılı

-

(142)

(136)

(57)

(55)

(29)

Konu

Computer science.

(249)

Software engineering.

(236)

Computer Science Logic and Foundations of Programming.

(230)

Formal Languages and Automata Theory.

(150)

Machine theory.

(150)

Computer programming.

(147)

Programming Techniques.

(147)

Compilers (Computer programs).

(146)

Compilers and Interpreters.

(146)

Artificial intelligence.

(109)

(84)

Computer networks .

(70)

Computer science -- Mathematics.

(68)

Theory of Computation.

(63)

Application software.

(53)

Computer and Information Systems Applications.

(53)

Computer Communication Networks.

(48)

Computer Modelling.

(43)

Computer simulation.

(43)

Discrete mathematics.

(31)

Discrete Mathematics in Computer Science.

(29)

Computers, Special purpose.

(28)

Special Purpose and Application-Based Systems.

(28)

Computer System Implementation.

(27)

Computer systems.

(27)

Computer Engineering and Networks.

(23)

Computer engineering.

(23)

Electronic digital computers -- Evaluation.

(22)

System Performance and Evaluation.

(22)

(20)

Electronic data processing -- Management.

(18)

(18)

Natural Language Processing (NLP).

(18)

Natural language processing (Computer science).

(18)

Mathematics of Computing.

(17)

Programming Language.

(16)

Programming languages (Electronic computers).

(16)

Computational intelligence.

(15)

Data Mining and Knowledge Discovery.

(15)

(15)

Computer games -- Programming.

(14)

Control Structures and Microprogramming.

(14)

Game Development.

(14)

Human-computer interaction.

(14)

Mathematical statistics.

(14)

Microprogramming .

(14)

User Interfaces and Human Computer Interaction.

(14)

User interfaces (Computer systems).

(14)

Information Storage and Retrieval.

(13)

Information storage and retrieval systems.

(13)

Probability and Statistics in Computer Science.

(13)

Engineering -- Data processing.

(12)

Engineering mathematics.

(12)

Artificial intelligence -- Data processing.

(11)

(11)

Database management.

(11)

Information theory.

(11)

Data and Information Security.

(10)

Data protection.

(10)

Mathematical Applications in Computer Science.

(10)

Mathematical and Computational Engineering Applications.

(10)

Computer Application in Administrative Data Processing.

(9)

Computer Hardware.

(9)

Computer architecture.

(9)

Computers and Education.

(9)

Education -- Data processing.

(9)

Information technology -- Management.

(9)

Data Structures and Information Theory.

(8)

Data structures (Computer science).

(8)

(8)

Logic programming.

(8)

Operating Systems.

(8)

Operating systems (Computers).

(8)

(8)

The Computing Profession.

(8)

Electronic Circuits and Systems.

(7)

Electronic circuits.

(7)

Mathematical logic.

(7)

(7)

Microprocessors.

(7)

Numerical analysis.

(7)

Processor Architectures.

(7)

Python (Computer program language).

(7)

(7)

Applications of Mathematics.

(6)

Automated Pattern Recognition.

(6)

Data Analysis and Big Data.

(6)

Design and Analysis of Algorithms.

(6)

Mathematical Logic and Foundations.

(6)

Mathematical statistics -- Data processing.

(6)

Pattern recognition systems.

(6)

Quantitative research.

(6)

Statistics and Computing.

(6)

Arithmetic and Logic Structures.

(5)

Bioinformatics.

(5)

Communications Engineering, Networks.

(5)

Computational and Systems Biology.

(5)

Computer Application in Social and Behavioral Sciences.

(5)

Computer arithmetic and logic units.

(5)

Computer graphics.

(5)

Control engineering.

(5)

(5)

Social sciences -- Data processing.

(5)

Symbolic and Algebraic Manipulation.

(5)

Telecommunication.

(5)

Models of Computation.

(4)

(3)

Apple computer.

(3)

(3)

Business information services.

(3)

Coding and Information Theory.

(3)

(3)

Computer programs -- Testing.

(3)

Computers -- History.

(3)

Control, Robotics, Automation.

(3)

Digital humanities.

(3)

Hardware Performance and Reliability.

(3)

Health Informatics.

(3)

History of Computing.

(3)

IT in Business.

(3)

Machine learning.

(3)

Medical informatics.

(3)

Microsoft .NET Framework.

(3)

Microsoft software.

(3)

(3)

Multimedia systems.

(3)

Operations Research and Decision Theory.

(3)

Operations research.

(3)

Quantum computers.

(3)

(3)

Software Testing.

(3)

Astronomy -- Observations.

(2)

Astronomy, Observations and Techniques.

(2)

Computer input-output equipment.

(2)

Computer vision.

(2)

Computer-Aided Engineering (CAD, CAE) and Design.

(2)

Computer-aided engineering.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Control and Systems Theory.

(2)

(2)

(2)

Data Engineering.

(2)

Data Storage Representation.

(2)

Data encryption (Computer science).

(2)

Digital Education and Educational Technology.

(2)

Educational technology.

(2)

Electrical and Electronic Engineering.

(2)

Electrical engineering.

(2)

Genetics and Genomics.

(2)

(2)

Human-machine systems.

(2)

Information retrieval.

(2)

Input/Output and Data Communications.

(2)

Interactive multimedia.

(2)

(2)

(2)

Mathematical physics.

(2)

Mathematics -- Data processing.

(2)

(2)

Mobile computing.

(2)

Multimedia Information Systems.

(2)

(2)

Quantum Computing.

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Signal processing.

(2)

Signal, Speech and Image Processing.

(2)

(2)

Sports sciences.

(2)

(2)

Theoretical, Mathematical and Computational Physics.

(2)

Veterinary Science.

(2)

Veterinary medicine.

(2)

Algebra, Homological.

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

Category Theory, Homological Algebra.

(1)

Chemistry -- Data processing.

(1)

Civil engineering.

(1)

Classical Mechanics.

(1)

Cloud Computing.

(1)

Complex Systems.

(1)

Computational Chemistry.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational complexity.

(1)

Computational linguistics.

(1)

Computer industry.

(1)

Computer software.

(1)

Computing Milieux.

(1)

Continuum mechanics.

(1)

Control theory.

(1)

Data and Information Visualization.

(1)

Database Management System.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Tümünü genişlet

Materyal Türü

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ç

419 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 35

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.

37.

Proceedings of International Conference on Information Technology and Applications ICITA 2024 için kapak resmi

Proceedings of International Conference on Information Technology and Applications ICITA 2024

Proceedings of International Conference on Information Technology and Applications ICITA 2024

Yazar

Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1758-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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:

39.

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2 için kapak resmi

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

Yazar

Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00267-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers için kapak resmi

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Yazar

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84913-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings için kapak resmi

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Yazar

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73370-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

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:

43.

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings için kapak resmi

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings

Yazar

Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73474-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75380-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Yazar

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7956-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings için kapak resmi

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Yazar

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-94706-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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:

1 2 3 4 5 6 .. 35

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11