Search Results for Programming Techniques.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Programming Techniques.

Author

SpringerLink (Online service)

(217)

Bramer, Max. author.

(3)

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

(2)

Chapman, Barbara M. editor.

(2)

Dastani, Mehdi. editor.

(2)

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

(2)

Dongarra, Jack. editor.

(2)

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

(2)

Jackson, Wallace. author.

(2)

Karczewski, Konrad. editor.

(2)

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

(2)

Kitowski, Jacek. editor.

(2)

Laaksonen, Antti. author.

(2)

Legay, Axel. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

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

(2)

Lämmel, Ralf. editor.

(2)

Maciaszek, Leszek A. editor.

(2)

Müller, Matthias S. editor.

(2)

Noble, James. editor.

(2)

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

(2)

Perner, Petra. editor.

(2)

Saraiva, João. editor.

(2)

Schmidt, Renate A. editor.

(2)

Sirjani, Marjan. editor.

(2)

Sobolev, Sergey. editor.

(2)

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

(2)

Trinder, Phil. editor.

(2)

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

(2)

Voronkov, Andrei. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

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

(2)

Abelló, Alberto. editor.

(1)

Abreu, Salvador. editor.

(1)

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

(1)

Achten, Peter. editor.

(1)

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

(1)

Aichernig, Bernhard K. editor.

(1)

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

(1)

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

(1)

Albert, Elvira. editor.

(1)

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

(1)

Anjorin, Anthony. editor.

(1)

Araujo, Theo. editor.

(1)

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

(1)

Artho, Cyrille. editor.

(1)

Aycock, John. author.

(1)

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

(1)

Balduccini, Marcello. editor.

(1)

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

(1)

Barnes, John. author.

(1)

Barrett, Clark. editor.

(1)

Barzen, Johanna. editor.

(1)

Bazzan, Ana. editor.

(1)

Beckner, Mark. author.

(1)

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

(1)

Bensalem, Saddek. editor.

(1)

Bhardwaj, Vikas. author.

(1)

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

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bois, André Rauber. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Braga, Christiano. editor.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

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

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Breitman, Karin. editor.

(1)

Brinkmann, Steffen. editor.

(1)

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

(1)

Brukardt, Randall L. editor.

(1)

Bråthen, Svein. editor.

(1)

Buhr, Peter A. author.

(1)

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

(1)

Cabalar, Pedro. editor.

(1)

Cabaleiro, José C. editor.

(1)

Carretero, Jesus. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castor, Fernando. editor.

(1)

Cervesato, Iliano. author.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chang, Stephen. editor. (orcid)0000-0002-4760-0658

(1)

Chechik, Marsha. editor.

(1)

Chemuturi, Murali. author.

(1)

Cheptsov, Alexey. editor.

(1)

Chiba, Shigeru. editor.

(1)

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

(1)

Ciubotaru, Bogdan. author.

(1)

Clarke, Dave. editor.

(1)

Cohen, Ryan. author.

(1)

Collins, Mark. author.

(1)

Corchado, Emilio. editor.

(1)

Cossentino, Massimo. editor.

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Criswell, John. editor.

(1)

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

(1)

Cunha, Jácome. editor.

(1)

Cussens, James. editor.

(1)

Damaševičius, Robertas. author.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Dathan, Brahma. author.

(1)

Datta, Dilip. author.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

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

(1)

Desjardins, Patrick. author.

(1)

Dewan, Hrishikesh. author.

(1)

Di Napoli, Edoardo. editor.

(1)

Ding, Chen. editor.

(1)

Diniz Junqueira Barbosa, Simone. editor.

(1)

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

(1)

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

(1)

Domínguez Mayo, Francisco José. editor.

(1)

Drewes, Frank. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duff, Robert A. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

Egges, Arjan. author.

(1)

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

(1)

Ergül, Özgür. author.

(1)

Espinoza, Huáscar. editor.

(1)

Falcone, Yliès. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fernandes, João P. editor.

(1)

Ferreira, Joao C. editor.

(1)

Ferrucci, Filomena. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Fokker, Jeroen D. author.

(1)

Fontaine, Pascal. editor.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Franconi, Enrico. editor.

(1)

Frey, Davide. editor.

(1)

Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156

(1)

Furia, Carlo A. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galmiche, Didier. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gardner, Philippa. editor.

(1)

Gardner, Scott. author.

(1)

Gavanelli, Marco. editor.

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Ghatak, Abhijit. author.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

Giese, Holger. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gonzalez Torres, Raul E. author.

(1)

Goodwin, Morten. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorp, Pieter. editor.

(1)

Graba, Jan. author.

(1)

Gracia, José. editor.

(1)

Gray, Iain. author.

(1)

Groves, Lindsay. editor.

(1)

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

(1)

Gupta, Abhishek. author.

(1)

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

(1)

Gurfinkel, Arie. editor.

(1)

Haas, Tobias. editor.

(1)

Hack, Sebastian. author.

(1)

Hage, Jurriaan. editor.

(1)

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

(1)

Hartman, Roel. author.

(1)

Helgheim, Berit Irene. editor.

(1)

Hemann, Jason. editor. (orcid)0000-0002-5405-2936

(1)

Hermanns, Marc-André. editor.

(1)

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

(1)

Hierons, Robert M. editor.

(1)

Hill, Richard. author.

(1)

Hinchey, Mike. editor.

(1)

Hinze, Ralf. editor.

(1)

Hirsch, Laurie. author.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Horton, Ivor. author.

(1)

Hubbard, Steve. author.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Hähnle, Reiner. editor.

(1)

Hübner, Jomi F. editor.

(1)

Iliev, Hristo. editor.

(1)

Imam, Neena. editor.

(1)

Inoue, Katsumi. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jacquet, Jean-Marie. editor.

(1)

Language

(217)

Publication Date

-

(68)

(50)

(38)

(24)

(19)

(16)

(2)

Subject

Computer programming.

(149)

Computer science.

(124)

Software engineering.

(123)

Compilers (Computer programs).

(78)

Compilers and Interpreters.

(78)

Artificial intelligence.

(49)

Computer Science Logic and Foundations of Programming.

(42)

Formal Languages and Automata Theory.

(37)

Machine theory.

(37)

Programming Languages, Compilers, Interpreters.

(37)

(33)

Computer Communication Networks.

(33)

(26)

Computer networks .

(23)

Logics and Meanings of Programs.

(23)

Mathematical Logic and Formal Languages.

(21)

Application software.

(18)

Computer System Implementation.

(18)

Computer and Information Systems Applications.

(18)

Computer systems.

(17)

Theory of Computation.

(16)

Artificial Intelligence (incl. Robotics).

(15)

System Performance and Evaluation.

(15)

Operating systems (Computers).

(14)

Computer simulation.

(13)

Operating Systems.

(13)

Computer science -- Mathematics.

(11)

Electronic digital computers -- Evaluation.

(11)

Algorithm Analysis and Problem Complexity.

(10)

Computer Modelling.

(10)

Computer software.

(10)

(10)

Database management.

(9)

Programming Language.

(9)

Programming languages (Electronic computers).

(9)

Discrete Mathematics in Computer Science.

(8)

Natural Language Processing (NLP).

(8)

Natural language processing (Computer science).

(8)

Special Purpose and Application-Based Systems.

(8)

Data structures (Computer science).

(7)

Information theory.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computer Science, general.

(6)

Computers, Special purpose.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Human-computer interaction.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Computer Engineering and Networks.

(5)

Computer Hardware.

(5)

Computer engineering.

(5)

Control Structures and Microprogramming.

(5)

Data Structures and Information Theory.

(5)

Discrete mathematics.

(5)

Information Systems Applications (incl. Internet).

(5)

Microprogramming .

(5)

Processor Architectures.

(5)

Computer architecture.

(4)

Computer system performance.

(4)

Computers and Education.

(4)

Design and Analysis of Algorithms.

(4)

Education -- Data processing.

(4)

Engineering mathematics.

(4)

Information Systems.

(4)

(4)

Logic programming.

(4)

Management of Computing and Information Systems.

(4)

Mathematics of Computing.

(4)

Models of Computation.

(4)

(4)

The Computing Profession.

(4)

(3)

Apple computer.

(3)

Communications Engineering, Networks.

(3)

Computation by Abstract Devices.

(3)

Computational complexity.

(3)

Computer Application in Administrative Data Processing.

(3)

Computer programs -- Testing.

(3)

Electronic data processing -- Management.

(3)

Engineering -- Data processing.

(3)

(3)

(3)

Information technology -- Management.

(3)

Input/Output and Data Communications.

(3)

Mathematical and Computational Engineering Applications.

(3)

Microprocessors.

(3)

Microsoft .NET Framework.

(3)

Microsoft software.

(3)

(3)

Models and Principles.

(3)

Multimedia Information Systems.

(3)

Multimedia systems.

(3)

Numerical analysis.

(3)

Python (Computer program language).

(3)

(3)

Simulation and Modeling.

(3)

Software Testing.

(3)

Telecommunication.

(3)

Automated Pattern Recognition.

(2)

Computational Science and Engineering.

(2)

Computational intelligence.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer graphics.

(2)

Computer input-output equipment.

(2)

Computer vision.

(2)

Data Storage Representation.

(2)

Data Structures.

(2)

Data protection.

(2)

History of Computing.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical physics.

(2)

(2)

Mobile computing.

(2)

Pattern recognition systems.

(2)

Performance and Reliability.

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Automotive Engineering.

(1)

Business Information Systems.

(1)

Category Theory, Homological Algebra.

(1)

Civil engineering.

(1)

Cloud Computing.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer arithmetic and logic units.

(1)

Computer games -- Programming.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Continuum mechanics.

(1)

Data Analysis and Big Data.

(1)

Data Encryption.

(1)

(1)

Data and Information Security.

(1)

Data and Information Visualization.

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

Database Management System.

(1)

Digital Education and Educational Technology.

(1)

Educational technology.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Engineering Fluid Dynamics.

(1)

Engineering, general.

(1)

Fluid mechanics.

(1)

Game Development.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Information Systems and Communication Service.

(1)

Information retrieval.

(1)

Information systems.

(1)

Information visualization.

(1)

Java (Computer program language).

(1)

(1)

(1)

(1)

Management information systems.

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Methods in Physics.

(1)

Mathematical logic.

(1)

Mathematical statistics -- Data processing.

(1)

Mathematics -- Data processing.

(1)

Mechanical engineering.

(1)

Media Sociology.

(1)

Medical records -- Data processing.

(1)

Nanotechnology and Microengineering.

(1)

(1)

Open source software.

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

(1)

Probability Theory.

(1)

Probability and Statistics in Computer Science.

(1)

Quantitative research.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Robotics and Automation.

(1)

(1)

Software Management.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

217 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 19

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.

37.

Cover image for Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

Author

Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51075-5

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

Author

Wong, Hiu Yung. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Author

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49379-9

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Cloud-Native Application Architecture Microservice Development Best Practice

Cloud-Native Application Architecture Microservice Development Best Practice

Cloud-Native Application Architecture Microservice Development Best Practice

Author

Team, FreeWheel Biz-UI. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9782-2

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Data Structures and Algorithms with Python With an Introduction to Multiprocessing

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

Author

Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42209-6

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

Author

Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-1176-9

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Author

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Learning Java A Test-Driven Approach

Learning Java A Test-Driven Approach

Learning Java A Test-Driven Approach

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Author

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 19

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11