Search Results for Languages.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(520)

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

(9)

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

(8)

Baldoni, Matteo. editor.

(7)

Legay, Axel. editor.

(6)

Leite, João. editor.

(6)

Torroni, Paolo. editor.

(6)

Aceto, Luca. editor.

(5)

Dastani, Mehdi. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Son, Tran Cao. editor.

(5)

Noble, James. editor.

(4)

Schmidt, Renate A. editor.

(4)

Trinder, Phil. editor.

(4)

Truthe, Bianca. editor.

(4)

Cordeiro, José. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Hage, Jurriaan. editor.

(3)

Haugen, Øystein. editor.

(3)

Ingólfsdóttir, Anna. editor.

(3)

Johnson, Ralph. editor.

(3)

Kobayashi, Naoki. editor.

(3)

Liu, Shaoying. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Omicini, Andrea. editor.

(3)

Peña, Ricardo. editor.

(3)

Potapov, Igor. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Rubin, Julia. editor.

(3)

Sgall, Jiří. editor.

(3)

Varró, Dániel. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Voronkov, Andrei. editor.

(3)

Winikoff, Michael. editor.

(3)

Abramsky, Samson. editor.

(2)

Albers, Susanne. editor.

(2)

Albert, Elvira. editor.

(2)

Atallah, Mikhail J.

(2)

Avgeriou, Paris. editor.

(2)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

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

(2)

Bernardo, Marco. editor.

(2)

Blanton, Marina.

(2)

Blazy, Sandrine. editor.

(2)

Boer, Frank S. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bordini, Rafael H. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bugliesi, Michele. editor.

(2)

Butterfield, Andrew. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Chitil, Olaf. editor.

(2)

Clark, Tony. editor.

(2)

Clarke, Dave. editor.

(2)

Crespi Reghizzi, Stefano. author.

(2)

Czarnecki, Krzysztof. editor.

(2)

Czumaj, Artur. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Damgård, Ivan. editor.

(2)

De Nicola, Rocco. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Dennunzio, Alberto. editor.

(2)

Dix, Jürgen. editor.

(2)

Dowek, Gilles. author.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Farzan, Azadeh. editor.

(2)

Filipe, Joaquim. editor.

(2)

Fomin, Fedor V. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Fränzle, Martin. editor.

(2)

Gardner, Philippa. editor.

(2)

Gavoille, Cyril. editor.

(2)

Gill, Andy. editor.

(2)

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

(2)

Goldberg, Leslie Ann. editor.

(2)

Grelck, Clemens. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

Henzinger, Monika. editor.

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

Horváth, Zoltán. editor.

(2)

Huch, Frank. editor.

(2)

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

(2)

Hähnle, Reiner. editor.

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Jhala, Ranjit. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Kapur, Deepak. editor.

(2)

Kirchner, Claude. editor.

(2)

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

(2)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(2)

Kwiatkowska, Marta. editor.

(2)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(2)

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

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Lemos, Rogério. editor.

(2)

Libkin, Leonid. editor.

(2)

Lämmel, Ralf. editor.

(2)

Manea, Florin. editor.

(2)

Manzoni, Luca. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Matias, Yossi. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Mehlhorn, Kurt. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Meyer auf der Heide, Friedhelm. editor.

(2)

Michaelson, Greg J. editor.

(2)

Morazán, Marco T. editor.

(2)

Morrill, Glyn. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Nicola, Rocco. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

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

(2)

Ong, Luke. editor.

(2)

Otto, Friedrich. author. (orcid)0009-0002-9760-5462

(2)

O’Regan, Gerard. author.

(2)

Peleg, David. editor.

(2)

Petriu, Dorina C. editor.

(2)

Pitts, Andrew. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Porreca, Antonio E. editor.

(2)

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

(2)

Preneel, Bart. editor.

(2)

Proença, José. editor.

(2)

Reed, Rick. editor.

(2)

Roman, Dumitru. editor.

(2)

Romanovsky, Alexander. editor.

(2)

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

(2)

Rouquette, Nicolas. editor.

(2)

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

(2)

Rudolph, Sebastian. editor.

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Saraiva, João. editor.

(2)

Sardina, Sebastian. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Schonberg, Edmond. editor.

(2)

Selic, Bran. editor.

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Shishkov, Boris. editor.

(2)

Soto, José A. editor.

(2)

Spirakis, Paul G. editor.

(2)

Subrahmanian, V.S. author.

(2)

Tasiran, Serdar. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Walukiewicz, Igor. editor.

(2)

Wattenhofer, Roger. editor.

(2)

Wegener, Ingo. editor.

(2)

Weske, Mathias. author.

(2)

Whittle, Jon. editor.

(2)

Wiese, Andreas. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Worrell, James. editor.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

Yang, Hongseok. editor.

(2)

Zdun, Uwe. editor.

(2)

Zholtkevych, Grygoriy. editor.

(2)

Zsók, Viktória. 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.

(1)

Aberdein, Andrew. editor.

(1)

Abrahao, Silvia. editor.

(1)

AbuZeina, Dia. author.

(1)

Achten, Peter. editor.

(1)

Adak, M. Fatih.

(1)

Adi, Asaf. editor.

(1)

Adorni, Giovanni. editor.

(1)

Adve, Vikram. editor.

(1)

Agha, Gul. editor.

(1)

Agmon, Eytan. author.

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Almási, George. editor.

(1)

Amaral, José Nelson. editor.

(1)

Amblard, Maxime. editor.

(1)

Amgoud, Leila. author.

(1)

Amos, Martyn. editor.

(1)

Amyot, Daniel. editor.

(1)

An, Bo. editor.

(1)

Andréka, Hajnal. editor.

(1)

Antonucci, Alessandro. editor.

(1)

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

(1)

Arbel, Eli. editor.

(1)

Arenas, Marcelo. editor.

(1)

Arge, Lars. editor.

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Language

(523)

(1)

(1)

Publication Date

-

(171)

(86)

(68)

(27)

(24)

(21)

(19)

(17)

(16)

(16)

(16)

(15)

(13)

(8)

(5)

(1)

(1)

(1)

Subject

Software engineering.

(314)

Artificial intelligence.

(161)

Formal Languages and Automata Theory.

(160)

Machine theory.

(160)

Computer Science Logic and Foundations of Programming.

(155)

(136)

Mathematical Logic and Formal Languages.

(101)

Programming Languages, Compilers, Interpreters.

(92)

Compilers (Computer programs).

(87)

Compilers and Interpreters.

(87)

Theory of Computation.

(87)

Computer Communication Networks.

(83)

Programming Techniques.

(83)

Logics and Meanings of Programs.

(80)

Artificial Intelligence (incl. Robotics).

(55)

(54)

Computer science -- Mathematics.

(51)

Computer software.

(44)

Discrete Mathematics in Computer Science.

(44)

Computer simulation.

(43)

Computer programming.

(39)

Computer networks .

(38)

Computational complexity.

(35)

Algorithm Analysis and Problem Complexity.

(30)

Data structures (Computer science).

(30)

Information Systems.

(29)

Information theory.

(28)

Computation by Abstract Devices.

(27)

Discrete mathematics.

(27)

Information storage and retrieval systems.

(27)

Information systems.

(26)

Special Purpose and Application-Based Systems.

(24)

Application software.

(23)

Computer and Information Systems Applications.

(21)

Electronic data processing.

(21)

Mathematical Logic and Foundations.

(21)

Operating systems (Computers).

(21)

Information Storage and Retrieval.

(19)

Mathematics of Computing.

(19)

Computers, Special purpose.

(18)

(18)

Information Systems Applications (incl. Internet).

(18)

Computer Modelling.

(17)

Database management.

(17)

Symbolic and Algebraic Manipulation.

(17)

Management of Computing and Information Systems.

(16)

Operating Systems.

(15)

Programming languages (Electronic computers).

(15)

Data Mining and Knowledge Discovery.

(13)

Logic, Symbolic and mathematical.

(13)

Simulation and Modeling.

(13)

Computer Engineering and Networks.

(12)

Computer Science, general.

(12)

Computer engineering.

(12)

Computer network architectures.

(12)

Natural Language Processing (NLP).

(12)

Natural language processing (Computer science).

(12)

Algebra -- Data processing.

(11)

Management information systems.

(11)

Computer system performance.

(10)

Computer vision.

(10)

Mathematical logic.

(10)

Computer System Implementation.

(9)

Computer systems.

(9)

(9)

Logic programming.

(9)

System Performance and Evaluation.

(9)

(8)

(8)

Software Engineering/Programming and Operating Systems.

(8)

Translators (Computer programs).

(8)

Artificial intelligence -- Data processing.

(7)

Computational linguistics.

(7)

Computer logic.

(7)

Control Structures and Microprogramming.

(7)

(7)

Data protection.

(7)

Electronic data processing -- Management.

(7)

(7)

(7)

Microprogramming .

(7)

Optical pattern recognition.

(7)

Probability and Statistics in Computer Science.

(7)

Programming Language.

(7)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Data Structures.

(6)

Math Applications in Computer Science.

(6)

Mathematical statistics.

(6)

Pattern Recognition.

(6)

Text processing (Computer science.

(6)

Automated Pattern Recognition.

(5)

Data Structures and Information Theory.

(5)

Mathematical Applications in Computer Science.

(5)

Models of Computation.

(5)

Numeric Computing.

(5)

Pattern recognition systems.

(5)

Philosophy (General).

(5)

Systems engineering.

(5)

User Interfaces and Human Computer Interaction.

(5)

(4)

Bioinformatics.

(4)

(4)

Computer Application in Administrative Data Processing.

(4)

(4)

Information technology -- Management.

(4)

(4)

Computer Appl. in Administrative Data Processing.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer communication systems.

(3)

Computing Methodologies.

(3)

Design and Analysis of Algorithms.

(3)

Electronic digital computers -- Evaluation.

(3)

(3)

Image Processing and Computer Vision.

(3)

Multimedia systems.

(3)

Social sciences -- Data processing.

(3)

Algebraic topology.

(2)

Applications of Mathematics.

(2)

Business Information Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computational and Systems Biology.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer Hardware.

(2)

Computer algorithms.

(2)

Computer graphics.

(2)

Computer hardware.

(2)

Data and Information Security.

(2)

Document Preparation and Text Processing.

(2)

Expert systems (Computer science).

(2)

History of Computing.

(2)

History of Mathematical Sciences.

(2)

History of Philosophy.

(2)

History of Science.

(2)

Knowledge Based Systems.

(2)

Language Translation and Linguistics.

(2)

Linguistics -- Philosophy.

(2)

Models and Principles.

(2)

Monoclonal antibodies.

(2)

(2)

Numerical analysis.

(2)

Processor Architectures.

(2)

(2)

Register-Transfer-Level Implementation.

(2)

Science -- History.

(2)

Statistics and Computing/Statistics Programs.

(2)

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

Applied Dynamical Systems.

(1)

Arabic languages.

(1)

Arithmetic and Logic Structures.

(1)

Asian Languages.

(1)

Bilgisayar bilimi.

(1)

C++ (Computer program language).

(1)

(1)

Cell aggregation -- Mathematics.

(1)

Coding and Information Theory.

(1)

(1)

Communications Engineering, Networks.

(1)

Complex Systems.

(1)

Computability and Recursion Theory.

(1)

Computable functions.

(1)

Computational Intelligence.

(1)

Computer Applications.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer hardware description languages.

(1)

Computer programs -- Testing.

(1)

Computer science—Mathematics.

(1)

Computer software -- Development.

(1)

Computer system failures.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computing Milieux.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Types and Structures.

(1)

Data transmission systems.

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory).

(1)

(1)

Education -- Data processing.

(1)

Electronic commerce.

(1)

(1)

Formal languages.

(1)

Genetic epistemology.

(1)

(1)

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

Image processing -- Digital techniques.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

(1)

Linear and Multilinear Algebras, Matrix Theory.

(1)

(1)

Mathematical linguistics.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

525 Results Found

Subscribe to search results

1 .. 25 26 27 28 29 .. 44

000000000000DEFAULT

Print

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 Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Author

Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53042-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Author

Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Author

Hasuo, Ichiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Author

Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-52921-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Author

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Author

Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Author

Lucanu, Dorel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

Author

Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49665-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Author

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Author

Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Author

Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 25 26 27 28 29 .. 44

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11