Search Results for Compilers (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ış:

+

Library: Online Library

Yazar

SpringerLink (Online service)

(217)

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)

De Nicola, Rocco. editor.

(2)

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

(2)

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

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Mazzara, Manuel. 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)

Schoitsch, Erwin. editor.

(2)

Shankar, P. (Priti)

(2)

Sirjani, Marjan. editor.

(2)

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

Abate, Alessandro. editor.

(1)

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

(1)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiken, Alex. author.

(1)

Alagić, Suad. author.

(1)

Alkhalaf, Muath. author.

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

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)

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

(1)

Ballmann, Bastian. author.

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

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

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)

Bultan, Tevfik. author.

(1)

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

(1)

Butler, Michael. editor.

(1)

Cabaleiro, José C. editor.

(1)

Cabello, Enrique. editor.

(1)

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

(1)

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

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. 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)

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)

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)

Dang, Tran Khanh. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

De Dinechin, Benoit Dupont, author.

(1)

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

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

Dos Reis, Anthony J.

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

Falcone, Yliès. editor.

(1)

Fenton, Steve. author.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Forbrig, Peter. editor.

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

Gibson-Robinson, Thomas. editor.

(1)

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

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Grabowski, Jens. editor.

(1)

Grätzer, George. author. (orcid)0000-0002-5149-3883

(1)

Guerra, Esther. editor.

(1)

Guiochet, Jérémie. editor.

(1)

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

(1)

Gulliksen, Jan. editor.

(1)

Gupta, Abhishek. author.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hasan, Osman. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Heras, Dora. editor.

(1)

Herbold, Steffen. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hirayama, Katsutoshi. editor.

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Horton, Ivor. author.

(1)

Hulstijn, Joris. editor. (orcid)0000-0002-5476-1062

(1)

Tümünü genişlet

Dil

(222)

Yayın Yılı

-

(89)

(72)

(29)

(13)

(13)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Compilers (Computer programs).

(217)

Compilers and Interpreters.

(217)

Software engineering.

(150)

Computer science.

(115)

Computer Science Logic and Foundations of Programming.

(98)

Formal Languages and Automata Theory.

(79)

Machine theory.

(79)

Computer programming.

(78)

Programming Techniques.

(78)

Artificial intelligence.

(53)

Application software.

(34)

Computer and Information Systems Applications.

(34)

(33)

Computer networks .

(33)

Theory of Computation.

(31)

Computer Modelling.

(20)

Computer simulation.

(20)

Computer Communication Networks.

(19)

Computers, Special purpose.

(18)

Special Purpose and Application-Based Systems.

(18)

Electronic data processing -- Management.

(16)

Electronic digital computers -- Evaluation.

(16)

(16)

System Performance and Evaluation.

(16)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

(15)

Computer science -- Mathematics.

(11)

Computer software.

(11)

Mathematical Software.

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

(9)

The Computing Profession.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Data and Information Security.

(8)

Data protection.

(8)

Information theory.

(7)

Compilers (Computer programs)

(6)

Computer architecture.

(6)

(6)

Programming Language.

(6)

Programming languages (Electronic computers).

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Microprocessors.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Processor Architectures.

(5)

Coding and Information Theory.

(4)

(4)

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)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Design and Analysis of Algorithms.

(3)

Information technology -- Management.

(3)

Microprogramming .

(3)

Models of Computation.

(3)

Artificial intelligence -- Data processing.

(2)

Automated Pattern Recognition.

(2)

Code generators.

(2)

Communications Engineering, Networks.

(2)

Computer Hardware.

(2)

Computer graphics.

(2)

Computer input-output equipment.

(2)

Computers and Education.

(2)

(2)

(2)

(2)

Data encryption (Computer science).

(2)

Education -- Data processing.

(2)

Electronic books.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

Hardware Performance and Reliability.

(2)

Human-computer interaction.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Input/Output and Data Communications.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical statistics.

(2)

Microsoft .NET Framework.

(2)

Microsoft software.

(2)

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Probability and Statistics in Computer Science.

(2)

Telecommunication.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

(1)

Apple computer.

(1)

(1)

C++ (Computer program language).

(1)

(1)

Computer Memory Structure.

(1)

Computer games -- Programming.

(1)

Computer hardware description languages.

(1)

Computer industry.

(1)

Computer software -- Verification.

(1)

Computer storage devices.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Data Storage Representation.

(1)

Data flow computing.

(1)

Digital Education and Educational Technology.

(1)

Educational technology.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Game Development.

(1)

Information retrieval.

(1)

Interactive multimedia.

(1)

Interpreters (Computer programs)

(1)

Java (Computer program language)

(1)

(1)

Logic programming.

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Mechanics, Applied.

(1)

(1)

Memory management (Computer science).

(1)

Multiagent systems.

(1)

Multimedia systems.

(1)

(1)

Open source software.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Register-Transfer-Level Implementation.

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Solid Mechanics.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

The Computer Industry.

(1)

Theory and Algorithms for Application Domains.

(1)

e-Commerce and e-Business.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

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

223 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 19

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.

25.

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers için kapak resmi

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Yazar

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings için kapak resmi

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Yazar

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985 Klemm, Michael. editor. (orcid)0000-0002-8634-4634 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979 Klinkenberg, Jannis. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings için kapak resmi

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Yazar

Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers için kapak resmi

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings için kapak resmi

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings için kapak resmi

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Yazar

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers için kapak resmi

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Yazar

Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68136-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers için kapak resmi

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings için kapak resmi

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

Yazar

An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Separation Logic for High-level Synthesis için kapak resmi

Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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:

36.

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:

1 2 3 4 5 .. 19

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11