-
2004 Geometric Modeling and Processing (GMP 2004): Theory and Applications
Geometrical models;Computer-aided design;Computer graphics;Geometry;Mathematics;Physical Sciences & Mathematics
- IEEE Computer Society Press 2004
-
2009 International Joint Conference on Computational Sciences and Optimization : 24-26 April 2009
Mathematical optimization;Algorithms;Numerical analysis
- IEEE 2009
-
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA
Computer logic;Electronic data processing;Computer programming
- Institute of Electrical and Electronics Engineers 2016
-
27th annual Symposium on Foundations of Computer Science : October 27-29, 1986
Machine theory;Computer programming
- IEEE 2008
-
Abelian Varieties with Complex Multiplication and Modular Functions
Abelian varieties;Modular functions
Shimura, Goro - Princeton University Press 1998
-
Abelian varieties, theta functions, and the Fourier transform
Abelian varieties;Fourier transformations;sähkökirjat
Polishchuk, Alexander - Cambridge University Press 2003
-
Abstract computing machines : a lambda calculus perspective
Lambda calculus;Machine theory;sähkökirjat
Kluge, Werner - Springer 2005
-
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
Machine theory
Börger, E;Gargantini, Angelo;Riccobene, Elvinia - Springer 2003 1st ed. 2003.
-
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Machine theory
Zimmermann, Wolf;Thalheim, B - Springer 2004 1st ed. 2004.
-
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings
B method (Computer science);Machine theory;Z (Computer program language);sähkökirjat
Börger, E - Springer 2008
-
ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
B method (Computer science);Formal methods (Computer science);Landing gear;Machine theory;Z (Computer program language);Computer Science;Computation by Abstract Devices;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Simulation and Modeling;sähkökirjat
Boniol, Frederic - Springer 2014
-
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Computer logic;Mathematical logic;Logic design;Computer programming;Software engineering;Computers;Logics and Meanings of Programs;Mathematical Logic and Foundations;Programming Techniques;Software Engineering/Programming and Operating Systems;Models and Principles
Poernomo, Iman;Crossley, John N;Wirsing, Martin - Imprint: Springer 2005 1st ed. 2005.
-
Adaptive and natural computing algorithms : 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, proceedings. Part I
Computer algorithms;sähkökirjat
Dobnikar, Andrej;Lotrič, Uroš;Šter, Branko - Springer 2011
-
Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings. Part I
Adaptive computing systems;Bioinformatics;Computer algorithms;Machine learning;Neural computers;Neural networks (Computer science);Support vector machines;sähkökirjat
Beliczyński, Bartłomiej - Springer 2007
-
Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings. Part II
Adaptive computing systems;Bioinformatics;Computer algorithms;Machine learning;Neural computers;Neural networks (Computer science);Support vector machines;sähkökirjat
Beliczyński, Bartłomiej - Springer 2007
-
Adaptive and Natural Computing Algorithms : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
Adaptive computing systems;Bioinformatics;Computer algorithms;Machine learning;Neural computers;Neural networks (Computer science);sähkökirjat
Beliczyński, Bartłomiej;Kolehmainen, Mikko;Toivanen, Pekka - Springer-Verlag 2009
-
Adaptive and natural computing algorithms : proceedings of the international conference in Coimbra, Portugal, 2005
Adaptive computing systems;Computer algorithms;Machine learning;Neural computers;Neural networks (Computer science);COMPUTERS;sähkökirjat
Ribeiro, Bernardete - Springer 2005
-
Adjunction Theory of Complex Projective Varieties, The
Adjunction theory;Algebraic varieties;Embeddings (Mathematics);Projective spaces;sähkökirjat
Beltrametti, Mauro C;Sommese, Andrew J - De Gruyter 1995
-
Advanced Database Systems
Data structures (Computer scienc;Computer science;Database management;Information storage and retrieval systems;Data Structures and Information Theory;Programming Techniques;Information Storage and Retrieval;Information Systems Applications (incl. Internet)
Adam, Nabil R;Bhargava, Bharat K - Imprint: Springer 1993 1st ed. 1993.
-
Advanced Information Systems Engineering : 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002 Proceedings
Data structures (Computer scienc;Database management;Information storage and retrieval systems;Multimedia systems;Data Structures and Information Theory;Popular Computer Science;Information Systems Applications (incl. Internet);Information Storage and Retrieval;Multimedia Information Systems
Banks Pidduck, Anne;Mylopoulos, John;Woo, Carson C;Ozsu, M.T - Imprint: Springer 2002 1st ed. 2002.