Arama Sonuçları Logics and Meanings of Programs.

Logging in...

Username:

Password:

Forgot your PIN?

|

|

|

|

Remember to clear the cache and close the browser window.

Rooms Restriction Values

Search Field

Target ValueLimit ValueRestriction Value

Search For:To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.

Gelişmiş Arama

298 Sonuç Bulundu

Subscribe to search results

Tümünü Seç

1 2 3 4 5 .. 25

Önizleme Görünümü

000000000000DEFAULTTR

Yazdır

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for Validation of Evolving Software

Validation of Evolving Software

Validation of Evolving Software

by

Chockler, Hana. editor.

http://dx.doi.org/10.1007/978-3-319-10623-6

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

2.

Cover image for Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

by

Arbab, Farhad. editor.

http://dx.doi.org/10.1007/978-3-642-40213-5

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

View Other Search Results

3.

Cover image for Transactions on Petri Nets and Other Models of Concurrency VIII

Transactions on Petri Nets and Other Models of Concurrency VIII

Transactions on Petri Nets and Other Models of Concurrency VIII

by

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-642-40465-8

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

4.

Cover image for Transactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency X

by

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-48650-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

5.

Cover image for Transactions on Petri Nets and Other Models of Concurrency IX

Transactions on Petri Nets and Other Models of Concurrency IX

by

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-45730-6

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

6.

Cover image for Krister Segerberg on Logic of Actions

Krister Segerberg on Logic of Actions

by

Trypuz, Robert. editor.

http://dx.doi.org/10.1007/978-94-007-7046-1

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

7.

Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

by

Artho, Cyrille. editor.

http://dx.doi.org/10.1007/978-3-319-05416-2

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

8.

Cover image for The 2-tuple Linguistic Model Computing with Words in Decision Making

The 2-tuple Linguistic Model Computing with Words in Decision Making

by

Martínez, Luis. author.

http://dx.doi.org/10.1007/978-3-319-24714-4

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

9.

Cover image for Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

by

Jensen, Kurt. editor.

http://dx.doi.org/10.1007/978-3-642-38143-0

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

10.

Cover image for Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

by

Kühn, Eva. editor.

http://dx.doi.org/10.1007/978-3-662-43376-8

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

11.

Cover image for Dag Prawitz on Proofs and Meaning

Dag Prawitz on Proofs and Meaning

Dag Prawitz on Proofs and Meaning

by

Wansing, Heinrich. editor.

http://dx.doi.org/10.1007/978-3-319-11041-7

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

12.

Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

by

Liu, Zhiming. editor.

http://dx.doi.org/10.1007/978-3-642-39718-9

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Tümünü Seç

1 2 3 4 5 .. 25

298 Sonuç Bulundu

Subscribe to search results

Arama Sonuçlarını Filtrele

Yazar

SpringerLink (Online service)

(298)

Koutny, Maciej. editor.

(4)

Kroening, Daniel. editor.

(4)

Legay, Axel. editor.

(4)

Voronkov, Andrei. editor.

(4)

Bernardo, Marco. editor.

(3)

Bonsangue, Marcello M. editor.

(3)

Ermolayev, Vadim. editor.

(3)

Johnsen, Einar Broch. editor.

(3)

Liu, Shaoying. editor.

(3)

Liu, Zhiming. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Martí-Oliet, Narciso. editor.

(3)

Mayr, Heinrich C. editor.

(3)

Nikitchenko, Mykola. editor.

(3)

Potapov, Igor. editor.

(3)

Păsăreanu, Corina S. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Salomaa, Arto. editor.

(3)

Schaefer, Ina. editor.

(3)

Son, Tran Cao. editor.

(3)

Spivakovsky, Aleksander. editor.

(3)

Zholtkevych, Grygoriy. editor.

(3)

Ölveczky, Peter Csaba. editor.

(3)

Aalst, Wil M. P. van der. editor.

(2)

Ait Ameur, Yamine. editor.

(2)

Albert, Elvira. editor.

(2)

Artho, Cyrille. editor.

(2)

Bartocci, Ezio. editor.

(2)

Bensalem, Saddek. editor.

(2)

Biere, Armin. editor.

(2)

Blazy, Sandrine. editor.

(2)

Boer, Frank S. de. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bondavalli, Andrea. editor.

(2)

Coecke, Bob. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Desel, Jörg. editor.

(2)

Duan, Zhenhua. editor.

(2)

D’Argenio, Pedro R. editor.

(2)

Filipe, Joaquim. editor.

(2)

Gheorghe, Marian. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Grossi, Davide. editor.

(2)

Haddad, Serge. editor.

(2)

Havelund, Klaus. editor.

(2)

Hinze, Ralf. editor.

(2)

Hähnle, Reiner. editor.

(2)

Jain, Sanjay. editor.

(2)

Kahl, Wolfram. editor.

(2)

Koornneef, Floor. editor.

(2)

Lanese, Ivan. editor.

(2)

Leite, João. editor.

(2)

Margaria, Tiziana. editor.

(2)

McCarthy, Jay. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Nicola, Rocco De. editor.

(2)

Núñez, Manuel. editor.

(2)

Okhotin, Alexander. editor.

(2)

Ortmeier, Frank. editor.

(2)

Palamidessi, Catuscia. editor.

(2)

Paschke, Adrian. editor.

(2)

Peña, Ricardo. editor.

(2)

Piazza, Carla. editor.

(2)

Piterman, Nir. editor.

(2)

Reed, Rick. editor.

(2)

Roman, Dumitru. editor.

(2)

Rubin, Julia. editor.

(2)

Rumpe, Bernhard. editor.

(2)

Salaün, Gwen. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sharygina, Natasha. editor.

(2)

Sirjani, Marjan. editor.

(2)

Smolka, Scott A. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stephan, Frank. editor.

(2)

Stoelinga, Mariëlle. editor.

(2)

Vardanega, Tullio. editor.

(2)

Varró, Dániel. editor.

(2)

Vasconcelos, Wamberto. editor.

(2)

Weidenbach, Christoph. editor.

(2)

Woltran, Stefan. editor.

(2)

Yakovlev, Alex. editor.

(2)

Zandron, Claudio. editor.

(2)

van Gulijk, Coen. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abrahão, Silvia. editor.

(1)

Agrawal, Manindra. editor.

(1)

Alhazov, Artiom. editor.

(1)

Amgoud, Leila. author.

(1)

Amyot, Daniel. editor.

(1)

Arbab, Farhad. editor.

(1)

Artemov, Sergei. editor.

(1)

Asher, Nicholas. editor.

(1)

Avgeriou, Paris. editor.

(1)

Badger, Julia M. editor.

(1)

Baier, Christel. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldan, Paolo. editor.

(1)

Baldoni, Matteo. editor.

(1)

Banerjee, Mohua. editor.

(1)

Bansal, Nikhil. editor.

(1)

Barkatou, Moulay. editor.

(1)

Barlas, Gerassimos. editor.

(1)

Bassiliades, Nick. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. ter. editor.

(1)

Beierle, Christoph. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Berdine, Josh. editor.

(1)

Berger, Christian. editor.

(1)

Berstel-Da Silva, Bruno. author.

(1)

Bertacco, Valeria. editor.

(1)

Beyer, Dirk. editor.

(1)

Bikakis, Antonis. editor.

(1)

Binder, Walter. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Bloem, Roderick. editor.

(1)

Bodden, Eric. editor.

(1)

Bodei, Chiara. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frédéric. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bordeleau, Francis. editor.

(1)

Boreale, Michele. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bourgeois, Anu. editor.

(1)

Bozga, Marius. editor.

(1)

Braberman, Víctor. editor.

(1)

Braga, Christiano. editor.

(1)

Brat, Guillaume. editor.

(1)

Brattka, Vasco. editor.

(1)

Bravetti, Mario. editor.

(1)

Breugel, Franck van. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Bulling, Nils. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cabot, Jordi. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor.

(1)

Calinescu, Radu. editor.

(1)

Campos, Javier. editor.

(1)

Canal, Carlos. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Caro, Jaime. editor.

(1)

Casadio, Claudia. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Ceccarelli, Andrea. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Cheng, Betty H.C. editor.

(1)

Chockler, Hana. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Clarke, Peter. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Codescu, Mihai. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Colinet, Margot. editor.

(1)

Colom, José-Manuel. editor.

(1)

Combemale, Benoit. editor.

(1)

Cooper, S. Barry. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Counsell, Steve. editor.

(1)

Csató, Lehel. editor.

(1)

Cámara, Javier. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Dang, Thao. editor.

(1)

Daniel, Florian. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davis, Jesse. editor.

(1)

Davis, Martin. editor.

(1)

De Nivelle, Hans. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Demri, Stéphane. editor.

(1)

Dencker, Peter. editor.

(1)

Deng, Yuxin. author.

(1)

Dennis, Louise. editor.

(1)

Denoeux, Thierry. editor.

(1)

Desmedt, Yvo. editor.

(1)

Destercke, Sébastien. editor.

(1)

Devillers, Raymond. editor.

(1)

Dhaenens, Clarisse. editor.

(1)

Di Giandomenico, Felicita. editor.

(1)

Diaconescu, Răzvan. editor.

(1)

Diaz, Josep. editor.

(1)

Dierkes, Michael. editor.

(1)

Dingel, Juergen. editor.

(1)

Dowek, Gilles. editor.

(1)

Drira, Khalil. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Du, Dingzhu. editor.

(1)

Du, Donglei. editor.

(1)

Duchier, Denys. editor.

(1)

Tümünü Göster

Materyal Türü

(298)

Dil

(298)

Yayın Yılı

This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.

From Publication Year - To Publication Year

(104)

(100)

(94)

Konu

Computer logic.

(298)

Logics and Meanings of Programs.

(298)

Computer science.

(296)

Software engineering.

(221)

Mathematical logic.

(172)

Mathematical Logic and Formal Languages.

(170)

Programming Languages, Compilers, Interpreters.

(144)

Programming languages (Electronic computers).

(144)

(85)

Artificial Intelligence (incl. Robotics).

(83)

Artificial intelligence.

(83)

Computation by Abstract Devices.

(72)

Computer programming.

(72)

Programming Techniques.

(72)

Algorithm Analysis and Problem Complexity.

(59)

(59)

Computer science -- Mathematics.

(54)

Computer Communication Networks.

(51)

Computer communication systems.

(51)

Discrete Mathematics in Computer Science.

(43)

Management information systems.

(36)

Management of Computing and Information Systems.

(36)

Information Systems Applications (incl. Internet).

(33)

Computer simulation.

(17)

Simulation and Modeling.

(17)

Mathematical statistics.

(13)

Probability and Statistics in Computer Science.

(13)

Application software.

(12)

Software Engineering/Programming and Operating Systems.

(12)

Special Purpose and Application-Based Systems.

(12)

Special purpose computers.

(12)

Computer security.

(11)

Mathematical Logic and Foundations.

(11)

Systems and Data Security.

(11)

Information storage and retrieval.

(10)

Mathematics of Computing.

(10)

Computer Systems Organization and Communication Networks.

(9)

Computer organization.

(9)

Symbolic and Algebraic Manipulation.

(9)

Theory of Computation.

(8)

Computer system failures.

(7)

Operating Systems.

(7)

Operating systems (Computers).

(7)

System Performance and Evaluation.

(7)

Bioinformatics.

(6)

Computational Biology/Bioinformatics.

(6)

Computer Applications.

(6)

Computer Science, general.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Data structures (Computer science).

(6)

Database management.

(6)

Numeric Computing.

(6)

Numerical analysis.

(6)

Computer Appl. in Administrative Data Processing.

(5)

Math Applications in Computer Science.

(5)

Pattern recognition.

(5)

Data Structures, Cryptology and Information Theory.

(3)

Data Structures.

(3)

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Business -- Data processing.

(2)

Coding and Information Theory.

(2)

(2)

Computational linguistics.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer graphics.

(2)

Computers and Education.

(2)

Computing Methodologies.

(2)

Data Encryption.

(2)

Data encryption (Computer science).

(2)

Education -- Data processing.

(2)

History of Computing.

(2)

IT in Business.

(2)

Information technology.

(2)

Language Translation and Linguistics.

(2)

(2)

Models and Principles.

(2)

(2)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

Business and Management.

(1)

(1)

Circuits and Systems.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer engineering.

(1)

Computer mathematics.

(1)

Document Preparation and Text Processing.

(1)

Electronic circuits.

(1)

Health informatics.

(1)

History of Mathematical Sciences.

(1)

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Information theory.

(1)

Mathematical Applications in Computer Science.

(1)

(1)

Partial differential equations.

(1)

Philosophy of mind.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Text processing (Computer science).

(1)

Tümünü Göster

Kütüphane

Pamukkale Merkez Kütüphanesi

(298)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2