Search Results for Computer programs

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)

(262)

Lopez, Cesar. author.

(11)

Legay, Axel. editor.

(4)

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

(4)

Artho, Cyrille. editor.

(3)

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

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

Cardoso, Jorge. editor.

(2)

Cavalli, Ana Rosa. editor.

(2)

De Nicola, Rocco. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Kadarmideen, Haja N. editor.

(2)

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

(2)

Kneusel, Ronald T. author.

(2)

Lee, Kent D. author.

(2)

Liu, Shaoying. editor.

(2)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(2)

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

(2)

Mazzara, Manuel. editor.

(2)

Meyer, Bertrand. editor.

(2)

Mogensen, Torben Ægidius. author.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Perner, Petra. editor.

(2)

Proença, José. editor.

(2)

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

(2)

Schoitsch, Erwin. editor.

(2)

Seceleanu, Cristina. editor.

(2)

Sirjani, Marjan. editor.

(2)

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

(2)

Sutherland, Bruce. author.

(2)

Tonetta, Stefano. editor.

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Weirich, Stephanie. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

de Supinski, Bronis R. editor.

(2)

van Sinderen, Marten. editor.

(2)

Ábrahám, Erika. editor.

(2)

A, Gayathri. author.

(1)

Abate, Alessandro. editor.

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Ahlswede, Alexander. editor.

(1)

Ahlswede, Rudolf. author.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiken, Alex. author.

(1)

Alagić, Suad. author.

(1)

Alkhalaf, Muath. author.

(1)

Althöfer, Ingo. editor.

(1)

Altmann, Jörn. editor.

(1)

Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502

(1)

Ammeraal, Leen. author.

(1)

An, Bo. editor.

(1)

Anjorin, Anthony. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Arbel, Eli. editor.

(1)

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

(1)

Arthur, Rangel. editor.

(1)

Aspray, William. author.

(1)

Athanatopoulou, A. author.

(1)

Avramidis, Ioannis. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999

(1)

Babar, Ali. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bader, Markus. editor.

(1)

Bagnato, Alessandra. editor.

(1)

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

(1)

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

(1)

Banerjee, Utpal. author.

(1)

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

(1)

Barrett, Clark. editor.

(1)

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

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Bañares, José Ángel. editor.

(1)

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

(1)

Beckner, Mark. author.

(1)

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

(1)

Bergsmann, Johannes. editor.

(1)

Bernardo, Marco. editor.

(1)

Berner, Eta S. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bertogna, Marko. editor.

(1)

Bhardwaj, Vikas. author.

(1)

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

(1)

Bhiri, Sami. editor.

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogdan, Cristian. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Borge-Diez, David. editor.

(1)

Borruso, Giuseppe. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bougé, Luc. editor.

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bubel, Richard. editor.

(1)

Buhr, Peter A. author.

(1)

Bui, Quoc-Bao. editor. (orcid)0000-0002-9675-0038

(1)

Bultan, Tevfik. author.

(1)

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

(1)

Butler, Michael. editor.

(1)

Börsch-Haubold, Angelika. author.

(1)

Cabaleiro, José C. editor.

(1)

Cabello, Enrique. editor.

(1)

Cai, Yunpeng. editor.

(1)

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

(1)

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439

(1)

Carli, Rachele. editor. (orcid)0000-0002-8689-285X

(1)

Carroll, John M. editor. (orcid)0000-0001-5189-337X

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charoy, François. editor.

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Chekanov, Sergei V. author.

(1)

Chiba, Shigeru. editor.

(1)

Chopra, Amit K. editor.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Ciatto, Giovanni. editor. (orcid)0000-0002-1841-8996

(1)

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

(1)

Colmenar-Santos, Antonio. editor.

(1)

Corchado, Emilio. editor.

(1)

Cornélio, Márcio. editor.

(1)

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

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Cranefield, Stephen. editor.

(1)

Criswell, John. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crotts, Joshua. author. (orcid)0000-0002-7513-5618

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979

(1)

D'Souza, Deepak. editor.

(1)

Dahnken, Christopher. author.

(1)

Dal Mas, Francesca. editor.

(1)

Dang, Tran Khanh. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

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

(1)

Deppe, Christian. editor. (orcid)0000-0002-2265-4887

(1)

Desfray, Philippe. editor.

(1)

Devitt, Simon. editor.

(1)

Ding, Chen. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Dori, Dov. author.

(1)

Dou, Yong. editor.

(1)

Draheim, Dirk. author.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Duan, Zhenhua. editor.

(1)

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

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

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

(1)

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Floriana. editor.

(1)

Eugster, Patrick. editor.

(1)

Fajstrup, Lisbeth. author.

(1)

Falcone, Yliès. editor.

(1)

Fenton, Steve. author.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118

(1)

Fischer, Joachim. author. (orcid)0000-0003-2476-3996

(1)

Forbrig, Peter. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franconi, Enrico. editor.

(1)

Främling, Kary. editor. (orcid)0000-0002-8078-5172

(1)

Furia, Carlo A. editor.

(1)

Gardner, Scott. author.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Gavanelli, Marco. editor.

(1)

Gaál, Bence. editor. (orcid)0000-0001-8771-7140

(1)

Geeraerts, Gilles. editor.

(1)

Gervasi, Osvaldo. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghatak, Abhijit. author.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Giaralis, Agathoklis. author.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Tümünü genişlet

Dil

(262)

Yayın Yılı

-

(97)

(85)

(29)

(28)

(23)

Konu

Compilers (Computer programs).

(215)

Compilers and Interpreters.

(215)

Software engineering.

(155)

Computer science.

(118)

Computer Science Logic and Foundations of Programming.

(98)

Computer programming.

(84)

Programming Techniques.

(84)

Formal Languages and Automata Theory.

(83)

Machine theory.

(83)

Artificial intelligence.

(56)

(36)

Application software.

(35)

Computer and Information Systems Applications.

(35)

Theory of Computation.

(34)

Computer networks .

(33)

Computer Modelling.

(21)

Computer simulation.

(21)

Computer Communication Networks.

(19)

Computers, Special purpose.

(18)

Special Purpose and Application-Based Systems.

(18)

(16)

Electronic data processing -- Management.

(16)

Electronic digital computers -- Evaluation.

(16)

(16)

System Performance and Evaluation.

(16)

Computer Engineering and Networks.

(14)

Computer engineering.

(14)

Computer science -- Mathematics.

(14)

Computer software.

(12)

Mathematical Software.

(12)

Operating Systems.

(11)

Operating systems (Computers).

(11)

Programming Language.

(11)

Programming languages (Electronic computers).

(11)

Computer programs -- Testing.

(9)

Information theory.

(9)

(9)

Software Testing.

(9)

The Computing Profession.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Data and Information Security.

(8)

Data protection.

(8)

Computer architecture.

(7)

Data Mining and Knowledge Discovery.

(6)

(6)

(6)

Microprocessors.

(6)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

Processor Architectures.

(6)

Bioinformatics.

(5)

Coding and Information Theory.

(5)

(5)

Computational and Systems Biology.

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Mathematical Applications in Computer Science.

(5)

Computers and Education.

(4)

Data Structures and Information Theory.

(4)

Data structures (Computer science).

(4)

Design and Analysis of Algorithms.

(4)

Education -- Data processing.

(4)

Telecommunication.

(4)

Automated Pattern Recognition.

(3)

Communications Engineering, Networks.

(3)

Computational Mathematics and Numerical Analysis.

(3)

Computer Application in Administrative Data Processing.

(3)

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

(3)

Computer-aided engineering.

(3)

Computing Milieux.

(3)

Control Structures and Microprogramming.

(3)

Database management.

(3)

Engineering -- Data processing.

(3)

Engineering Fluid Dynamics.

(3)

Engineering mathematics.

(3)

Fluid mechanics.

(3)

Hardware Performance and Reliability.

(3)

Health Informatics.

(3)

Information technology -- Management.

(3)

Mathematical and Computational Engineering Applications.

(3)

Mathematics -- Data processing.

(3)

Medical informatics.

(3)

Microprogramming .

(3)

Models of Computation.

(3)

Numerical analysis.

(3)

Pattern recognition systems.

(3)

Signal processing.

(3)

Signal, Speech and Image Processing.

(3)

Software Management.

(3)

Software engineering -- Management.

(3)

Arithmetic and Logic Structures.

(2)

Artificial intelligence -- Data processing.

(2)

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer arithmetic and logic units.

(2)

Computer graphics.

(2)

Computer input-output equipment.

(2)

Continuum mechanics.

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

(2)

(2)

(2)

Data encryption (Computer science).

(2)

Digital Education and Educational Technology.

(2)

Digital and Analog Signal Processing.

(2)

Educational technology.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Evolution (Biology).

(2)

Evolutionary Biology.

(2)

Genetics and Genomics.

(2)

(2)

Human-computer interaction.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Input/Output and Data Communications.

(2)

Machine learning.

(2)

Mathematical statistics.

(2)

Mechanics, Applied.

(2)

Microsoft .NET Framework.

(2)

Microsoft software.

(2)

(2)

(2)

Open source software.

(2)

Probability and Statistics in Computer Science.

(2)

Production engineering.

(2)

Python (Computer program language).

(2)

(2)

(2)

Science -- Study and teaching.

(2)

Science Education.

(2)

Sustainability.

(2)

Symbolic and Algebraic Manipulation.

(2)

Traffic engineering.

(2)

Transportation Technology and Traffic Engineering.

(2)

Transportation engineering.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Veterinary Science.

(2)

Veterinary medicine.

(2)

Algebraic topology.

(1)

(1)

Apple computer.

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Atmospheric science.

(1)

Automotive engineering.

(1)

Biology -- Research.

(1)

Biomathematics.

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical Research.

(1)

Biomedical engineering.

(1)

(1)

(1)

(1)

Blockchains (Databases).

(1)

Building Construction and Design.

(1)

Building materials.

(1)

Buildings -- Design and construction.

(1)

Business information services.

(1)

C++ (Computer program language).

(1)

(1)

Civil engineering.

(1)

Classical Electrodynamics.

(1)

Climate Sciences.

(1)

(1)

Cloud Computing.

(1)

Cogeneration of electric power and heat.

(1)

Complex Systems.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Memory Structure.

(1)

Computer games -- Programming.

(1)

Computer hardware description languages.

(1)

Computer industry.

(1)

Computer storage devices.

(1)

Computer vision.

(1)

Computers -- History.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Storage Representation.

(1)

Difference and Functional Equations.

(1)

Difference equations.

(1)

(1)

Electrodynamics.

(1)

Electronic commerce.

(1)

Engineering design.

(1)

Engineering geology.

(1)

(1)

Environmental Sciences.

(1)

Environmental health.

(1)

Environmental management.

(1)

(1)

(1)

Functional equations.

(1)

Game Development.

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

262 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 22

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings için kapak resmi

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0617-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Digital Transformation in Higher Education Institutions için kapak resmi

Digital Transformation in Higher Education Institutions

Digital Transformation in Higher Education Institutions

Yazar

de Bem Machado, Andreia. editor. (orcid)0000-0002-4404-0341 Sousa, Maria José. editor. (orcid)0000-0001-8633-4199 Dal Mas, Francesca. editor. Secinaro, Silvana. editor. (orcid)0000-0002-0811-6580 Calandra, Davide. editor. (orcid)0000-0001-5159-7167

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Learning Java A Test-Driven Approach için kapak resmi

Learning Java A Test-Driven Approach

Learning Java A Test-Driven Approach

Yazar

Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Present and Ulterior Software Engineering için kapak resmi

Present and Ulterior Software Engineering

Present and Ulterior Software Engineering

Yazar

Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67425-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Yazar

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51046-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63390-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings için kapak resmi

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Yazar

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65578-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Introduction to Compiler Design için kapak resmi

Introduction to Compiler Design

Introduction to Compiler Design

Yazar

Mogensen, Torben Ægidius. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66966-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings için kapak resmi

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Yazar

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68690-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings için kapak resmi

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71237-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

String Analysis for Software Verification and Security için kapak resmi

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68670-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics için kapak resmi

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55198-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 .. 3 4 5 6 7 .. 22

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11